alxkzmn / zk-atlas
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:
- ☆17Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- ☆28Updated 3 years ago
- Honk Verifier in Solidity☆50Updated 7 months ago
- A port of TinySMPC into Rust.☆22Updated last year
- ☆21Updated 2 months ago
- Batch ECDSA in circom☆33Updated 2 years ago
- Ethereum stateless tools☆46Updated last month
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- FHE in the Risc0 zkVM☆25Updated last year
- ☆33Updated last year
- RLN circuits in Circom☆29Updated 10 months ago
- Axiom smart contracts☆26Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆48Updated last year
- ☆18Updated this week
- ☆33Updated last year
- ☆26Updated last year
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- A monorepo of reusable contracts for zero-knowledge technologies.☆13Updated last month
- RLN on KZG☆20Updated last year
- Circuits for Pluto's `web-prover`☆21Updated 3 weeks ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆28Updated 2 years ago
- Benchmarking Polynomial Commitments☆49Updated last year
- ☆13Updated last week
- A toolkit to compile and debug circom circuit.☆28Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago