pluto / caratls
Browser-based Remote Attestation to TDX
☆13Updated 2 months ago
Alternatives and similar repositories for caratls:
Users that are interested in caratls are comparing it to the libraries listed below
- client side proving☆28Updated last month
- ☆40Updated 6 months ago
- ☆61Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Pluto Web Prover 🦀☆33Updated last month
- Circuits for Pluto's `web-prover`☆21Updated this week
- Breathe air☆23Updated 11 months ago
- Honk Verifier in Solidity☆50Updated 6 months ago
- ☆31Updated last year
- A monorepo of reusable Noir circuits.☆40Updated last week
- Rust implementation of KZG point evaluation☆33Updated last week
- an introduction to noir, with simple examples☆45Updated last year
- Axiom smart contracts☆26Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Client side zero-knowledge proving.☆52Updated this week
- ☆16Updated last year
- ☆38Updated last year
- On-chain Ethereum light client built with SP1☆47Updated this week
- Email verification circuit in halo2☆68Updated 9 months ago
- Zero knowledge proofs of differential privacy mechanisms☆22Updated last year
- Benchmarks of popular zkVMs including Jolt☆59Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆32Updated 5 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- A monorepo for vOPRF-based secure nullifiers generation☆13Updated 2 weeks ago
- CAN YOU HEAR IT, CAN YOU FEEEEEEL IT☆16Updated 11 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆49Updated this week
- Ethereum stateless tools☆46Updated last week
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- BigInt library for Aztec's noir language☆32Updated last year