succinctlabs / sp1-contracts
Smart contracts for onchain verification of SP1.
☆85Updated 3 weeks ago
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 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆90Updated last week
- ☆37Updated 4 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated this week
- Walkthroughs to leverage Odyssey's features from the future.☆89Updated 3 months ago
- ☆45Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- PoC of Revm execution in SGX☆79Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- Sidecar to Enable Rollup Extensions☆101Updated this week
- A repo of example Noir projects.☆50Updated last week
- EigenLayer Rust Developer Tooling☆84Updated this week
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago
- Smart contracts for on-chain anonymous settlement.☆101Updated last week
- ZK Email in Noir☆61Updated this week
- Solidity contracts for a next-gen rollup system.☆64Updated 3 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 11 months ago
- Bolt: permissionless proposer commitments on Ethereum☆90Updated 2 weeks ago
- Email verification circuit in halo2☆68Updated 8 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- ☆42Updated 11 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- ☆64Updated 4 months ago
- OS for next iteration of the world computer☆44Updated last year
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆60Updated last week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆96Updated 2 months ago
- barretenburg in rust (here we go)☆98Updated last year
- Reference implementation of the node for the Polygon Miden rollup☆59Updated this week
- ☆72Updated this week