Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time 发表信息 原文链接 code 作者 Jiaheng Zhang Tianyi Liu Dawn Song Xiang Xie Yupeng Zhang 笔记 待补充