Alternatives and similar repositories for 0g

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

• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• yetanotherco / zkRust
  ☆40Updated 6 months 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
• zk-ml / tachikoma
  neural network inference standard for zero-knowledge-proof systems
  ☆34Updated last year
• Unirep / create-unirep-app
  A template for creating a UniRep attester.
  ☆23Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated 2 years ago
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆59Updated last year
• freelerobot / thaler
  ☆27Updated 2 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆42Updated 5 months ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆51Updated 5 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆31Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆51Updated 10 months ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆68Updated 3 months ago
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆60Updated 2 years ago
• thor314 / ccs-hack
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆48Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated 2 years ago
• fabrizio-m / TyPLONK
  Rust PLONK implementation
  ☆38Updated 8 months ago
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 3 years ago
• geometryxyz / technical_notes
  A collection of technical notes from the Geometry research team.
  ☆47Updated 2 years ago
• kevinz917 / zksnarks-library
  Library of zkSNARKS circuits written in the Circom language.
  ☆50Updated 3 years ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆68Updated 10 months ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated last year