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
  ☆250Updated last year
• 0xEigenLabs / eigen-zkvm
  A Rust zkVM with a Modular Proof System
  ☆139Updated 3 weeks ago
• ora-io / awesome-ora
  A curated list of awesome ORA ecosystem.
  ☆82Updated 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 week
• movefuns / move-by-example
  Learn Move with examples
  ☆95Updated 2 years ago
• ora-io / opml
  OPML: OPtimistic Machine Learning on Blockchain
  ☆306Updated 2 months ago
• SupremacyTeam / VyperPunk
  Web3.0/Vyper based wargame
  ☆97Updated 2 years ago
• MesonFi / meson-contracts-solidity
  ☆80Updated this week
• LuozhuZhang / sourceCode-zkSync-era-rollupContract-code-learning
  source code of zkSync Contract
  ☆106Updated last year
• synassets / contracts
  ☆86Updated 2 years ago
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆109Updated 4 months ago
• LuozhuZhang / zksync-era-ETL
  Best zkSync-era ETL ever 😜
  ☆103Updated last year
• uvd / sui-swap-course
  ☆43Updated last year
• MesonFi / meson-to
  ☆124Updated last year
• arnaucube / awesome-circom
  A curated list of repos related to Circom
  ☆96Updated 2 years ago
• HemeraProtocol / hemera-indexer
  Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…
  ☆138Updated this week
• 0xEigenLabs / eigen-secret
  Confidential Transaction with Collaborative Traceability, zk-zkRollup
  ☆46Updated last year
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆131Updated 2 months ago
• ObsidianLabs / SubstrateIDE
  Graphic IDE for Substrate development
  ☆40Updated 2 years ago
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated last year
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆50Updated last year
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆43Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 10 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 11 months ago
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆86Updated last year
• iden3 / circom_tester
  Provides tools for testing circom circuits.
  ☆58Updated 7 months ago
• BrianSeong99 / Plonky3_Fibonacci
  This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.
  ☆30Updated 4 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…
  ☆86Updated last week
• yi-sun / circom-pairing
  ☆195Updated last year