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☆248Updated last year
- A curated list of awesome ORA ecosystem.☆86Updated 9 months ago
- OPML: OPtimistic Machine Learning on Blockchain☆310Updated last year
- A Rust zkVM with a Modular Proof System☆141Updated 4 months ago
- Learn Move with examples☆93Updated 3 years ago
- Eigen zkVM's Proving Service☆29Updated 3 months ago
- A zk-SNARK implementation☆50Updated 2 years ago
- source code of zkSync Contract☆103Updated last year
- Web3.0/Vyper based wargame☆100Updated 3 years ago
- A curated list of awesome zkEVM resources, libraries, tools and more☆465Updated last year
- ☆84Updated 2 weeks ago
- Toolkit for interacting with SUI network in typescript☆190Updated last month
- A random Solidity program generator.☆133Updated 2 months ago
- Graphic IDE for Substrate development☆41Updated 3 years ago
- Best zkSync-era ETL ever 😜☆99Updated last year
- A Javascript SDK for Verifiable Credentials and Decentralized Identity☆88Updated last week
- DappReader: Your ultimate tool to decode and interact with smart contracts – the Postman of the Web3 era!☆92Updated 10 months ago
- ☆121Updated 3 months ago
- Metatrust fork of Slither Analyzer☆85Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆113Updated last year
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated last year
- Introduction to various ZK languages☆87Updated 3 months ago
- ☆106Updated last year
- ☆44Updated last year
- Include halo2 example circuits☆91Updated 2 years ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Updated last year
- Polynomials Identity Language☆68Updated last year
- Circom Circuits Library for Machine Learning☆181Updated last year
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- ☆203Updated 2 years ago