Virgo++: Optimal Zero-Knowledge Proofs for Arbitrary Arithmetic Circuits
This research extends doubly efficient interactive proofs to arbitrary arithmetic circuits, achieving optimal linear prover time and succinct verification without requiring costly circuit layering.
