Succinct Labs is a trailblazer in the blockchain space, focusing on advancing zero-knowledge (ZK) proof technology to enable scalable, secure, and decentralized applications. By developing infrastructure and tools like the SP1 zero-knowledge virtual machine (zkVM) and a decentralized prover network, Succinct Labs aims to make ZK proofs accessible to developers across various blockchain ecosystems. This article provides a detailed technical overview of Succinct Labs’ contributions, focusing on their flagship SP1 zkVM, its architecture, use cases, and the broader implications for blockchain scalability and interoperability.
Founded in 2022, Succinct Labs is dedicated to building a proof-based future where cryptographic guarantees replace trust-based systems. Their mission is to unify the proof supply chain by providing high-performance, open-source infrastructure for generating ZK proofs. This infrastructure supports applications such as rollups, coprocessors, and interoperability protocols, enabling developers to build secure and scalable blockchain solutions. Succinct Labs has raised $66.1 million in funding over two rounds, with investors including Paradigm, Robot Ventures, and Geometry, underscoring the industry’s confidence in their vision.
At the core of Succinct Labs’ offerings is SP1, a 100% open-source zkVM designed to prove the execution of arbitrary Rust programs compiled for the RISC-V architecture. Introduced on February 14, 2024, SP1 targets an order-of-magnitude performance improvement over existing zkVMs, achieving up to 28x faster performance for specific workloads.
SP1’s architecture is centered around a precompile-centric design, leveraging STARKs (Scalable Transparent Arguments of Knowledge) and recursion to optimize proof generation. Key components include:
RISC-V Compatibility: SP1 compiles Rust programs to the RISC-V instruction set architecture (ISA), a widely adopted open-standard architecture. This allows developers to write complex programs in a high-level language like Rust while benefiting from ZK proof generation for verifiable computation. The use of RISC-V ensures broad compatibility and flexibility for developers.
STARK-Based Proof System: SP1 employs STARKs for proof generation, which offer post-quantum security and scalability compared to SNARKs (Succinct Non-Interactive Arguments of Knowledge). STARKs eliminate the need for a trusted setup, enhancing security and reducing setup costs. The architecture incorporates performant STARK recursion, enabling efficient proof aggregation for complex computations.
Precompile-Centric Design: Unlike traditional zkVMs that emulate every instruction, SP1 optimizes performance by implementing precompiles for common cryptographic operations (e.g., hash functions, signature verification). This reduces the computational overhead of proof generation, achieving up to 28x faster performance for real-world use cases like Ethereum state verification.
EVM Onchain Verification: SP1 includes smart contracts for onchain verification of proofs, enabling seamless integration with Ethereum and Ethereum-compatible blockchains. This is critical for applications like rollups, where proofs must be verified onchain to ensure security
SP1-2FA and SP1 Turbo: In April 2025, Succinct Labs introduced SP1-2FA, a second layer of security powered by Trusted Execution Environments (TEEs), enhancing the robustness of SP1 proofs. Additionally, SP1 Turbo, announced in January 2025, further optimized the zkVM’s performance, making it the fastest zkVM for certain workloads.
Performance: SP1’s precompile-centric architecture and STARK recursion significantly reduce proof generation time, making it suitable for high-throughput applications.
Developer Experience: By supporting Rust, SP1 lowers the barrier to entry for developers, allowing them to leverage existing Rust libraries and tools.
Open-Source Nature: All SP1 components, including smart contracts and the prover, are open-source, fostering community contributions and transparency.
Scalability: The decentralized prover network ensures high availability and cost-effective proof generation, addressing bottlenecks in centralized proving systems.
Succinct Labs has applied SP1 to several high-impact projects, demonstrating its versatility and potential to transform blockchain infrastructure.
Announced on March 16, 2023, Telepathy is a decentralized ZK-SNARK interoperability protocol that enables secure Ethereum state reading on any chain using Ethereum’s light client protocol. Telepathy leverages SP1 to prove the correctness of Ethereum’s consensus state, allowing cross-chain applications to operate with Ethereum-level security. It is live on Ethereum Mainnet, showcasing Succinct Labs’ ability to deliver production-ready solutions.
In September 2024, Succinct Labs released OP Succinct, a framework for integrating validity proofs into the OP Stack, a modular toolkit for building Ethereum rollups. The “Lite” version of OP Succinct introduces ZK fraud proofs, enabling OP Stack rollups to explore zero-knowledge technology without requiring full validity proofs. This approach lowers the computational cost while maintaining security, making ZK accessible to a broader range of rollup developers.
Succinct Labs developed a ZK Tendermint Light Client to stream Celestia’s data availability (DA) layer to Ethereum. This client uses SP1 to prove the correctness of Tendermint consensus, enabling Ethereum-based applications to access verified data from Celestia’s DA layer. This integration enhances Ethereum’s scalability by offloading data availability to Celestia while maintaining cryptographic security.
At ETHDenver’s “Upgrade the Internet” hacker house, developers Saul and Pablo built an in-browser image editor using SP1. This project demonstrates SP1’s ability to prove the correctness of offchain computations, such as image processing, while ensuring verifiable results. The editor addresses image provenance, a critical issue in combating misinformation, by providing cryptographically attested outputs.
During the Succinct ZK Residency, Herodotus developer Pia Park contributed to hdp-sp1, a ZK coprocessor that enables easy access to verified onchain data using SP1. This coprocessor simplifies data-intensive applications by providing a framework for proving data integrity offchain and verifying it onchain.
Succinct Labs is building a decentralized prover network to provide scalable and cost-effective proof generation. This network addresses the high computational cost of ZK proofs by distributing proving tasks across a network of nodes, ensuring high availability and competitive pricing. The network’s testnet, announced in February 2025, allows developers to deposit $10 in USDC to participate and earn rewards by playing a game, demonstrating the network’s accessibility.
A notable feature of the prover network is its Proof Contest Formula, which balances fairness, efficiency, and decentralization. While specific details on scaling prover capacity during demand surges are not fully public, the network likely employs dynamic load balancing and incentivization mechanisms to recruit additional provers as needed.
Succinct Labs has secured $55 million in a combined seed and Series A round in March 2024, followed by an additional $11.1 million, totaling $66.1 million. Investors include Paradigm, Robot Ventures, Bankless Ventures, and Geometry, among others. This funding has fueled the development of SP1 and the prover network, positioning Succinct Labs as a leader in ZK infrastructure.
The company’s work has garnered attention from industry leaders, with Ethereum co-founder Vitalik Buterin mentioning Succinct Labs eight times in a recent post, highlighting its potential to shape the future of ZK technology. Additionally, partnerships with projects like Mantle Network, which adopted SP1 for the first ZK validity rollup, underscore Succinct Labs’ growing influence.
Performance Optimization: While SP1 achieves significant performance gains, further optimizations are needed to handle increasingly complex workloads, such as proving large-scale machine learning models.
Prover Network Scalability: Ensuring the prover network can handle demand surges without compromising decentralization or cost remains a critical challenge.
Developer Adoption: Despite SP1’s Rust support, onboarding developers unfamiliar with ZK proofs requires robust documentation and tooling, areas where Succinct Labs continues to invest.
SP1 Enhancements: Succinct Labs is likely to continue optimizing SP1, potentially integrating additional precompiles and supporting more programming languages beyond Rust.
Prover Network Expansion: The decentralized prover network is expected to transition from testnet to mainnet, enabling broader adoption and supporting more ZK applications.
Formal Verification: Succinct Labs is exploring formal verification techniques (e.g., using Lean) to ensure the correctness of SP1’s constraints, further enhancing security.
Ecosystem Integrations: Continued partnerships with layer-1 and layer-2 blockchains, such as Ethereum, Celestia, and Mantle, will expand SP1’s use cases, particularly in rollups and interoperability.
Succinct Labs is at the forefront of zero-knowledge proof technology, delivering high-performance infrastructure through SP1 and a decentralized prover network. By leveraging STARKs, RISC-V compatibility, and a precompile-centric architecture, SP1 achieves unparalleled performance, enabling applications like Telepathy, OP Succinct, and ZK coprocessors. With significant funding, industry recognition, and a commitment to open-source development, Succinct Labs is poised to drive the adoption of ZK proofs, ushering in a new era of scalable and secure blockchain applications. As the company continues to innovate, its contributions will likely shape the future of decentralized systems, making cryptographic truth a cornerstone of blockchain infrastructure.