Built with @Succinct โ SP1 unlocks limitless possibilities in ZK with a unified, developer-friendly framework powered by $PROVE Here's what you can build:
๐ง zkEVMs
Use SP1 to run Reth and Revm in zero-knowledge and generate full Ethereum block execution proofsโall in Rust. Build zkEVMs without bespoke circuits.
๐ฆ Rollups
Prove your rollupโs state transition function and use ZKPs for seamless, trustless bridging to Ethereum and other chains.
โ๏ธ Coprocessors
Query historical state, consensus data, and perform heavy computation onchainโall verifiable with zero knowledge.
๐ Identity
Enable privacy-preserving apps with client-side provingโperfect for anonymous voting, selective disclosure, and attestations.
๐ค Machine Learning
Bring AI onchain. Use ZK to verify ML inference, build generative systems, or deploy autonomous agents that respect user privacy.
๐ Interoperability
Go beyond EVM limitsโperform operations like elliptic curve pairing and non-native signatures within proofs.
Succinct gives developers the power of ZK without complexity. The future of composable, scalable Web3 starts here.