盖比特

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

此软件的关键字

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

数学参考文献

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

  1. Lucas，David；Neiger，Vincent；Pernet，Clément；Roche，Daniel S.；Rosenkilde，Johan:多项式矩阵运算的次线性通信验证协议（2021）
  2. 本·萨森（Eli）；Chiesa，亚历山德罗；Riabzev，Michael；Spooner，Nicholas；Virza，Madars；Ward，Nicholas P.：Aurora:R1CS的透明简洁论证（2019年）
  3. Ben Sasson，Eli；Chiesa，Alessandro；Tromer，Eran；Virza，Madars:Scalable zero knowledge via cycles of椭圆曲线（2017）
  4. 比坦斯基，Nir；卡内蒂，兰；基萨，亚历山德罗；戈德瓦瑟，沙菲；林，惠嘉；鲁宾斯坦，阿维德；特罗默，伊兰：猎蛇（2017）
  5. Mohassel，Payman；Rosulek，Mike；Scafuro，Alessandra:RAM项目的次线性零知识论证（2017）
  6. Veeningen，Meiloff:基于Pinocchio的自适应zk SNARKs和安全/正确的自适应功能评估（2017）
  7. Albrecht，Martin；Grassi，Lorenzo；Rechberger，Christian；Roy，Arnab；Tiessen，Tyge:MiMC：具有最小乘法复杂度的高效加密和加密哈希（2016）
  8. Cuvelier，Édouard；Pereira，Olivier：具有完全私有审计跟踪的可验证多方计算（2016）