risc0 / risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
☆124Updated this week
Alternatives and similar repositories for risc0-ethereum:
Users that are interested in risc0-ethereum are comparing it to the libraries listed below
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆155Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆119Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆128Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆80Updated this week
- The Ethereum Rollup Improvement Proposal repository☆117Updated this week
- A repo of example Noir projects.☆46Updated this week
- A curated list of repos related to Circom☆95Updated 2 years ago
- Smart contracts for onchain verification of SP1.☆78Updated 2 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆103Updated 2 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆96Updated 3 months ago
- Technical documentation of the zkEVM☆91Updated 8 months ago
- ☆96Updated last year
- ☆55Updated 3 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆165Updated this week
- ☆65Updated 6 months ago
- To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …☆60Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 9 months ago
- Hello World AVS☆81Updated this week
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated 2 months ago
- a community-maintained cryptography resource☆85Updated 6 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- ☆51Updated this week
- Cross-chain interop research, funded by Optimism Governance.☆53Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- EigenLayer Rust Developer Tooling☆81Updated this week
- A testing & development environment for Circom.☆104Updated last month
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆79Updated this week
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆100Updated 2 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆92Updated last month
- Basic Noir anonymous proof of membership☆88Updated 2 weeks ago