succinctlabs / sp1-project-template
Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
☆70Updated this week
Related projects ⓘ
Alternatives and complementary repositories for sp1-project-template
- Contracts for onchain verification of SP1.☆59Updated last week
- ☆42Updated this week
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆91Updated this week
- Core components of the Polygon Miden rollup☆70Updated this week
- ☆29Updated 2 weeks ago
- Solidity contracts for a next-gen rollup system.☆63Updated 2 weeks ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 6 months ago
- A performant, type-1 zkEVM written in Rust & SP1.☆125Updated 3 weeks ago
- ☆49Updated last month
- Out-of-circuit zkEVM implementation☆81Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- 🐺 Starknet Rust types 🦀☆65Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆56Updated this week
- A toolkit for DAO-like governance on Starknet☆30Updated last month
- Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols☆71Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- ☆93Updated 2 months ago
- ☆24Updated last week
- Test runner for ethereum foundation tests☆24Updated this week
- ☆28Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆55Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆89Updated this week
- ☆41Updated 6 months ago
- ☆19Updated 2 months ago
- zkEVM proof generator reference written in Javascript☆77Updated 3 weeks ago
- Polynomials Identity Language☆67Updated 8 months ago
- A suite of `no_std` components for the OP Stack state transition function and L2 chain derivation.☆133Updated this week
- Smart contracts for the Telepathy protocol☆74Updated 7 months ago
- Go SDK for building AVSs on Eigenlayer☆63Updated this week