succinctlabs / sp1-contracts
Smart contracts for onchain verification of SP1.
☆78Updated 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 6 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆103Updated 2 months ago
- ZK Email in Noir☆59Updated 2 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆81Updated this week
- PoC of Revm execution in SGX☆79Updated last year
- ☆35Updated 3 months ago
- ☆51Updated this week
- Solidity contracts for a next-gen rollup system.☆63Updated 2 months ago
- Email verification circuit in halo2☆67Updated 7 months ago
- ☆41Updated 10 months ago
- ☆35Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆60Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆136Updated this week
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆57Updated 10 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 3 months ago
- Bolt: permissionless proposer commitments on Ethereum☆86Updated this week
- A repo of example Noir projects.☆47Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- ☆65Updated 6 months ago
- Smart contracts for the Telepathy protocol☆75Updated 10 months ago
- barretenburg in rust (here we go)☆97Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Noir implementation of RSA-verify☆42Updated last year
- Polynomials Identity Language☆68Updated 11 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆83Updated last year
- ☆31Updated 11 months ago