Alternatives and similar repositories for awesome-risc0

Users that are interested in awesome-risc0 are comparing it to the libraries listed below

• socathie / keras2circom
  python tool to transpile a tf.keras model into a circom circuit
  ☆251Updated last year
• 0xEigenLabs / eigen-zkvm
  A Rust zkVM with a Modular Proof System
  ☆141Updated this week
• ora-io / awesome-ora
  A curated list of awesome ORA ecosystem.
  ☆87Updated 2 months ago
• LuozhuZhang / zkps-circuit-snark
  A zk-SNARK implementation
  ☆50Updated 2 years ago
• 0xEigenLabs / eigen-prover
  Eigen zkVM's Proving Service
  ☆29Updated last month
• ora-io / opml
  OPML: OPtimistic Machine Learning on Blockchain
  ☆307Updated 5 months ago
• movefuns / move-by-example
  Learn Move with examples
  ☆95Updated 2 years ago
• MesonFi / meson-contracts-solidity
  ☆81Updated this week
• LuozhuZhang / sourceCode-zkSync-era-rollupContract-code-learning
  source code of zkSync Contract
  ☆105Updated last year
• defcongroup0532 / VyperPunk
  Web3.0/Vyper based wargame
  ☆99Updated 2 years ago
• LuozhuZhang / zksync-era-ETL
  Best zkSync-era ETL ever 😜
  ☆101Updated last year
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆48Updated 4 months ago
• HemeraProtocol / hemera-indexer
  Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…
  ☆138Updated last week
• uvd / sui-swap-course
  ☆44Updated last year
• MesonFi / meson-to
  ☆124Updated last year
• synassets / contracts
  ☆86Updated 2 years ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated last year
• weijiekoh / libkzg
  A minimal KZG polynominal commitment library with a Solidity verifier
  ☆71Updated last year
• ObsidianLabs / SubstrateIDE
  Graphic IDE for Substrate development
  ☆40Updated 2 years ago
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆50Updated last year
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆59Updated 6 months ago
• DelphinusLab / halo2-gpu-specific
  ☆39Updated 2 months ago
• haoyang9804 / Erwin
  A random Solidity program generator.
  ☆54Updated 2 weeks ago
• MatteoMer / any-zkvm
  A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use
  ☆51Updated last month
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆30Updated 7 months ago
• brevis-network / pico
  ☆45Updated this week
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated last year
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆111Updated 7 months ago
• zkemail / zk-regex
  A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…
  ☆95Updated this week
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year