argumentcomputer / zk-light-clientsLinks
A collection of ZK light client libraries for various blockchains
☆53Updated 7 months ago
Alternatives and similar repositories for zk-light-clients
Users that are interested in zk-light-clients are comparing it to the libraries listed below
Sorting:
- ☆40Updated 8 months ago
- An observatory fork of SP1☆71Updated 5 months ago
- On-chain Ethereum light client built with SP1☆60Updated last week
- ☆39Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 5 months ago
- Rust implementation of KZG point evaluation☆33Updated last month
- Email verification circuit in halo2☆67Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆74Updated 5 months ago
- ☆31Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆75Updated 9 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆23Updated 6 months ago
- Circuits for Pluto's `web-prover`☆22Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Crypto Gadgets for Plonky2☆72Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- ZKM Development Template/Framework☆25Updated last week
- Solidity implementation of Nova proving system verifier☆63Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆65Updated 9 months ago
- ☆42Updated 11 months ago
- Starknet sequencer built with Tendermint Core☆53Updated 2 years ago
- OS for next iteration of the world computer☆43Updated last year
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Pessimistic proof for the AggLayer.☆26Updated last year
- EraVM implementation☆19Updated 10 months ago
- Spartan on Arkworks☆42Updated 7 months ago
- Client side zero-knowledge proving.☆76Updated this week
- ☆50Updated last year