Succinct Labs is a company aimed at democratizing access to zero-knowledge proofs for developers. Succinct Labs is the developer of SP1 and Succinct Network. SP1 is a performant, open-source zero-knowledge virtual machine (ZK-VM) that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. Succinct Network is a decentralized prover network that enables anyone to build blockchain applications and infrastructure secured by cryptographic truth.
Past audits with Succinct
| Protocol | Resource | Start Date | Language(s) | Tag(s) |
|---|---|---|---|---|
| Succinct: SP1 Call Contract | Report | Jun 2025 | Solidity, Rust | SP1, Solidity, zkVM Application |
| Succinct: SP1 Recursion | Jun 2024 | Rust | ZK Circuits, plonky3, Library/Infrastructure | |
| ZK #10 | Apr 2024 | Rust | ZK Circuits, plonky3, Library/Infrastructure | |
| ZK #7 | Mar 2024 | Rust | ZK Circuits, plonky2x, Light Client | |
| DeFi #48 | Jan 2024 | Solidity | Smart Contracts, Solidity, Transaction Execution | |
| ZK #4 | Nov 2023 | Go | ZK Circuits, Gnark, Recursive Verifier | |
| Succinct | Report | Oct 2022 | Circom | ZK Circuits, Circom, Bridge, Cross-Chain |