alxkzmn / zk-atlasLinks
A(n almost) complete atlas of contemporary Zero-Knowledge Proof technologies
☆14Updated 2 years ago
Alternatives and similar repositories for zk-atlas
Users that are interested in zk-atlas are comparing it to the libraries listed below
Sorting:
- ☆21Updated 3 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A port of TinySMPC into Rust.☆22Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆47Updated 2 years ago
- ☆28Updated 3 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Client library for generating and using RLN ZK proofs☆32Updated last year
- Honk Verifier in Solidity☆50Updated 7 months ago
- RLN circuits in Circom☆29Updated 10 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- ☆10Updated last year
- ☆33Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- Provides tools for testing circom circuits.☆59Updated last week
- ☆40Updated 7 months ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆33Updated 2 years ago
- KZG commitments over BLS12-381☆34Updated 2 years ago
- ☆33Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 3 months ago
- ☆22Updated this week
- Benchmarking Polynomial Commitments☆49Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Circuits for Pluto's `web-prover`☆21Updated last month
- revm/reth block proving on Valida☆16Updated 3 months ago
- Arkworks circuits for verifiable time-lock encryption☆89Updated 2 years ago