start building

The easiest way to discover, develop, and deploy ZK.

Succinct is where the community collaborates on applications, proof systems, and proving infrastructure.

Start Building

Learn More

Proof systems

Plonky2

circom

GNARK

Proof systems

Plonky2

circom

GNARK

Proof systems

Plonky2

circom

GNARK

Applications

oracles

light clients

Applications

oracles

light clients

Applications

oracles

light clients

Provers

Cutting-edge L1s, bridges, DeFi protocols and dApps are building with Succinct's open infrastructure layer.

Sovereign

Verifiable compute is a critical part of every application. Developers should have minimal vendor lock-in.

Sovereign

Verifiable compute is a critical part of every application. Developers should have minimal vendor lock-in.

Modular

There will never be one best proof system. Developers should use the best proof system for their task.

Modular

There will never be one best proof system. Developers should use the best proof system for their task.

Coordinated

Different proof systems require shared infrastructure. Developers benefit from proof-system agnostic tooling.

Coordinated

Different proof systems require shared infrastructure. Developers benefit from proof-system agnostic tooling.

for developers

Build next-generation applications with unlimited computation.

Platform

Demo

Discover

ZKWIZARD

LIGHTCLIENT

See how other developers are using ZK in their next-generation onchain applications.

Discover

ZKWIZARD

LIGHTCLIENT

See how other developers are using ZK in their next-generation onchain applications.

Develop

fn define(self) -> {

let a = self.evm_read();

let b = self.evm_read();

…

self.evm_write(c);

}

Quickly develop and iterate with any proof system, using Succinct's best-in-class tooling.

Develop

fn define(self) -> {

let a = self.evm_read();

let b = self.evm_read();

…

self.evm_write(c);

}

Quickly develop and iterate with any proof system, using Succinct's best-in-class tooling.

Deploy

Proof 1

Proof 2

1-click deployment and reliable infrastructure makes it easy to use ZK in production.

Deploy

Proof 1

Proof 2

1-click deployment and reliable infrastructure makes it easy to use ZK in production.

the Protocol

A new architecture to coordinate applications, proof systems and provers.

Learn more

Proof request

0.01 ETH

Applications

Integrate verifiable compute into your application with a standardized interface.

oracles

light clients

Applications

Integrate verifiable compute into your application with a standardized interface.

oracles

light clients

Proof systems

Succinct's proof system agnostic infrastructure supports any framework, from circuits to zkVMs.

zkVM

Halo2

Gnark

Circom

Plonky2

Proof systems

Succinct's proof system agnostic infrastructure supports any framework, from circuits to zkVMs.

zkVM

Halo2

Gnark

Circom

Plonky2

Provers

Provers can permisionlessly join the marketplace to contribute computational power and earn fees.

Provers

Provers can permisionlessly join the marketplace to contribute computational power and earn fees.

The Ecosystem

Succinct enables teams to go 0 → 1 with ZK in weeks, not months.

Celestia

Celestia is using Succinct for Blobstream, a data availability solution for Ethereum L2s.

Celestia

Celestia is using Succinct for Blobstream, a data availability solution for Ethereum L2s.

Eigenlayer

Eigenlayer is using Succinct to power various oracles for their restaking protocol, such as consensus layer state.

Eigenlayer

Eigenlayer is using Succinct to power various oracles for their restaking protocol, such as consensus layer state.

Gnosis

Gnosis uses Succinct to secure the Omnibridge, a bi-directional bridge betwen Ethereum and Gnosis Chain with over $300M TVL.

Gnosis

Gnosis uses Succinct to secure the Omnibridge, a bi-directional bridge betwen Ethereum and Gnosis Chain with over $300M TVL.

Avail

Avail is using Succinct to power Vector, a data availability solution for Ethereum L2s.

Avail

Avail is using Succinct to power Vector, a data availability solution for Ethereum L2s.

Nouns

Nouns used Succinct to distribute the funds for Prop249, an autonomous raffle system for incentivizing solo stakers.

Nouns

Nouns used Succinct to distribute the funds for Prop249, an autonomous raffle system for incentivizing solo stakers.

Lido

Lido is using Succinct to create their ZK TVL Oracle to eventually replace the Lido Accounting Oracle contract.

Lido

Lido is using Succinct to create their ZK TVL Oracle to eventually replace the Lido Accounting Oracle contract.

Applications

Succinct is built for:

Light Clients

1

Verify the consensus of other blockchain networks to have trust-minimized access to state for bridging or data availability.

Oracles

2

Perform large-scale computations on historical state, consensus layer data, and more onchain.

Privacy

3

Use client-side proving to create attestations with private inputs to build applications with private voting or anonymity.

Machine Learning

4

Empower your onchain application with autonomous agents, generative art, and customized user experiences.

Cryptography

5

Use any cryptographic operation not natively supported in the EVM, such as elliptic curve arithmetic, pairings, and signatures.

THE PROTOCOL

Build with us towards a proof-based future.

Proof Standard

IVerifier() {

requestProof();

verifyProof();

}

The open-source, ERC-like standard enables developers to seamlessly link their onchain logic and inputs/outputs with offchain verifiable computation when creating ZK applications.

Proving standard

IVerifier() {

requestProof();

verifyProof();

}

The open-source, ERC-like standard enables developers to seamlessly link their onchain logic and inputs/outputs with offchain verifiable computation when creating ZK applications.

Proof Standard

IVerifier() {

requestProof();

verifyProof();

}

The open-source, ERC-like standard enables developers to seamlessly link their onchain logic and inputs/outputs with offchain verifiable computation when creating ZK applications.

Proof Market

The marketplace provides competitively-priced, highly available, and decentralized proving to ZK applications while earning fees for provers that provide their compute.

Universal Aggregator

An aggregation protocol to aggregate proofs from a variety of proving systems and send the marginal cost of verifying a proof onchain to zero.

platform features

The all-in-one platform for
ZK developers

The all-in-one platform for ZK developers

Versioned Builds

Blazing fast builds in the cloud with automatic versioning.

Versioned Builds

Blazing fast builds in the cloud with automatic versioning.

1-click Verifier Deployment

Deploy your verifier on any chain and track your deployments on a single page.

1-click Verifier Deployment

Deploy your verifier on any chain and track your deployments on a single page.

Proof explorer

Check the status of requested proofs and monitor production usage.

Proof explorer

Check the status of requested proofs and monitor production usage.

Hosted Proving

High liveness, managed relayer infrastructure and autoscaling API endpoints make production use a breeze.

Hosted Proving

Manage each unique software build iteration for optimal progression.

Collaboration & Teams

Work on projects with your team members by logging in with Github and creating an org.

Collaboration & Teams

Manage each unique software build iteration for optimal progression.

start building

Ready to get started?

Deploy your own project

Clone the example repo

Deploy your repo as a project

Request a proof

Deploy your own project

Clone the example repo

Deploy your repo as a project

Request a proof

Schedule
a demo

Fill out the form

We’ll setup a call with you

Launch your application

Schedule
a demo

Fill out the form

We’ll setup a call with you

Launch your application

Latest news from our blog

visit our blog

Succinct

The easiest way to discover, develop, and deploy ZK.

Sovereign

Sovereign

Modular

Modular

Coordinated

Coordinated

for developers

Build next-generation applications with unlimited computation.

Discover

Discover

Develop

Develop

Deploy

Deploy

the Protocol

A new architecture to coordinate applications, proof systems and provers.

Applications

Applications

Proof systems

Proof systems

Provers

Provers

The Ecosystem

Succinct enables teams to go 0 → 1 with ZK in weeks, not months.

Celestia

Celestia

Eigenlayer

Eigenlayer

Gnosis

Gnosis

Avail

Avail

Nouns

Nouns

Lido

Lido

Applications

Succinct is built for:

Light Clients

1

Oracles

2

Privacy

3

Machine Learning

4

Cryptography

5

THE PROTOCOL

Build with us towards a proof-based future.

Proof Standard

Proving standard

Proof Standard

Proof Market

Universal Aggregator

platform features

platform features

The all-in-one platform for ZK developers

The all-in-one platform for ZK developers

Versioned Builds

Versioned Builds

1-click Verifier Deployment

1-click Verifier Deployment

Proof explorer

Proof explorer

Hosted Proving

Hosted Proving

Collaboration & Teams

Collaboration & Teams

Ready to get started?

Deploy your own project

Deploy your own project

Schedule a demo

Schedule a demo

Latest news from our blog

Vector X: Bringing Avail’s Offchain Data Availability Solution to Ethereum with Succinct’s ZK Light Client

Introducing Succinct

Blobstream X: Streaming Celestia DA to Ethereum with Succinct’s ZK Tendermint Light Client

The all-in-one platform for
ZK developers

Schedule
a demo

Schedule
a demo