皮诺奇 swMATH ID: 10193 软件作者: Parno,B.、Gentry,C.、Howell,J.、Raykova,M。 描述: 皮诺奇:几乎实用的可验证计算。为了给外包给云的计算注入更大的信心,客户端应该能够验证返回结果的正确性。为此,我们引入了Pinocchio,这是一个构建的系统,用于在仅依赖密码假设的情况下有效验证一般计算。客户使用Pinocchio创建一个公共评估密钥来描述她的计算;这个设置与计算一次的评估成正比。然后,该工作者对特定输入的计算进行求值,并使用求值键生成正确性证明。无论执行的计算或输入和输出的大小如何,证明只有288个字节。任何人都可以使用公共验证密钥来检查证据。至关重要的是,我们对七种应用程序的评估表明,匹诺曹在实践中也是有效的。皮诺曹的验证时间通常为10毫秒:比以前的工作少5-7个数量级;事实上,Pinocchio是第一个演示验证成本低于本地执行(对于某些应用程序)的通用系统。皮诺曹还将工人的证明工作量减少了19-60倍。作为一个附加功能,Pinocchio以比基本协议低得多的成本推广到零知识证明。最后,为了帮助开发,Pinocchio提供了一个端到端的工具链,可以将C的子集编译成实现可验证计算协议的程序。 主页: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6547113 相关软件: C的SNARK;马林鱼;github;盖比特;利比奥普;斯巴达人;zk-快照;利赫罗;ADSNARK公司;ZKBoo公司;天秤座;vSQL;利布斯纳克;乐高积木;波塞冬;xJ陷阱;EDRAX公司;DIZK公司;达利克;NTL公司 引用于: 91文件 全部的 前5名229位作者引用 9 亚历山德罗·奇埃萨 7 伊莱·本·萨森 6 海尔格尔·利帕 6 埃兰·特罗姆 5 马尔库夫·科尔韦斯 5 夫人维尔扎 4 查亚·加内什 4 安卡·尼图列斯库 4 雅诺·西姆 4 米查尔·扎贾克 三 马特奥·坎帕内利 三 达里奥·菲奥雷 三 玛丽·马勒 三 查拉兰波斯·帕帕曼图 三 沃特斯,布伦特 三 大卫·J·吴。 三 张良峰 2 贝扎德·阿卜杜勒马利基 2 马丁·R·阿尔布雷希特。 2 Aranha,Diego F。 2 卡里姆·巴格里 2 卡斯滕·鲍姆 2 丹尼尔·贝纳罗克 2 兰·卡内蒂 2 邓毅 2 阿里尔·加比松 2 丹尼尔·根金 2 Gentry,Craig先生 2 洛伦佐·格拉西 2 科比·古尔坎 2 亚龙·格维利 2 托马斯·科伯 2 阿格洛斯·凯亚斯 2 科洛内洛斯,迪米特里斯 2 I.V.马丁尼科夫。 2 克劳迪奥·奥兰迪 2 Ráfols,卡拉 2 Rechberger,克里斯蒂安 2 迈克尔·里亚布泽夫 2 萨法维·奈尼,雷哈内赫 2 莎拉·谢夫勒 2 宋,黎明 2 尼古拉斯·斯普纳 2 阿基拉·高桥 2 罗伯托·塔马西娅 2 尼科斯·特里安多普洛斯 2 玛雅人瓦里亚 2 Veenigen,梅洛夫 2 张玉鹏 1 阿卜杜拉蒂夫·阿拉卜杜拉提夫 1 艾尔维拉·阿尔伯特 1 莫罗·安德烈奥利尼 1 安纳托利·安尼西莫夫。 1 朱塞佩·阿特尼塞 1 Foteini Baldimtsi公司 1 纳维德·加迪·巴德 1 奥哈德·巴塔 1 贝尔斯·穆尼奥斯(Bellés-Muñoz),玛尔塔 1 瓦利德·贝纳马拉 1 埃米尔·马德森(Emil Madsen Bennedsen) 1 伊多·本托夫 1 尼尔·比坦斯基 1 Dan Boneh 1 乔纳森·布特尔 1 安妮·布罗德本特 1 约翰·巴赫曼(Johannes A.Buchmann)。 1 贝内迪克特·班茨 1 丹尼斯·布廷 1 丹·卡蒙 1 阿尼埃洛·卡斯蒂格利奥内 1 康斯坦蒂诺斯·查尔基亚斯 1 泛血管炎 1 陈可飞 1 陈晓峰 1 Chiengsatiansup、Chitchanok 1 瓦莱里奥·西尼 1 安德烈亚·科拉丹格罗 1 米歇尔·科拉詹尼 1 埃·杜亚德·库维利埃 1 乔治·丹尼斯 1 广道 1 潘卡杰大亚马 1 瓦内萨·达扎 1 尼尔斯·德弗瑞德 1 丹尼斯·德米雷尔 1 塞缪尔·迪特默(Samuel J.Dittmer)。 1 贾斯汀·德雷克 1 Jean-Guillaume杜马 1 玛丽亚·艾希塞德 1 尤塞夫·埃尔·霍斯尼 1 法拉帝,卢卡 1 本·A·菲什。 1 塞德里克·Fornet 1 科迪·R·弗雷塔格。 1 尼古拉斯·盖利 1 拉希特·加格 1 罗萨里奥·根纳罗 1 Riddhi Ghosal公司 1 沙菲·戈德瓦瑟 1 迈克尔·杜鲁门·古德里奇 …还有129位作者 全部的 前5名13篇连载文章中引用 5 设计、代码和密码 三 信息科学 三 密码学杂志 2 SIAM计算机杂志 2 算法 2 控制论与系统分析 2 Prikladnaya Diskretnaya Matematika公司 1 计算机与系统科学杂志 1 理论计算机科学 1 信息与计算 1 离散数学科学与密码学杂志 1 跨学科信息科学(IIS) 1 数学密码学杂志 全部的 前5名在9个字段中引用 85 信息与通信理论、电路(94-XX) 44 计算机科学(68至XX) 4 数论(11-XX) 三 量子理论(81-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文