盖比特

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