Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits 发表信息 原文链接 作者 Chenkai Weng Kang Yang Jonathan Katz Xiao Wang 笔记 待补充