We’re excited to announce the development of FPGA acceleration for SP1 in collaboration with AntChain OpenLabs. AntChain, a subsidiary of Ant Digital Technologies (incubated from Ant Group) and an affiliate of Chinese multi-national Ant Group and Alibaba Group, has managed to improve SP1’s performance by 20x v.
Today, we’re sharing progress on formally verifying the correctness of SP1 in collaboration with Nethermind, experts in formal methods with a strong focus on enhancing the security of zero-knowledge proofs. Last week, we announced our work on using formal verification tools to prove the determinism of SP1. While
We’re excited to introduce SP1 Hypercube, our next generation zkVM, that delivers real-time proving for Ethereum. SP1 Hypercube is built from the ground up with a brand new proof system architected with multilinear polynomials. It achieves state of the art results in latency and cost, up to 5x
Today, we’re excited to share a progress update on our formal verification efforts for SP1, developed in collaboration with Veridise, a leading firm in zero-knowledge security auditing. Formal verification plays a critical role in establishing mathematical guarantees about SP1’s behavior. This work complements our multi-layered approach
Today, we’re announcing SP1-2FA, the newest feature on the Succinct Prover Network that adds a second layer of protection to SP1 through Trusted Execution Environments (TEEs). This advancement furthers our vision for building the best zkVM for developers, building on the recent performance improvements from SP1 Turbo and
