Optimal Prover Time and Succinct Zero-Knowledge Proofs Simultaneously Achieved
Libra achieves linear prover complexity with polylogarithmic verification time, unlocking practical, scalable zero-knowledge computation.
