Alternatives and similar repositories for 0g:

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

• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆58Updated last year
• hashcloak / smol-mpc
  A port of TinySMPC into Rust.
  ☆22Updated last year
• kobigurk / stardrop
  Anonymous rewards on StarkNet
  ☆35Updated 3 years ago
• recmo / pc-bench
  Benchmarking Polynomial Commitments
  ☆48Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆43Updated last year
• patrickbiel01 / Cairo_Verifier
  ☆36Updated 3 years ago
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆65Updated last week
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆33Updated last year
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated 2 years ago
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• dmpierre / sonobe-btc
  Using folding schemes for a provable bitcoin light client
  ☆32Updated 9 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated last year
• hashcloak / fhe_risc0_zkvm
  FHE in the Risc0 zkVM
  ☆25Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• axiom-crypto / halo2-browser
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆49Updated 8 months ago
• zk-pin / pin
  Trust-minimized commitment pools with zkSNARKs
  ☆40Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆48Updated 2 months ago
• puma314 / batch-ecdsa
  Batch ECDSA in circom
  ☆33Updated 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.
  ☆32Updated 3 years ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆37Updated last year
• freelerobot / thaler
  ☆27Updated 2 years ago
• nalinbhardwaj / isokratia
  Infinitely Compressible Governance using Recursive SNARKs
  ☆31Updated 2 years ago
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 2 years ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆53Updated last year
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆40Updated 2 months ago