Geppetto: Versatile verifiable computation 发表信息 原文链接 archive 作者 Craig Costello Cédric Fournet Jon Howell Markulf Kohlweiss Benjamin Kreuter Michael Naehrig Bryan Parno Samee Zahur 笔记 待补充