Scalable Zero-Knowledge Proofs: Optimizing Delegation and Private Aggregation

This research introduces novel proof systems and architectures that fundamentally scale zero-knowledge proofs, reducing server communication costs for privacy-preserving applications.
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.