There's been so much happening at @SuccinctLabs recently that we're bringing you The Succinct Special - documenting recent significant releases, technical breakthroughs and general updates
Succinct has unveiled 'SP1 Hypercube' - a new zkVM that proves over 93% of @ethereum blocks in under 12 seconds: https://blog.succinct.xyz/sp1-hypercube/
Built on multilinear polynomials rather than STARKs, it significantly reduces latency and GPU costs compared to SP1 Turbo. This enables faster, cheaper proving and could improve Ethereum’s scalability and security. An open-source release is planned after audit completion, making real-time proving widely accessible.
Watched @ronrothblum introducing SP1 Hypercube at the @eth_proofs Call #2: https://youtube.com/live/f5AvMBUV4WY… (Timestamp - 00:21:10)
They're also working with @AntChainOpenLab to enable FPGA acceleration for SP1, achieving up to 20× performance gains over CPUs. Powered by the Zetta architecture on AMD Alveo U55C, the accelerator enhances SP1's proof generation.
This marks the first end-to-end FPGA-accelerated RISC-V zkVM, with future improvements integrated via the Succinct Prover Network: https://blog.succinct.xyz/sp1-fpga-antchain-openlabs/…
The project also launched a redesigned Network Explorer, offering real-time insights into proof generation, network trends, and active provers. Users can view, track, and analyze proofs, manage balances, and monitor activity directly via the dashboard.
The rollout supports Stage 2.5 of the testnet and moves the project closer to the Succinct Prover Network mainnet launch: https://blog.succinct.xyz/the-succinct-network-explorer-is-live/…
Succinct is working with @NethermindEth to formally verify the correctness of SP1, focusing beyond determinism to ensure circuits behave exactly as intended: https://blog.succinct.xyz/formal-verification-of-sp1-with-lean/…
Using Lean, they verified the AddSub chip and are expanding to more complex circuits like Keccak256. This effort supports long-term goals for full SP1 compliance with RISC-V, strengthening overall security and reliability.
They're also working with @VeridiseInc to advance formal verification efforts, using the Picus tool to ensure SP1 circuit determinism. This approach helps identify hard-to-detect bugs and strengthens security guarantees.
Their goal is full-stack determinism checks, enhancing SP1’s reliability and paving the way for future proofs of formal circuit correctness: https://blog.succinct.xyz/formal-verification-of-sp1-with-picus/…
Succinct has launched Stage 2 of its Prover Network testnet, inviting community members to join as provers in proof contests.
Participants can earn stars by customizing GPUs and bidding in challenges. Stage 1 focused on education; Stage 2 shifts to active proving. Stage 2.5 will follow soon, leading to the full Prover Network Mainnet: https://blog.succinct.xyz/the-succinct-testnet-stage-2-is-live/…
Succinct are working with @0xPolygon to upgrade OP Stack rollups with ZK capabilities and native @Agglayer access: https://x.com/SuccinctLabs/status/1920115510777459171…
This reduces finality times to under an hour, enables low-cost ($0.005/tx or less) proof generation, and simplifies development using Rust. The solution aims to improve scalability, reduce fragmentation, and enhance interoperability across rollup ecosystems.
They're also integrating with @katana - a DeFi-focused L2 chain incubated by @0xPolygon and @GSR_io - enabling rapid finality, low-cost transactions, and smooth interoperability via the Agglayer.
Built on the CDK OP Stack, Katana benefits from Succinct’s flexible, open-source solution, reducing withdrawal times from days to under an hour and advancing Ethereum scaling with secure, ZK-enabled infrastructure: https://blog.succinct.xyz/katana/
Succinct announced that SP1 is Bitcoin-ready, utilizing the BitVM design to make possible the building of trust-minimized rollups, bridges, and smart contract functionality natively on Bitcoin: https://blog.succinct.xyz/bitcoin-sp1/
@pumatheuma, Co-founder of Succinct, will take part in House of ZK's @eth_proofs Summit, which will be held in Berlin during @BerBlockWeek.
Uma will join @jbaylina, Co-founder of @0xPolygon, @BruestleJeremy, Co-founder of @RiscZero, @m_ratsim, Cryptography Engineer at @0xLita, and @alexanderlhicks, Researcher at @ethereumfndn, to discuss cutting-edge practices in real-time proving: sub-12s proofs, memory bottlenecks, prover orchestration, hardware co-processing, validator latency, and consensus delta: https://x.com/HouseofZK/status/1930551768015872170…
And that wraps up The Succinct Special - we're excited to see what's next to come from this pioneering team!
