Faster proofs unlock faster finality, cheaper apps, and crucially, proofs that can be generated anywhere, not just in massive GPU farms.