艾莉亚 swMATH ID: 28501 软件作者： 乔纳森·布特尔；安德烈亚·塞鲁利（Andrea Cerulli）；格罗斯、延斯；雅各布森，苏内；玛丽·马勒 描述： Arya：用于正确执行程序的近线性时间零知识证明。零知识证明在减少交互、通信和验证时间方面取得了巨大进步，但如何使证明程序高效仍然是一个重要挑战。我们构造了第一个零知识证明，用于在公共和私有输入上正确执行程序，其中证明程序的计算几乎是线性时间。与当前最先进的证明系统相比，这在渐近性能方面节省了一个多对数因子。我们使用TinyRAM模型捕获通用处理器计算。实例由TinyRAM程序和公共输入组成。证人包括对程序的额外私人输入。证明程序可以使用我们的证明系统来说服验证程序在给定的时间和内存范围内以预期的答案终止。假设存在线性时间可计算的抗碰撞哈希函数，我们的证明系统具有完美的完备性、统计特殊诚实验证器零知识和计算知识稳健性。我们新证明系统的主要优点是渐近有效的证明程序计算。在apples-to-apples比较中，验证程序的运行时间只是一个大于程序运行时间的超常量因子，验证程序使用相同的TinyRAM模型。我们的证明系统对其他性能参数也是有效的；验证器的运行时间和通信在程序的执行时间上是次线性的，我们只使用对数轮次。 主页： https://link.springer.com/章节/10.1007%2F978-3-030-03326-2_20 关键词： 零知识证明;简洁的知识论证;锡兰;理想线性承诺;后量子安全 相关软件： C的SNARK;马林鱼;皮诺奇;利比奥普;斯巴达人;利赫罗;vSQL;盖比特;TFHE公司;xJ陷阱;乐高积木;DIZK公司;天秤座;ZKBoo公司;vRAM（虚拟随机存取存储器） 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Arya：用于正确执行程序的近线性时间零知识证明。 Zbl 1446.94108号乔纳森·布特尔;安德烈亚·塞鲁利;詹斯·格罗斯;苏内雅各布森;玛丽·马勒 2018 全部的 前5名15位作者引用 2 乔纳森·布特尔 1 安德烈亚·塞鲁利 1 亚历山德罗·奇埃萨 1 塞普林·德尔佩赫（Cyprien Delpech），德圣吉勒姆（De Saint Guilhem） 1 查亚·加内什 1 詹斯·格罗斯 1 胡云聪 1 苏尼·克里斯蒂安·雅各布森 1 玛丽·马勒 1 安卡·尼图列斯库 1 米歇尔·奥尔 1 艾曼纽拉·奥西尼 1 爱德华多·索里亚·瓦兹克斯 1 Titouan Tanguy 1 米歇尔·韦鲍韦德 连载1篇 1 密码学杂志 在2个字段中引用 4 信息与通信理论、电路（94-XX） 三 计算机科学（68至XX） 按年份列出的引文