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 Succinct 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 Succinct 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 Succinct 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 Succinct 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 Succinct 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 Succinct 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
Learn
Google Uses SP1 to Prove Quantum Security Threat

Google Uses SP1 to Prove Quantum Security Threat

by Succinct 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
Case Studies
Seeing Is Not Believing: Benchmarking AI Image Detectors

Seeing Is Not Believing: Benchmarking AI Image Detectors

by Succinct 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
Learn
SP1 Hypercube Is Now Live on Mainnet

SP1 Hypercube Is Now Live on Mainnet

by Succinct 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
Network
Optimism Chooses Succinct to Bring ZK to the Superchain

Optimism Chooses Succinct to Bring ZK to the Superchain

by Succinct 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
Case Studies
Succinct in 2025: Delivering Our Promise to Scale Ethereum

Succinct in 2025: Delivering Our Promise to Scale Ethereum

by Succinct 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

Socials

  • Twitter / X
  • LinkedIn
  • GitHub

Succinct

  • Documentation
  • Careers
  • About Us
  • Explorer

Prove the World's Software