Orion: Linear Prover Time, Polylogarithmic Proof Size Zero-Knowledge Proofs

A new zero-knowledge proof system dramatically accelerates proof generation and shrinks proof size, enabling practical large-scale verifiable computation.