inversebrah / awesome-risc0Links
A community-maintained curated list of awesome resources of RISC Zero.
☆86Updated 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☆251Updated last year
- OPML: OPtimistic Machine Learning on Blockchain☆309Updated 7 months ago
- A curated list of awesome ORA ecosystem.☆88Updated 4 months ago
- A Rust zkVM with a Modular Proof System☆142Updated 2 weeks ago
- Eigen zkVM's Proving Service☆29Updated 2 weeks ago
- A zk-SNARK implementation☆50Updated 2 years ago
- Learn Move with examples☆95Updated 2 years ago
- Web3.0/Vyper based wargame☆99Updated 3 years ago
- source code of zkSync Contract☆104Updated last year
- ☆82Updated this week
- A curated list of awesome zkEVM resources, libraries, tools and more☆472Updated last year
- Toolkit for interacting with SUI network in typescript☆172Updated 2 weeks ago
- A random Solidity program generator.☆123Updated 2 weeks ago
- Graphic IDE for Substrate development☆40Updated 2 years ago
- Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.☆64Updated last week
- ☆125Updated this week
- A JavaScript SDK built ontop of PolkadotJS for interaction with Dock's Substrate node and compatible chains☆87Updated 2 months ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Best zkSync-era ETL ever 😜☆100Updated last year
- DappReader: Your ultimate tool to decode and interact with smart contracts – the Postman of the Web3 era!☆91Updated 6 months ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆20Updated 2 months ago
- ☆44Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆110Updated 10 months ago
- Metatrust fork of Slither Analyzer☆82Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆128Updated last week
- Decentralized, account-centric programmable indexing network for web3. Supports blockchain explorers, on-chain portfolios, social graphs,…☆146Updated last week
- ☆86Updated 2 years ago
- An observatory fork of SP1☆72Updated 5 months ago
- Reusable modules for developing IRITA-family consortium blockchains☆43Updated 11 months ago
- ☆155Updated last year