inversebrah / awesome-risc0Links
A community-maintained curated list of awesome resources of RISC Zero.
☆90Updated last year
Alternatives and similar repositories for awesome-risc0
Users that are interested in awesome-risc0 are comparing it to the libraries listed below
Sorting:
- python tool to transpile a tf.keras model into a circom circuit☆249Updated last year
- A curated list of awesome ORA ecosystem.☆86Updated 6 months ago
- OPML: OPtimistic Machine Learning on Blockchain☆304Updated 10 months ago
- A Rust zkVM with a Modular Proof System☆141Updated 2 months ago
- Web3.0/Vyper based wargame☆100Updated 3 years ago
- A zk-SNARK implementation☆50Updated 2 years ago
- Learn Move with examples☆93Updated 2 years ago
- Eigen zkVM's Proving Service☆29Updated last month
- source code of zkSync Contract☆103Updated last year
- A curated list of awesome zkEVM resources, libraries, tools and more☆467Updated last year
- ☆83Updated 2 weeks ago
- Graphic IDE for Substrate development☆41Updated 2 years ago
- Best zkSync-era ETL ever 😜☆99Updated last year
- DappReader: Your ultimate tool to decode and interact with smart contracts – the Postman of the Web3 era!☆92Updated 8 months ago
- Toolkit for interacting with SUI network in typescript☆181Updated 2 months ago
- A Javascript SDK for Verifiable Credentials and Decentralized Identity☆88Updated last week
- A random Solidity program generator.☆127Updated 2 weeks ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- ☆44Updated last year
- Metatrust fork of Slither Analyzer☆82Updated last year
- ☆122Updated last month
- calculate account portfolio & holding position for uniswap v3☆26Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆41Updated last year
- Introduction to various ZK languages☆87Updated last month
- Accelerate Early Stage Programmable Cryptography Talents☆111Updated last year
- A python notebook to explain how Plonky3 underlying works☆18Updated 7 months ago
- Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…☆143Updated 2 weeks ago
- Zirgen compiler and RISC Zero circuits☆104Updated this week
- A curated list of awesome things related to learning Circle STARK.☆30Updated last month
- Ecne: An engine for verifying the soundness of R1CS constraints☆112Updated 3 years ago