Proofs must meet strict “real-time” benchmarks, including 10-second latency for 99% of blocks, 128-bit security (100-bit minimum at launch), proof sizes under 300 KiB, and the ability to run on hardware costing no more than $100,000 and using less than 10 kW.