Fold the sky.
Verify in milliseconds.
Sweep up to 4,096 sub-proofs through your choice of folding scheme. The accumulator stays bounded; the verifier cost lands on Solana in one transaction's worth of work.
Sub-proofs1,024
Scheme
Step-by-step accumulator
step 00
25.6 KB
acc 1
step 01
26.1 KB
acc 65
step 02
26.2 KB
acc 129
step 03
26.3 KB
acc 193
step 04
26.4 KB
acc 257
step 05
26.4 KB
acc 321
step 06
26.4 KB
acc 385
step 07
26.5 KB
acc 449
step 08
26.5 KB
acc 513
step 09
26.5 KB
acc 577
step 10
26.5 KB
acc 641
step 11
26.5 KB
acc 705
Sextant reading
99.78%
verify cost reduction
Baseline proof
12.29 MB
separate
Folded proof
26.6 KB
NOVA
Baseline cost
$18.43
USD
Folded cost
$0.019
USD
Total fold time
12.29 s
across 1,024 sub-proofs · 12.00 ms / proof
Accumulator size · sublinear by design