机构名称：
¥ 1.0
摘要 - 零知识证明（ZKP）是一种加密工具，使一个方（一个供奉献者）向另一方（供奉献者）证明（一个verifier）是一个陈述是正确的，而无需供供者向Veriifier披露任何数据。ZKP具有许多用例，例如让客户委员会将计算委托给具有加密性正确性的服务器，同时使服务器能够在这些计算中使用秘密数据。ZKP应用程序涵盖了可验证的机器学习（ML）和数据库，在线拍卖，电子投票和区块链。虽然ZKP已被广泛用于区块链，但证明生成的过高成本将它们限制在证明非常简单的计算中。我们提出了一个新颖的加速器NOCAP，该加速器杠杆级的硬件 - 叠加器共同设计以实现变革性的加速。NOCAP生成的证明比32核CPU快586倍，而41倍的速度比PipeZk快41倍，这是最先进的ZKP加速器。我们利用最近的算法开发来实现这些加速：我们识别并结合了两种最近的基于哈希的ZKP算法Orion和Spartan，它们在CPU上具有与先前加速器针对的ZKP相似的性能，但对硬件加速性的态度更为舒张。尽管这些算法产生了更大的证据，但我们表明，末端加速器（包括供奉献时间，证明传输和验证时间）不仅仅证明这种尺寸的增加是合理的。我们为利用这些加速机会的新型硬件组织做出了贡献：NOCAP是一个可编程矢量处理器，其功能单元适合基于哈希的ZKP的需求。结果，NOCAP实现了为ZKP提供新用例的加速。我们还贡献了针对加速器量身定制的Spartan+Orion ZKP的共同设计的实现，并具有优化，可改善并行性并减少存储器的运行。索引术语 - 零知识证明，硬件加速度，可验证的计算
通过硬件加速零知识证明...
主要关键词
相关文件推荐
