盖比特

通用可验证计算。云计算引发了人们对可验证计算协议的兴趣，这种协议允许弱客户端安全地将计算外包给远程方。最近的工作大大降低了客户验证其结果正确性的成本，但产生证据的开销在很大程度上仍然不切实际。Geppetto引入了补充技术，以减少校准仪的开销并提高校准仪的灵活性。使用多QAP，Geppetto将计算之间（例如，对于MapReduce）或单个计算内共享状态的成本降低了两个数量级。通过对密码原语的谨慎选择，Geppetto的有界证明bootstrapping的实例化比以前的bootstrapping系统提高了5个数量级，尽管在通用性方面有一定的代价。Geppetto还可以有效地验证专有（即秘密）算法的正确执行。最后，Geppetto使用节能电路使校准仪的成本更符合程序的实际执行时间（而不是最坏情况下）。Geppetto是在一个成熟的、可伸缩的编译器和运行时中实现的，它使用从各种源代码C程序和加密库生成的LLVM代码。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献8条)

显示第1到第8个结果，共8个。
按年份排序(引用)

  1. 卢卡斯，大卫；内格尔，文森特；私人财产；罗氏，丹尼尔S。；Johan Rosenkilde:多项式矩阵运算的次线性通信验证协议（2021）
  2. 本·萨森，伊莱；亚历山奇耶罗；里亚布泽夫，迈克尔；斯普纳，尼古拉斯；维尔扎，玛达斯；沃德，尼古拉斯P.：极光：R1C的透明简洁论据（2019）
  3. 本·萨森，伊莱；基萨，亚历山德罗；特罗默，伊兰；Virza，Madars:Scalable zero knowledge via cycles of椭圆曲线（2017）
  4. 比坦斯基，Nir；卡内蒂，兰；基萨，亚历山德罗；戈德瓦瑟，沙菲；林惠嘉；鲁宾斯坦，阿维德；特罗默，伊兰：《猎蛇记》（2017）
  5. 莫哈塞尔，佩曼；罗斯勒克，迈克；Scafuro，Alessandra:RAM项目的次线性零知识论据（2017）
  6. Veeningen，Meiloff:基于Pinocchio的自适应zk SNARKs和安全/正确的自适应功能评估（2017）
  7. 阿尔布雷希特，马丁；格拉西，洛伦佐；雷克伯格，基督徒；罗伊，阿纳布；Tiessen，Tyge:MiMC:具有最小乘法复杂度的高效加密和加密哈希（2016）
  8. 卡维利埃，爱杜瓦德；Pereira，Olivier:可验证的多方计算与完全私人审计跟踪（2016）