Alternatives and similar repositories for 0g

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

• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated 2 years ago
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• guberti / witness-encryption-demos
  World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
  ☆34Updated 3 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 2 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆49Updated last year
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• matter-labs / solidity_plonk_verifier
  Solidity verifier for Plonk
  ☆42Updated 9 months ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 3 years ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 11 months ago
• nulltea / zk-timelock
  Arkworks circuits for verifiable time-lock encryption
  ☆89Updated 2 years ago
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• geometryxyz / zkhack-groth-puzzle
  https://geometryresearch.xyz/notebook/zkhack-groth-challenge
  ☆49Updated 2 years ago
• freelerobot / thaler
  ☆27Updated 3 years ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 9 months ago
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆34Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆82Updated last year
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆53Updated this week
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 2 years ago
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆43Updated last year
• hashcloak / stoffelMPC
  ☆45Updated last month
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆39Updated 2 years ago
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆33Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated 11 months ago
• Lagrange-Labs / reckle-trees
  ☆30Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year