vacp2p / zerokit

Related projects ⓘ

Alternatives and complementary repositories for zerokit

• crate-crypto / rust-verkle
  ☆117Updated 2 weeks ago
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆117Updated last month
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆73Updated this week
• ethereum-optimism / asterisc
  RISC-V interactive fraud-proof tech
  ☆99Updated last week
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆63Updated 2 weeks ago
• privacy-scaling-explorations / snark-verifier
  ☆145Updated 8 months ago
• anton-rs / kona
  A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.
  ☆133Updated this week
• privacy-scaling-explorations / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆109Updated 11 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆89Updated this week
• privacy-scaling-explorations / halo2wrong
  ☆117Updated last month
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 2 years ago
• EspressoSystems / HotShot
  ☆122Updated this week
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆236Updated last week
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆158Updated 8 months ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆63Updated last month
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆91Updated last year
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆94Updated this week
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆121Updated last year
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 9 months ago
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆92Updated 2 months ago
• renegade-fi / renegade-contracts
  Smart contracts for on-chain anonymous settlement.
  ☆93Updated this week
• axiom-crypto / axiom-eth
  ☆93Updated 2 months ago
• thor314 / uncloak
  a community-maintained cryptography resource
  ☆80Updated 3 months ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆103Updated last month
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆188Updated this week