零知识可验证云计算平台ZKCloud深度：在不暴露数据的前提下证明计算结果的正确性

零知识可验证云计算平台ZKCloud深度

2030年10月，瑞士联邦理工学院（ETH Zurich）衍生公司ZKCloud Labs正式发布了零知识可验证云计算平台。该平台让用户可以将敏感计算任务外包给云服务器执行，并通过零知识证明确保计算结果的正确性，同时云服务器无法看到用户的输入数据。

云计算的信任问题是企业上云的最大障碍之一。当企业将数据上传到云端进行计算时，它必须信任云服务商不会窥探或篡改数据。ZKCloud通过密码学而非信任来解决这个问题。

ZKCloud的工作流程分为四步：用户在本地对输入数据进行加密并生成零知识证明的公共参数；加密数据发送到云端执行计算；云端在加密数据上完成计算并生成结果正确性的零知识证明；用户验证证明的有效性后解密结果。

ZKCloud Labs CTO Jens Groth（同时也是零知识证明领域的知名学者）表示：「ZKCloud让云计算从『请信任我』变成了『我向你证明』。云服务商即使想作恶也无法在不被检测到的情况下篡改计算结果。」

当前版本的ZKCloud支持三类计算：矩阵运算（用于机器学习推理）、SQL查询（用于数据分析）和通用算术电路。由于零知识证明的计算开销，ZKCloud的运行速度约为普通云计算的3至10倍慢，但在涉及敏感数据的场景中，安全性的提升远超性能损失。

首批商业用户包括瑞士信贷（用于合规数据审计）和罗氏制药（用于药物分子计算）。ZKCloud Labs已获得累计6000万美元融资。