技术现状报告：可验证计算
密码学与安全
2024-02-19 v2
摘要
本报告描述可验证计算的技术现状。所解决的问题如下：可验证计算问题（Verifiable Computing Problem）设我们有两个计算智能体。第一个为验证者，第二个为证明者。验证者希望证明者执行一项计算。验证者将计算的描述发送给证明者。一旦证明者完成任务，便将输出返回验证者。输出将包含证明。验证者可利用该证明检查证明者是否正确计算输出。该检查不要求验证计算中使用的算法，而是检查证明者使用了验证者指定的计算来计算输出。检查所需工作量应远小于执行计算所需工作量。本技术现状报告综述文献中128篇论文，逾4,000页。亦综述了其他论文与书籍但被略去。所综述论文绝大多数为数学性。我们已总结构成可验证计算基础的主要概念。报告含两主要部分。第一部分较大，涵盖概率可检验与零知识证明的理论基础。第二部分描述可验证计算的当前实践。另两份报告将涵盖（i）可验证计算的军事应用与（ii）一组技术演示。前者面向欲知当前技术现状所赋能应用者，后者面向欲见实用工具并自行实验者。
引用
@article{arxiv.2308.15191,
title = {State of the Art Report: Verified Computation},
author = {Jim Woodcock and Mikkel Schmidt Andersen and Diego F. Aranha and Stefan Hallerstede and Simon Thrane Hansen and Nikolaj Kuhne Jakobsen and Tomas Kulik and Peter Gorm Larsen and Hugo Daniel Macedo and Carlos Ignacio Isasa Martin and Victor Alexander Mtsimbe Norrild},
journal= {arXiv preprint arXiv:2308.15191},
year = {2024}
}
备注
54 pages