What Google's Quantum Paper Means for Crypto
Google Quantum AI paper reveals the quantum threat to blockchain is decades closer than expected. Here are four takeaways the industry needs to know.
What Google's Quantum Paper Means for Crypto
SP1 Hypercube Is Now Live on Mainnet
Succinct in 2025: Delivering Our Promise to Scale Ethereum
Succinct Joins C2PA to Advance Content Authenticity Standards
Google Quantum AI paper reveals the quantum threat to blockchain is decades closer than expected. Here are four takeaways the industry needs to know.
Google generated a zero-knowledge proof using SP1 to prove the existence of a major quantum breakthrough, without revealing the exploit.
Succinct Labs tested 7 leading AI image detectors using AdversIm, a benchmark of 15,630 images. Simple post-processing broke every one.
SP1 Hypercube is the most advanced, secure, and trusted zkVM in production. Built by the first team to prove Ethereum in real time.
OP Succinct will become a preferred ZK proving solution for OP Stack rollups. As part of this partnership, Optimism's flagship chain, OP Mainnet, will integrate OP Succinct, making it one of the largest rollups to transition to ZK proving.
In 2025, Succinct’s biggest milestones included real-time proving Ethereum, bringing ZK proofs to major rollup stacks like Optimism, Arbitrum, and Polygon, launching the Prover Network and $PROVE, and scaling Ethereum with new ecosystem partners.
Succinct is pleased to announce that we have joined the Coalition for Content Provenance and Authenticity (C2PA), alongside organizations such as Google, OpenAI and other global technology leaders. C2PA’s mission is to establish open technical standards that enable transparent, trustworthy digital contents across the internet. As the volume of
Succinct is the first team to achieve real-time proving with 16 GPUs, a breakthrough towards the Ethereum Foundation’s goal of introducing zkEVM to the L1.
We are happy to announce that the Nethermind Security Formal Verification team and Succinct Labs have joined forces to formally verify the correctness of all of the core RV-64 chips from SP1 Hypercube (https://blog.succinct.xyz/sp1-hypercube/) RISC-V zkVM in the Lean proof assistant. We would also like to
Succinct is taking privacy mainstream with a new product: Succinct Private Proving. Proofs can now be generated inside a TEE, combining the power of the Succinct Prover Network with privacy guarantees. Any application can have privacy from day one, enabling a new generation of applications. Use cases include private payments
Succinct has entered a one-year exclusive strategic partnership with Tandem, the venture arm of Offchain Labs, to enable ZK proving of Arbitrum chains. This partnership reinforces Succinct’s leadership in ZK and marks a major milestone for the Succinct Prover Network. Succinct is driving the verifiable computing paradigm From the
Succinct is supercharging the EVM with a new ZK primitive: SP1-Contract-Call (SP1-CC). With SP1-CC, developers get a ZK coprocessor that makes Ethereum more feature complete and programmable than ever, exceeding the limitations of the EVM. The EVM is the most widely adopted smart contract platform, securing over $100B in assets
Stage 2.5 is here — and with it, a major expansion of the Succinct Prover Network. We’re onboarding some of the best hardware teams in zero-knowledge proofs to help create the world’s most efficient and robust proving cluster. These teams will bring cutting-edge infrastructure and experience to the
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.s.
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 determinism