Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time.

Jiaheng Zhang, Tianyi Liu, Weijie Wang, Yinuo Zhang, Dawn Song, Xiang Xie, Yupeng Zhang

Browse the full CCS paper archive.