Vela Exchange — ZK Proof System

Mathematically proven.

Every trade.

Vela's optimistic-ZK architecture produces a cryptographic proof for every batch of trades. Anyone can verify that the matching engine processed orders correctly without trusting the operator.

Current Prover Mode

CURRENT PROVER MODE

OPTIMISTIC

Proofs are generated on-demand when a batch is challenged. Full per-batch proving with SP1 ships post-Stanford AFT Lab (June 2026).

● NOW — Optimistic mode (challenge → prove)

○ JUNE 2026 — SP1 integration (prove every batch)

○ MAINNET — On-chain proof verification

Loading stats…

Architecture

Optimistic-ZK verification.

Batch execution

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

Optimistic acceptance

The state root is accepted as correct by default. Anyone can challenge it during the 7-day window by submitting a fraud proof at /verify.

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…

← Batch Explorer Submit a challenge →TEE Attestation →