VERIA
phase 1 hook · folding visualizer

Folding visualizer

Move the slider. Watch the sub-proofs collapse. The on-chain cost stays flat.

SUB-PROOFS 100
fold progress 0%
SP1 v3 · Nova IVC
100 → 1
reference · 100 sub-proofs

One on-chain verify, regardless of batch size.

The folded proof verifies under 200K compute units on Solana devnet. Cost is bounded by the Anchor verify_proof CU budget, not by the number of sub-proofs the host produced.

100 sub-proofs · direct
0.500 SOL
folded · single tx
0.0001 SOL
savings
99.9%
Visualizer · VERIA