Linear Prover Time Unlocks Scalable Zero-Knowledge Proof Generation
Orion achieves optimal linear prover time and polylogarithmic proof size, resolving the ZKP scalability bottleneck for complex on-chain computation.
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.
