Succinct Succinct
  • Home
  • Case Studies
  • Learn
  • About Us
Subscribe
  • Home
  • Case Studies
  • Learn
  • About Us
Subscribe
Posts by
An Experiment in Formal Verification with Claude

An Experiment in Formal Verification with Claude

by John Guibas May 20, 2026

Written by Rahul Dalal A few weeks ago, we announced VEIL, a compiler that adds zero-knowledge to hash-based multilinear proof systems with only ~3% prover overhead.  The compiler relies on thirty pages of new cryptographic arguments that have not been peer-reviewed yet. As an additional check, we experimented with Anthropic’

Continue Reading
Introducing Confidential Transactions to OP Succinct

Introducing Confidential Transactions to OP Succinct

by John Guibas May 12, 2026

OP Succinct now supports data confidentiality, letting chains keep transaction data private while still settling to Ethereum. Polygon CDK is the first production-ready implementation to use this feature, letting institutions keep customer data private without fragmenting liquidity.

Continue Reading
Base Adds ZK Proofs to Base Azul with SP1

Base Adds ZK Proofs to Base Azul with SP1

by John Guibas May 4, 2026

Base is partnering with Succinct to prove $7.4 billion in deposits with zero-knowledge proofs.

Continue Reading
VEIL: Adding Zero-Knowledge to Hash-based Proof Systems

VEIL: Adding Zero-Knowledge to Hash-based Proof Systems

by John Guibas May 1, 2026

VEIL adds zero-knowledge to hash-based proof systems with only a 3% increase in prover time.

Continue Reading
Introducing ZCAM: A Cryptographic Camera to Prove What's Real

Introducing ZCAM: A Cryptographic Camera to Prove What's Real

by John Guibas April 23, 2026

Using cryptography to restore authenticity on the internet in the age of AI

Continue Reading
What Google's Quantum Paper Means for Crypto

What Google's Quantum Paper Means for Crypto

by John Guibas April 13, 2026

Google Quantum AI paper reveals the quantum threat to blockchain is decades closer than expected. Here are four takeaways the industry needs to know.

Continue Reading
Google Uses SP1 to Prove Quantum Security Threat

Google Uses SP1 to Prove Quantum Security Threat

by John Guibas March 31, 2026

Google generated a zero-knowledge proof using SP1 to prove the existence of a major quantum breakthrough, without revealing the exploit.

Continue Reading
Seeing Is Not Believing: Benchmarking AI Image Detectors

Seeing Is Not Believing: Benchmarking AI Image Detectors

by John Guibas February 26, 2026

Succinct Labs tested 7 leading AI image detectors using AdversIm, a benchmark of 15,630 images. Simple post-processing broke every one.

Continue Reading
SP1 Hypercube Is Now Live on Mainnet

SP1 Hypercube Is Now Live on Mainnet

by John Guibas February 19, 2026

SP1 Hypercube is the most advanced, secure, and trusted zkVM in production. Built by the first team to prove Ethereum in real time.

Continue Reading
Optimism Chooses Succinct to Bring ZK to the Superchain

Optimism Chooses Succinct to Bring ZK to the Superchain

by John Guibas February 12, 2026

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.

Continue Reading
Succinct in 2025: Delivering Our Promise to Scale Ethereum

Succinct in 2025: Delivering Our Promise to Scale Ethereum

by John Guibas December 29, 2025

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.

Continue Reading
Succinct Joins C2PA to Advance Content Authenticity Standards

Succinct Joins C2PA to Advance Content Authenticity Standards

by John Guibas November 24, 2025

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

Continue Reading
SP1 Hypercube Achieves Real Time Proving with 16 GPUs

SP1 Hypercube Achieves Real Time Proving with 16 GPUs

by John Guibas November 18, 2025

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.

Continue Reading
News
Formal Verification of SP1 Hypercube

Formal Verification of SP1 Hypercube

by John Guibas October 9, 2025

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

Continue Reading
FPGA Acceleration of SP1 with AntChain OpenLabs

FPGA Acceleration of SP1 with AntChain OpenLabs

by John Guibas May 27, 2025

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.

Continue Reading
Succinct

Socials

  • Twitter / X
  • LinkedIn
  • GitHub

Succinct

  • Documentation
  • Careers
  • About Us
  • Explorer

Prove the World's Software