zk-kit / zk-kit.rustLinks
A monorepo of reusable crates for zero-knowledge technologies.
☆14Updated last month
Alternatives and similar repositories for zk-kit.rust
Users that are interested in zk-kit.rust are comparing it to the libraries listed below
Sorting:
- Rust implementation of KZG point evaluation☆33Updated this week
- ☆24Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- ☆33Updated last year
- ☆40Updated 2 months ago
- Breathe air☆25Updated last year
- ☆61Updated last year
- Noir library to verify JWT tokens, and prove claims.☆28Updated 3 months ago
- Email verification circuit in halo2☆67Updated last year
- ☆31Updated last year
- Solidity implementation of Nova proving system verifier☆63Updated last year
- Rescue and Poseidon hash function implementations☆43Updated 11 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 9 months ago
- ☆23Updated 7 months ago
- RLN circuits in Circom☆30Updated last year
- A monorepo of reusable Noir circuits.☆43Updated last month
- Experimental implementation of Sumcheck protocol using CUDA☆20Updated 8 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- Axiom smart contracts☆26Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆43Updated last week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- ☆18Updated 2 months ago
- Notes, code and documents done while reading books and papers.☆19Updated last month
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- ☆38Updated last year
- ☆31Updated last year
- ☆40Updated 8 months ago