vacp2p / zerokit
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
☆132Updated this week
Related projects ⓘ
Alternatives and complementary repositories for zerokit
- ☆118Updated 3 weeks ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆117Updated 2 months ago
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆91Updated last year
- EigenTrust - A distributed reputation system☆109Updated 11 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆93Updated 3 months ago
- Implementation of ethereum's `ssz`☆103Updated last month
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆238Updated 3 weeks ago
- RISC-V interactive fraud-proof tech☆98Updated this week
- barretenburg in rust (here we go)☆97Updated 10 months ago
- ☆117Updated 2 months ago
- ☆147Updated 8 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated 10 months ago
- Rust implementation of the Agglayer.☆74Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆103Updated 2 weeks ago
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆121Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆95Updated last week
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆63Updated this week
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆136Updated this week
- Tooling for creating collaborative SNARKs for Circom circuits.☆100Updated this week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- Rust Uint crate using const-generics☆171Updated last week
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆127Updated 2 years ago
- ☆124Updated this week
- DSL for Halo2 circuits☆188Updated 2 weeks ago
- Basic Noir anonymous proof of membership☆88Updated last year