Succinct Labs is a company aimed at democratizing access to zero-knowledge proofs for developers. Succinct Labs is the developer or 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 | Report | Oct 2022 | Circom | ZK Circuits, Circom |