Alternatives and similar repositories for zerokit

Users that are interested in zerokit are comparing it to the libraries listed below

• crate-crypto / rust-verkle
  ☆134Updated last year
• grandinetech / rust-kzg
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆134Updated last month
• privacy-ethereum / zk-eigentrust
  EigenTrust - A distributed reputation system
  ☆115Updated 2 years ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 3 years ago
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Updated 4 years ago
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆84Updated 4 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated last month
• alloy-rs / trie
  Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles
  ☆147Updated last week
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆67Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆83Updated last year
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆88Updated 10 months ago
• ralexstokes / ssz-rs
  Implementation of ethereum's `ssz`
  ☆109Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated last year
• plume-sig / zk-nullifier-sig
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Updated 7 months ago
• ethereum-optimism / asterisc
  RISC-V interactive fault proof tech
  ☆108Updated last month
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Updated 2 years ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆156Updated 3 years ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆134Updated 2 months ago
• lurk-lang / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆79Updated last year
• risc0 / risc0-rust-starter
  This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…
  ☆85Updated 2 years ago
• privacy-ethereum / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆67Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆61Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 3 years ago
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆112Updated 3 weeks ago
• privacy-ethereum / snark-verifier
  ☆155Updated last year
• andrewmilson / sandstorm
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Updated last year
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆87Updated 3 weeks ago
• w3f / apk-proofs
  ☆58Updated 2 years ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆118Updated last week