succinctlabs / sp1-contracts
Smart contracts for onchain verification of SP1.
☆68Updated this week
Alternatives and similar repositories for sp1-contracts:
Users that are interested in sp1-contracts are comparing it to the libraries listed below
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆82Updated last year
- Sidecar to Enable Rollup Extensions☆62Updated 2 weeks ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆51Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated last month
- Solidity contracts for a next-gen rollup system.☆63Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 8 months ago
- ZK Email in Noir☆57Updated this week
- ☆41Updated 9 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 2 months ago
- ZKM Development Template/Framework☆23Updated this week
- ☆64Updated 5 months ago
- Email verification circuit in halo2☆66Updated 6 months ago
- Smart contracts for the Telepathy protocol☆75Updated 9 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Walkthroughs to leverage Odyssey's features from the future.☆79Updated last month
- ☆37Updated this week
- Breathe air☆22Updated 7 months ago
- On-chain Ethereum light client built with SP1☆30Updated this week
- ☆48Updated this week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆56Updated 9 months ago
- Collection of helpful smart contracts to build Suapps☆43Updated last month
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆48Updated last year
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆117Updated this week
- My personal notebook for various zk-related topics☆47Updated last week
- ☆24Updated 3 weeks ago
- Symbiotic Core smart contracts☆38Updated this week
- EigenLayer Rust Developer Tooling☆72Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year