ADSNARK公司 swMATH ID: 22496 软件作者: Backes,M.、Barbosa,M.,Fiore,D.、Reischuk,R.M。 描述: ADSNARK:在经过验证的数据上提供几乎实用且保密的证据。我们研究了认证数据的隐私保护证明问题,其中一方从可信来源接收数据,并被要求以正确和私密的方式向第三方证明对数据的计算,即第三方不了解有关数据的信息,但仍然确信所声称的证明是有效的。我们的工作特别关注具有挑战性的要求,即第三方应该能够验证源验证的特定数据的有效性,即使没有访问该源的权限。这个问题是由多个应用领域中出现的各种场景引起的,例如可穿戴计算、智能计量或一般的企业对企业交互。此外,这些应用程序还需要任何有意义的解决方案来满足与可用性和可伸缩性相关的其他属性。在本文中,我们形式化了上述三方模型,讨论了具体的应用场景,然后设计、构建和评估了ADSNARK,这是一个几乎实用的系统,用于以隐私保护的方式证明对认证数据的任意计算。ADSNARK大大改进了此模型的最新解决方案。例如,与基于Pinocchio(Oakland’13)的相应解决方案相比,ADSNARK在验证计算时间方面提高了25倍,在校准程序存储空间方面减少了20倍。 主页: http://ieeexplore.ieee.org/document/7163031/ 相关软件: 皮诺奇;盖比特;zk-快照;C的SNARK;NTL公司;gmp公司;波塞冬;斯巴达人;利赫罗;利布斯纳克;曲线25519;SiRiUS公司;普鲁特斯;SWIFFT银行;ECPP公司;fhe公司;NTRU公司;太阳神 引用于: 12文件 全部的 前5名29位作者引用 三 埃兰·特罗姆 2 亚历山德罗·基耶萨 2 I.V.马丁尼科夫。 1 奥哈德·巴塔 1 伊莱·本·萨森 1 尼尔·比坦斯基 1 约翰·巴赫曼(Johannes A.Buchmann)。 1 丹尼斯·布廷 1 兰·卡内蒂 1 达里奥·卡塔拉诺 1 埃·杜亚德·库维利埃 1 丹尼斯·德米雷尔 1 马里奥·迪雷蒙多 1 西蒙·法罗 1 达里奥·菲奥雷 1 沙菲·戈德瓦瑟 1 尤瓦尔·伊斯海 1 林慧嘉 1 阿德里亚娜·洛佩兹·阿尔特 1 安卡·尼图列斯库 1 奥斯特罗夫斯基,拉法伊尔 1 奥利维埃·佩雷拉 1 亚历山大·米兰达·平托 1 阿维亚德·鲁宾斯坦 1 卢卡斯·沙布胡塞尔 1 维诺德·瓦昆塔坦 1 Veenigen,梅洛夫 1 夫人维尔扎 1 大卫·J·吴。 4篇连载文章中引用 2 Prikladnaya Diskretnaya Matematika公司 1 SIAM计算机杂志 1 算法 1 密码学杂志 在4个字段中引用 11 计算机科学(68至XX) 11 信息与通信理论、电路(94-XX) 1 数论(11-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文