pluto / caratlsLinks
Browser-based Remote Attestation to TDX
☆15Updated 8 months ago
Alternatives and similar repositories for caratls
Users that are interested in caratls are comparing it to the libraries listed below
Sorting:
- Circuits for Pluto's `web-prover`☆24Updated 5 months ago
- Breathe air☆25Updated last year
- ☆53Updated 4 months ago
- client side proving☆34Updated 7 months ago
- Honk Verifier in Solidity☆50Updated last year
- Pluto Web Prover 🦀☆38Updated 6 months ago
- Rust implementation of KZG point evaluation☆33Updated 2 months ago
- Benchmarks of popular zkVMs including Jolt☆62Updated last year
- ☆42Updated 4 months ago
- Cryptographic protocols☆39Updated 2 years ago
- ☆38Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- Nova: Recursive SNARKs without trusted setup☆44Updated 2 years ago
- ☆26Updated last week
- Crypto Gadgets for Plonky2☆73Updated last year
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆49Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 10 months ago
- an introduction to noir, with simple examples☆44Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Noir implementation of RSA-verify☆43Updated last year
- ☆30Updated last year
- A Noir's backend implementation using Gnark☆35Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 11 months ago
- The first CHIP-8 zkvm☆20Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆112Updated 6 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- ☆28Updated 2 weeks ago
- On-chain Ethereum light client built with SP1☆72Updated last month
- ☆11Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 11 months ago