●PUBLIC BETASEPOLIA TESTNET · NO REAL FUNDS · NOT PRODUCTION CUSTODYLearn more →
Vela

Vela Exchange — ZK Proof System

Proof pipeline status.

Testnet research preview.

The current beta defaults to a placeholder prover and optimistic skipped records. Real SP1 proofs require separate provider infrastructure, and no on-chain verifier currently enforces them.

Current Prover Mode

CURRENT PROVER MODE

OPTIMISTIC

Placeholder records are emitted by default. SP1 integration exists behind explicit provider configuration and is not part of the public beta deployment.

● NOW — Optimistic mode (challenge → prove)

○ JUNE 2026 — SP1 integration (prove every batch)

○ MAINNET — On-chain proof verification

Loading stats…

Architecture

Optimistic-ZK verification.

01

Batch execution

Every 30 seconds, the matching engine produces a batch of fills and computes a state root — a cryptographic commitment to the result.

02

Optimistic record

The beta records the state root without an enforceable on-chain challenge window. The /verify page is an operator contact flow.

03

ZK proving (coming soon)

With SP1 integration, a ZK proof of correct execution is generated for every batch. The proof is published publicly and verifiable by anyone, eliminating the need for the challenge period.

Proof History

Loading proofs…