论文标题
SAFECOMP：用于认证云计算完整性的协议
SafeComp: Protocol For Certifying Cloud Computations Integrity
论文作者
论文摘要
我们定义了一个确认我们不一定信任的远程聚会执行的计算完整性的问题。我们提出了一个称为SAFECOMP的多方交互式协议，该协议在指定的约束下解决了此问题。与最近的相关工作相比，我们的协议将证明结构的复杂性从$ o（n \ log {n}）$减少到$ o（n）$，使用可比长度的证书将通信复杂性更改为一轮。
We define a problem of certifying computation integrity performed by some remote party we do not necessarily trust. We present a multi-party interactive protocol called SafeComp that solves this problem under specified constraints. Comparing to the nearest related work, our protocol reduces a proof construction complexity from $O(n \log{n})$ to $O(n)$, turning a communication complexity to exactly one round using a certificate of a comparable length.
