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
• LuozhuZhang / zkps-circuit-snark
  A zk-SNARK implementation
  ☆50Updated 2 years ago
• 0xEigenLabs / eigen-zkvm
  A Rust zkVM with a Modular Proof System
  ☆141Updated 2 weeks ago
• 0xEigenLabs / eigen-prover
  Eigen zkVM's Proving Service
  ☆29Updated this week
• ora-io / awesome-ora
  A curated list of awesome ORA ecosystem.
  ☆85Updated 2 weeks ago
• ora-io / opml
  OPML: OPtimistic Machine Learning on Blockchain
  ☆306Updated 3 months ago
• movefuns / move-by-example
  Learn Move with examples
  ☆95Updated 2 years ago
• MesonFi / meson-contracts-solidity
  ☆81Updated this week
• SupremacyTeam / VyperPunk
  Web3.0/Vyper based wargame
  ☆98Updated 2 years ago
• LuozhuZhang / sourceCode-zkSync-era-rollupContract-code-learning
  source code of zkSync Contract
  ☆105Updated last year
• haoyang9804 / Erwin
  A random Solidity program generator.
  ☆54Updated this week
• LuozhuZhang / zksync-era-ETL
  Best zkSync-era ETL ever 😜
  ☆101Updated last year
• ObsidianLabs / SubstrateIDE
  Graphic IDE for Substrate development
  ☆40Updated 2 years ago
• uvd / sui-swap-course
  ☆44Updated last year
• MesonFi / meson-to
  ☆124Updated last year
• synassets / contracts
  ☆86Updated 2 years ago
• 0xEigenLabs / eigen-secret
  Confidential Transaction with Collaborative Traceability, zk-zkRollup
  ☆46Updated last year
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year
• hetu-project / chronos
  Chrono is a novel logical clock system designed for open networks with Byzantine participants, offering improved fault tolerance and perf…
  ☆38Updated 3 months ago
• HemeraProtocol / hemera-indexer
  Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…
  ☆138Updated this week
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated 3 months ago
• MetaTrustLabs / falcon-metatrust
  Metatrust fork of Slither Analyzer
  ☆77Updated 10 months ago
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆48Updated 2 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆59Updated 11 months ago
• succinctlabs / gnark-plonky2-verifier
  ☆97Updated 7 months ago
• sec-bit / mle-pcs
  A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
  ☆19Updated this week
• scallop-io / sui-kit
  Toolkit for interacting with SUI network in typescript
  ☆157Updated last week
• LuozhuZhang / awesome-zkevm
  A curated list of awesome zkEVM resources, libraries, tools and more
  ☆473Updated last year
• DelphinusLab / halo2-gpu-specific
  ☆39Updated 2 weeks ago
• iden3 / rapidsnark
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆63Updated this week