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 Joins C2PA to Advance Content Authenticity Standards

Succinct Joins C2PA to Advance Content Authenticity Standards

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

How Zero-Knowledge Proofs Work in Practice: A Real-World Guide

by Succinct February 3, 2025

This post is a follow-up to our foundational article: “What Is a Zero-Knowledge Proof?” If the first piece explained what ZKPs are, this one covers how they actually work under the hood - not just mathematically, but in real production systems like rollups, zkVMs, identity protocols, and verifiable compute. We’

Continue Reading
Learn
Succinct

Socials

  • Twitter / X
  • Discord

Succinct

  • Team
  • Ecosystem
  • Documentation
  • Blog

Prove the World's Software