vacp2p / zerokit
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
☆134Updated this week
Alternatives and similar repositories for zerokit:
Users that are interested in zerokit are comparing it to the libraries listed below
- ☆121Updated 5 months ago
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆121Updated 3 weeks ago
- A Cairo VM prover implemented using Winterfell☆158Updated 2 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆255Updated last month
- Zero-knowledge gadgets for Webb's cross-chain blockchain applications.☆92Updated 2 years ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆119Updated last week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆177Updated this week
- Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme☆71Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆92Updated this week
- RISC-V interactive fault proof tech☆102Updated last week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆207Updated last year
- Succinct's Production-Grade Proving Engine for the OP Stack☆149Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆87Updated this week
- Implementation of ethereum's `ssz`☆104Updated 5 months ago
- EigenTrust - A distributed reputation system☆111Updated last year
- ☆119Updated 3 months ago
- Rust Uint crate using const-generics☆183Updated last week
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆159Updated 2 months ago
- DSL for Halo2 circuits☆187Updated 4 months ago
- Smart contracts for on-chain anonymous settlement.☆102Updated this week
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆131Updated 3 months ago
- Email verification circuit in halo2☆68Updated 8 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated 3 months ago
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆71Updated 2 months ago
- Lowering client-side proving cost for private ZK signatures in circom☆109Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 11 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆42Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago