皮诺曹

皮诺曹:几乎实用的可验证计算。为了给外包给云的计算注入更大的信心,客户机应该能够验证返回结果的正确性。为了有效地验证这个密码系统,我们只需要引入一个通用的密码系统。使用Pinocchio,客户机创建一个公共评估密钥来描述她的计算;这个设置与计算的一次评估成正比。然后,工作人员评估特定输入的计算结果,并使用评估密钥生成正确性证明。不管执行的计算或输入和输出的大小,证明都只有288个字节。任何人都可以使用公共验证密钥来检查证据。最重要的是,我们对七个应用程序的评估表明,皮诺曹在实践中也是有效的。Pinocchio的验证时间通常为10ms:比之前的工作少了5-7个数量级;实际上,Pinocchio是第一个演示验证的通用系统,它比本地执行(对于某些应用程序)更便宜。Pinocchio还将工人的证明工作量减少了19-60倍。作为一个附加功能,Pinocchio在基本协议的基础上以可忽略的成本将其推广到零知识证明。最后,为了帮助开发,Pinocchio提供了一个端到端的工具链,它将C的子集编译成实现可验证计算协议的程序。


zbMATH中的参考文献(参考 32篇文章 32篇文章

显示第1到第20个结果,共32个。
按年份排序(引用)
  1. Pinto,Alexandre Miranda:zk SNARK在区块链中的使用介绍(2020)
  2. 张良峰;Safavi Naini,Reihaneh:在矩阵和多项式函数的可公开验证委托中保护数据隐私(2020)
  3. 本·萨森(Eli);Chiesa,亚历山德罗;Riabzev,Michael;Spooner,Nicholas;Virza,Madars;Ward,Nicholas P.:Aurora:R1CS的透明简洁论证(2019年)
  4. 罗富才;王福群;王坤鹏;陈克飞:一个更有效的分级强不可伪造全同态签名方案(2019)
  5. 张晓宇;蒋涛;李光庆;卡斯蒂格利奥,阿尼埃洛;陈晓峰:批量矩阵乘法新的可公开验证计算(2019)
  6. Anisimov,A.V.;Novokshonov,A.K.:具有加法机器的可信计算。二(2018)
  7. Dumas,Jean Guillaume:可以在云端高效计算的工作证书证明(邀请谈话)(2018)
  8. Ferretti,Luca;Marchetti,Mirco;Andreolini,Mauro;Colajanni,Michele:云数据库中数据完整性验证的对称密码方案(2018)
  9. Liu,Jia;Jager,Tibor;Kakvi,Saqib A.;Warinschi,Bogdan:如何构建时间锁加密(2018)
  10. Alabdulatif,Abdulatif;Kumarage,鹤山;Khalil,Ibrahim;Yi,Xun:使用轻量级同态加密的云中隐私保护异常检测(2017)
  11. Ben Sasson,Eli;Bentov,Iddo;Chiesa,Alessandro;Gabizon,Ariel;Genkin,Daniel;Hamilis,Matan;Pergament,Evgenya;Riabzev,Michael;Silberstein,Mark;Tromer,Eran;Virza,Madars:准线性PCP的公共随机字符串的计算完整性(2017)
  12. Ben Sasson,Eli;Chiesa,Alessandro;Tromer,Eran;Virza,Madars:Scalable zero knowledge via cycles of椭圆曲线(2017)
  13. 比坦斯基,Nir;卡内蒂,兰;基萨,亚历山德罗;戈德瓦瑟,沙菲;林,惠嘉;鲁宾斯坦,阿维德;特罗默,伊兰:猎蛇(2017)
  14. López Alt,Adriana;Tromer,Eran;Vaikuntanathan,Vinod:多密钥完全同态加密和应用(2017)
  15. Mohassel,Payman;Rosulek,Mike;Scafuro,Alessandra:RAM项目的次线性零知识论证(2017)
  16. Veeningen,Meiloff:基于Pinocchio的自适应zk SNARKs和安全/正确的自适应功能评估(2017)
  17. Albrecht,Martin;Grassi,Lorenzo;Rechberger,Christian;Roy,Arnab;Tiessen,Tyge:MiMC:具有最小乘法复杂度的高效加密和加密哈希(2016)
  18. 本·萨森(Eli);基萨(Chiesa),亚历山德罗(Alessandro);斯普纳(Spooner),尼古拉斯(Nicholas):交互式甲骨文证明(2016)
  19. Perior-Cuvelead,2016年,与Olivier-Cuvelead一起进行私人审计
  20. Fiore,Dario;Nitulescu,Anca:关于oracles存在时Snark的安全性(2016)