Libra: Optimal Prover Time, Succinct Zero-Knowledge Proofs Achieved
Libra's linear-time GKR prover and efficient zero-knowledge masking reduce proof generation, enabling practical, scalable verifiable computation.
