boundless-xyz / risc0-foundry-templateView external linksLinks
Template for integrating RISC Zero and Ethereum using Foundry
☆140Jun 16, 2025Updated 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:
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆215Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆436Feb 8, 2026Updated last week
- Tstore huff template☆17Oct 6, 2023Updated 2 years ago
- ☆65May 2, 2024Updated last year
- ☆22Sep 1, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆15Aug 10, 2020Updated 5 years ago
- ☆21May 9, 2023Updated 2 years ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Jul 6, 2023Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- ☆19Jan 20, 2023Updated 3 years ago
- Sponsored transactions using Permit2☆43Jun 21, 2023Updated 2 years ago
- Performance and security acceleration for zkVMs.☆483Updated this week
- A robust, extensible OP Stack challenge agent written in pure Rust.☆57Sep 1, 2023Updated 2 years ago
- ☆94Aug 19, 2024Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆146Feb 5, 2026Updated last week
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- A Noir circuit that mimics Solidity's ecrecover☆64Updated this week
- ☆84Feb 2, 2025Updated last year
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Jul 12, 2025Updated 7 months ago
- powdr application running Ethereum tests via revm☆17Jun 24, 2024Updated last year
- Boot an Optimism Node, Blazingly Fast.☆25Oct 1, 2023Updated 2 years ago
- ☆194Updated this week
- 🔒💬 A protocol for credible commitments.☆75Feb 2, 2024Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Apr 6, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- ☆42Sep 21, 2023Updated 2 years ago
- The Ethereum Rollup Improvement Proposal repository☆141Aug 9, 2025Updated 6 months ago
- Smart contracts for onchain verification of SP1.☆132Feb 9, 2026Updated last week