risc0 / demos
☆45Updated this week
Related projects: ⓘ
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- Core components of the Polygon Miden rollup☆67Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- ☆34Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆61Updated this week
- A performant, type-1 zkEVM written in Rust & SP1.☆124Updated this week
- OS for next iteration of the world computer☆45Updated last year
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- ☆40Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.☆46Updated 3 months ago
- ☆79Updated this week
- Polynomials Identity Language☆67Updated 6 months ago
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆53Updated this week
- 🦄 UniswapV3 fork that uses a zkVM to compute swaps off-chain.☆80Updated 10 months ago
- ☆73Updated this week
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- The schelling point for ZK applications.☆135Updated 4 months ago
- Client library that facilitates interaction with the Miden rollup☆32Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆65Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- Email verification circuit in halo2☆62Updated 2 months ago
- Circom interpreter to arithmetic circuit description☆41Updated last week
- ☆119Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆62Updated last month