risc0 / risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
☆114Updated this week
Alternatives and similar repositories for risc0-ethereum:
Users that are interested in risc0-ethereum are comparing it to the libraries listed below
- Template for integrating RISC Zero and Ethereum using Foundry☆113Updated last month
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆150Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆117Updated this week
- The Ethereum Rollup Improvement Proposal repository☆108Updated this week
- A curated list of repos related to Circom☆95Updated 2 years ago
- ☆96Updated last year
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆95Updated 4 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- ☆54Updated 2 months ago
- Technical documentation of the zkEVM☆91Updated 7 months ago
- A repo of example Noir projects.☆45Updated this week
- Email verification circuit in halo2☆66Updated 6 months ago
- Rust implementation of the Agglayer.☆93Updated this week
- Smart contracts for onchain verification of SP1.☆66Updated this week
- ☆102Updated 2 years ago
- ☆64Updated 5 months ago
- Basic Noir anonymous proof of membership☆88Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆130Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated 2 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated last year
- Polynomials Identity Language☆68Updated 10 months ago
- Smart contracts for the Telepathy protocol☆75Updated 9 months ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆93Updated 2 months ago
- A testing & development environment for Circom.☆103Updated this week
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆118Updated last week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆68Updated this week
- A curated list of zkVM, zero-knowledge virtual machine☆140Updated last week
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆133Updated 4 months ago