Pick a sub-proof count. Drag the fold. The proof bytes Solana verifies stay the same size — a few kilobytes — no matter how much work you fold in.
Each sub-computation produces its own SP1 proof. Verifying all of them directly means N transactions and N times the cost.
Nova folds proof i into the running accumulator, instance by instance. The accumulator never grows.
The final folded SNARK lands in a single Solana transaction under 200K CU — and writes one ProofRecord.