Alternatives and similar repositories for zkID

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

• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆76Updated last month
• privacy-ethereum / mpc-framework
  Create MPC apps with TypeScript.
  ☆56Updated 5 months ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆64Updated last month
• caulk-crypto / caulk
  ☆113Updated last year
• privacy-ethereum / summon
  A language for building boolean circuits based on TypeScript
  ☆34Updated 6 months ago
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆59Updated 2 years ago
• yetanotherco / zkvm_benchmarks
  ☆26Updated 9 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆86Updated 3 weeks ago
• phantomzone-org / phantom-zone
  ☆131Updated last year
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 4 years ago
• ligeroinc / ligero-prover
  ☆58Updated last month
• barryWhiteHat / plonk_tutorial
  ☆81Updated 5 years ago
• celestiaorg / celestia-zkevm-ibc-demo
  ☆23Updated 5 months ago
• microsoft / crescent-credentials
  Crescent adds privacy to existing credentials with zero-knowledge
  ☆43Updated 4 months ago
• TrishaDatta / circom-circuits
  ☆23Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆93Updated 4 years ago
• Janmajayamall / ObliviousMessageRetrieval
  ☆29Updated 2 years ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Updated 2 years ago
• cursive-team / 2P-PSI
  Production build of Gauss Labs' MP-PSI API using 2PC and FHE
  ☆17Updated last year
• demox-labs / webgpu-crypto
  ☆41Updated 8 months ago
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆35Updated 4 years ago
• sbellem / qtee
  Exploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
  ☆44Updated last year
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Updated 3 years ago
• mmaker / zkalc
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆92Updated 6 months ago
• Yoii-Inc / zk-mpc
  ☆32Updated last month
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆76Updated 11 months ago
• protolambda / go-kzg
  FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
  ☆93Updated 2 years ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆53Updated last year
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆121Updated 2 years ago