斯巴达人 swMATH ID: 46419 软件作者: 斯琳塔·塞蒂 描述: 斯巴达:无需可信设置的高效通用zkSNARK。本文介绍了Spartan,一个新的零知识简洁非交互知识自变量族(zkSNARKs),用于秩-1约束可满足性(R1CS),这是一种推广算术电路可满足性的NP完备语言。Spartan的一个显著特点是,它为NP提供了第一个没有可信设置的zkSNARK(即透明zkSNAR),其中验证证明会产生次线性成本,而不需要NP语句结构的一致性。此外,斯巴达为zkSNARK提供了一个时间最优证明程序,这一特性对于文献中的几乎所有zkSNarK来说都是难以捉摸的。为了实现这些结果,我们引入了与总和检查协议(一种开创性的交互式证明协议)一起组成的新技术:(1)计算承诺,一种创建对计算描述的简洁承诺的原语;该技术对于验证器在投入一次性公共计算来预处理给定的NP语句后实现次线性成本至关重要;(2)火花,一个密码编译器,用于将任何现有的多线性多项式可提取多项式承诺方案转换为有效处理稀疏多线性多项式的方案;该技术对于实现时间最优的校准程序至关重要;和(3)R1CS实例作为低次多项式的紧凑编码。最终结果是NP知识的公共-简洁交互论证(可以看作是sum-check协议的简洁变体);我们使用先前的技术将其转换为zkSNARK。通过将spark应用于不同的承诺方案,我们得到了几个zkSNARK,其中验证器的成本和证明大小取决于潜在的承诺方案(n表示NP语句的大小),从\(O(\log^2{n})\)到\(O。这些方案不需要可信设置,但需要通用可信设置的方案除外。我们在大约8000行Rust中实现了斯巴达图书馆。我们使用该库在随机预言模型中构建一个透明的zkSNARK,其中安全性在离散对数假设下保持不变。我们通过实验对其进行了评估,并将其与R1CS实例大小小于或等于(2^{20})约束的最新zkSNARK进行了比较。在没有可信设置的方案中,Spartan提供了最快的证明程序,根据基线,其加速比为\(36-152{次}\),生成的证明缩短了\(1.2-416{次{),验证时间最低,加速比为\(3.6-1326{次\)。与具有可信设置的最先进的zkSNARK相比,Spartan的证明程序对于任意R1CS实例更快,对于数据并行工作负载更快。 主页: https://link.springer.com/chapter/10.1007/978-3-030-56877-1_25 源代码: https://github.com/microsoft/Spartan网站 关键词: 零知识简洁的非交互知识论元;斯巴达谚语 相关软件: 利比奥普;马林鱼;github;天秤座;利赫罗;皮诺奇;C的SNARK;vSQL;ZKBoo公司;盖比特;zk-快照;波塞冬;乐高SNARK;令人眩晕;利布斯纳克;vRAM(虚拟随机存取存储器);xJ标记;CPSNARKs集合;艾莉亚;EDRAX公司 引用于: 37文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 斯巴达:无需可信设置的高效通用zkSNARK。 Zbl 1504.94185号斯琳塔·塞蒂 2020 全部的 前5名99位作者引用 三 乔纳森·布特尔 三 亚历山德罗·奇埃萨 三 卡米特·哈扎伊 三 斯琳塔·塞蒂 三 Muthuramakrishnan的Venkitasubramaniam 三 大卫·J·吴。 2 里沙布·巴达乌里亚 2 Dan Boneh 2 贝内迪克特·班茨 2 马特奥·坎帕内利 2 达里奥·菲奥雷 2 亚龙·格维利 2 莎拉·谢夫勒 2 马扬克瓦里亚 2 沃特斯,布伦特 2 张玉鹏 1 斯科特·艾姆斯 1 Aranha,Diego F。 1 Arun、Arasu 1 拉亚西亚·班加罗尔 1 埃米尔·马德森(Emil Madsen Bennedsen) 1 亚历山大·R·布洛克。 1 约瑟夫·邦诺 1 伊格纳西奥·卡斯库多 1 冠军,杰弗里 1 西德·奇金(Sid Chi-Kin Chau) 1 陈斌一 1 陈瑜 1 阿卡莱·乔杜里 1 朱希恩 1 克拉克,Jeremy Thane 1 广道 1 塞普林·德尔佩赫(Cyprien Delpech),德圣吉勒姆(De Saint Guilhem) 1 贾斯汀·德雷克 1 安东尼奥·法奥尼奥 1 本·A·菲什。 1 阿里尔·加比松 1 查亚·加内什 1 拉希特·加格 1 弗朗索瓦·加里洛 1 伊曼纽尔·吉安达 1 亚历山大·戈洛夫涅夫 1 保罗·格拉布斯 1 哈,朱莉 1 伊夫塔赫·海特纳 1 贾斯汀·霍姆格伦 1 胡云聪 1 尤瓦尔·伊斯海 1 阿披实·耆那 1 金正中 1 Kan,海滨 1 金,Sungwook 1 迪米特里斯·科洛内洛斯 1 亚什凡特·康迪 1 阿比拉姆·科塔帕利 1 李孝文 1 刘思奇 1 玛丽·马勒 1 I.V.马丁尼科夫。 1 普拉图什·米什拉 1 佩曼·莫哈塞尔 1 瓦莱里亚·尼古兰科 1 丹尼尔·努克莱 1 克劳迪奥·奥兰迪 1 米歇尔·奥尔 1 埃马努埃拉·奥尔西尼 1 阿纳伊斯·奎罗尔 1 Ráfols,卡拉 1 罗德里格斯,哈德良 1 阿隆·罗森 1 罗恩·罗斯布卢姆。 1 多米尼克·施罗德 1 Seo,Jae Hong先生 1 克里斯汀·谢里丹 1 宋,黎明 1 普拉蒂克·索尼 1 卡特琳娜·索蒂拉基 1 阿基拉·高桥 1 唐、强 1 Titouan Tanguy 1 贾斯汀·泰勒 1 涅磐·提吉 1 伊奥娜·齐亚拉 1 米歇尔·韦鲍韦德 1 维斯利,Psi 1 Riad S.瓦比。 1 王丽冠 1 王楠 1 王,肖 1 王玉玉 1 吴文轩 1 谢天成 1 杨康(Yang,Kang) 1 杨子玲 1 伊伦·约盖夫 1 阿兰察省扎皮科 1 张双军 1 张新元 1 张振飞 3篇连载文章中引用 1 理论计算机科学 1 设计、代码和密码 1 Prikladnaya Diskretnaya Matematika公司 在5个字段中引用 35 信息与通信理论、电路(94-XX) 13 计算机科学(68至XX) 2 量子理论(81-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文