risc0 / risc0-rust-examples
These RISC Zero examples have been moved to the main risc0/risc0 repository
β55Updated 2 years ago
Alternatives and similar repositories for risc0-rust-examples:
Users that are interested in risc0-rust-examples are comparing it to the libraries listed below
- Starknet sequencer built with Tendermint Coreβ53Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ55Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.β39Updated last year
- KZG commitments over BLS12-381β34Updated 2 years ago
- A collection of ZK light client libraries for various blockchainsβ49Updated 4 months ago
- A toy Cairo VM implementation in Rustβ’β73Updated 2 years ago
- β40Updated 3 years ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)β33Updated last week
- Benchmarking Polynomial Commitmentsβ49Updated last year
- Email verification circuit in halo2β68Updated 9 months ago
- On-chain Ethereum light client built with SP1β42Updated 2 weeks ago
- β45Updated last year
- Minimal Yul Transpilation to the Miden VMβ53Updated 2 years ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axumβ49Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.β106Updated 2 weeks ago
- The Spire Based Stackβ16Updated this week
- PoC of Revm execution in SGXβ79Updated last year
- β31Updated last year
- Installation tooling for Noirβ25Updated last month
- EigenTrust - A distributed reputation systemβ111Updated last year
- Library of zkSNARKS circuits written in the Circom language.β50Updated 3 years ago
- Composable OP Stack Orchestrationβ41Updated last year
- Implementation of ethereum's `ssz`β104Updated 5 months ago
- Curdleproofs is a zero-knowledge shuffle argumentβ69Updated last year
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.β91Updated last year
- β46Updated 3 years ago
- barretenburg in rust (here we go)β98Updated last year
- Serverless function on Rethβ72Updated 7 months ago
- Some very rough benchmarks between sha256 circuits in different proving systemsβ49Updated 2 years ago
- β50Updated this week