×

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文件

按年份列出的引文