SafeComp: Protocol For Certifying Cloud Computations Integrity

TL;DR

SafeComp is a protocol that certifies the integrity of remote cloud computations efficiently, reducing proof complexity and communication rounds compared to previous methods.

Contribution

It introduces a multi-party interactive protocol that significantly lowers proof construction complexity and achieves a one-round communication protocol.

Findings

Proof construction complexity reduced from O(n log n) to O(n)

Communication complexity achieved in a single round

Comparable certificate length maintained

Abstract

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.