天秤座 swMATH ID: 41699 软件作者： 谢天成；张家恒；张玉鹏；Papamanthou、Charalampos；歌曲，黎明 描述： 天秤座：简洁的零知识证明和最佳证明程序计算。我们介绍了Libra，这是第一个同时具有最佳证明时间和简洁证明大小/验证时间的零知识证明系统。特别是，如果C是被证明电路的尺寸（i），无论电路类型如何，校准时间都是O（C）；（ii）对于d-深度日志空间均匀电路（如RAM程序），验证大小和验证时间均为O（dlogC）。此外，Libra具有一次性可信设置，仅取决于电路输入的大小，而不取决于电路逻辑。Libra的基础是一种新的线性时间算法，用于验证Goldwasser、Kalai和Rothblum（也称为GKR协议）提出的交互式证明协议，以及一种使用小掩蔽多项式将GKR协定转化为零知识的有效方法。天秤座不仅有很好的渐近性，而且在实践中也很有效。例如，我们的实现表明，在256个叶子上构造基于SHA2的Merkle树根需要200秒才能生成证明，这比所有现有的零知识证明系统都要好。天秤座的验证规模和验证时间也很有竞争力。 主页： https://eprint.iacr.org/2019/317.pdf 源代码： https://github.com/sunblaze-ucb/Libra网站 相关软件： 利比奥普;斯巴达人;利赫罗;马林鱼;ZKBoo公司;皮诺奇;GitHub公司;vSQL;C的SNARK;盖比特;利布斯纳克;乐高SNARK;zk-快照;虚拟随机存取存储器;DIZK公司;波塞冬;gmp公司;EDRAX公司;光环2;达利克 引用于： 29文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 天秤座：简洁的零知识证明和最佳证明程序计算。 Zbl 1509.94140号谢天成;张佳恒;张玉鹏;查拉兰波斯·帕帕曼图;歌曲，黎明 2019 全部的 前5名77位作者引用 4 亚历山德罗·奇埃萨 4 卡米特·哈扎伊 三 乔纳森·布特尔 三 斯琳塔·塞蒂 三 文基塔苏布拉马尼亚姆 三 张玉鹏 2 托马斯·阿特玛 2 里沙布·巴达乌里亚 2 贝内迪克特·班茨 2 罗纳德·约翰·菲茨杰拉德·克莱默 2 崔洪瑞 2 亚龙·格维利 2 尤瓦尔·伊斯海 2 Ráfols，卡拉 2 莎拉·谢夫勒 2 歌曲，黎明 2 马扬克瓦里亚 2 张凯义 1 斯科特·艾姆斯 1 加尔·阿诺 1 拉亚西亚·班加罗尔 1 卡斯滕·鲍姆 1 阿梅·邦格尔 1 Dan Boneh 1 马特奥·坎帕内利 1 伊格纳西奥·卡斯库多 1 陈彬仪 1 陈瑜 1 伊万·比杰尔·达姆加德 1 瓦内萨·达扎 1 利奥·德·卡斯特罗 1 丹尼尔·埃斯科德罗（Daniel E.Escudero）。 1 安东尼奥·法奥尼奥 1 达里奥·菲奥雷 1 亚历山大·戈洛夫涅夫 1 哈，朱莉 1 贾斯汀·霍姆格伦 1 胡云聪 1 金，Sungwook 1 阿比拉姆·科塔帕利 1 李孝文 1 桑·林 1 刘思奇 1 刘震 1 玛丽·马勒 1 普拉图什·米什拉 1 Khoa Nguyen 1 诺夫，阿里尔 1 米歇尔奥尔卢 1 查拉兰波斯·帕帕曼图 1 攀登秀 1 阿纳伊斯·奎罗尔 1 哈德里安·罗德里格斯 1 罗恩·罗斯布卢姆。 1 Seo，Jae Hong先生 1 爱德华多·索里亚·瓦兹克斯 1 卡特琳娜·索蒂拉基 1 唐，韩 1 贾斯汀·泰勒 1 涅磐·提吉 1 伊奥娜·齐亚拉 1 维诺德·瓦昆塔坦 1 Muthu Venkitasubramaniam公司 1 维斯利，Psi 1 Riad S.瓦比。 1 王华雄 1 吴文轩 1 谢天成 1 谢，天成 1 杨子玲 1 伊伦·约盖夫 1 余，余 1 亚历山大·扎查拉基斯 1 阿兰察省扎皮科 1 张佳恒 1 张新元 1 张振飞 连载1篇 1 设计、代码和密码 在4个字段中引用 29 信息与通信理论、电路（94-XX） 8 计算机科学（68至XX） 4 量子理论（81-XX） 1 组合数学（05-XX） 按年份列出的引文