boundless-xyz / risc0-foundry-templateLinks
Template for integrating RISC Zero and Ethereum using Foundry
☆140Updated 7 months ago
Alternatives and similar repositories for risc0-foundry-template
Users that are interested in risc0-foundry-template are comparing it to the libraries listed below
Sorting:
- Smart contracts for onchain verification of SP1.☆126Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆146Updated last month
- Succinct's Production-Grade Proving Engine for the OP Stack.☆207Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆213Updated last week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆144Updated last week
- EigenLayer Rust Developer Tooling☆92Updated 2 weeks ago
- A repo of example Noir projects.☆72Updated last week
- Sidecar to Enable Rollup Extensions☆162Updated last week
- Smart contracts for on-chain anonymous settlement.☆123Updated 4 months ago
- ☆192Updated 7 months ago
- ☆61Updated last week
- zkevm-chain: Deprecated☆89Updated 2 years ago
- On-chain dark pool. MPC for anonymous crosses at midpoint prices.☆232Updated this week
- Technical documentation of the zkEVM☆91Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆132Updated last month
- The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)☆75Updated 9 months ago
- A kurtosis package for deploying an optimistic rollup☆93Updated 2 weeks ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆105Updated 6 months ago
- ☆98Updated this week
- ZK Email in Noir☆79Updated 2 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 10 months ago
- Email verification circuit in halo2☆68Updated last year
- spam EVM execution nodes over JSON-RPC & run benchmarks☆113Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated 5 months ago
- Rust implementation of the Agglayer.☆118Updated last week
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 7 months ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆116Updated 11 months ago
- RISC-V prover system for ZKsync OS☆118Updated this week
- ☆103Updated 3 years ago