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
  ☆141Updated 2 weeks ago
• ora-io / awesome-ora
  A curated list of awesome ORA ecosystem.
  ☆87Updated 2 months ago
• 0xEigenLabs / eigen-prover
  Eigen zkVM's Proving Service
  ☆29Updated last week
• LuozhuZhang / zkps-circuit-snark
  A zk-SNARK implementation
  ☆50Updated 2 years ago
• 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
  ☆82Updated this week
• defcongroup0532 / VyperPunk
  Web3.0/Vyper based wargame
  ☆99Updated 2 years ago
• LuozhuZhang / sourceCode-zkSync-era-rollupContract-code-learning
  source code of zkSync Contract
  ☆104Updated last year
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year
• haoyang9804 / Erwin
  A random Solidity program generator.
  ☆75Updated last month
• synassets / contracts
  ☆86Updated 2 years ago
• LuozhuZhang / zksync-era-ETL
  Best zkSync-era ETL ever 😜
  ☆101Updated last year
• ObsidianLabs / SubstrateIDE
  Graphic IDE for Substrate development
  ☆40Updated 2 years ago
• 0xEigenLabs / eigen-secret
  Confidential Transaction with Collaborative Traceability, zk-zkRollup
  ☆47Updated last year
• uvd / sui-swap-course
  ☆44Updated last year
• valida-xyz / valida-compiler
  Old, obsolete version of the Valida compiler; its replacement will become public later
  ☆51Updated last year
• privacy-scaling-explorations / acceleration-program
  Accelerate Early Stage Programmable Cryptography Talents
  ☆110Updated 8 months ago
• HemeraProtocol / hemera-indexer
  Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…
  ☆144Updated this week
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆25Updated 3 weeks ago
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated last year
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆69Updated last year
• 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 last week
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆49Updated 5 months ago
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated 6 months ago
• MesonFi / meson-to
  ☆124Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆101Updated 6 months ago
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆59Updated 6 months ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆24Updated this week