SafeComp: Protocol For Certifying Cloud Computations Integrity

  • 2020-05-21 17:08:39
  • Evgeny Shishkin, Evgeny Kislitsyn
  • 3


We define a problem of certifying computation integrity performed by someremote party we do not necessarily trust. We present a multi-party interactiveprotocol called SafeComp that solves this problem under specified constraints.Comparing to the nearest related work, our protocol reduces a proofconstruction complexity from $O(n \log{n})$ to $O(n)$, turning a communicationcomplexity to exactly one round using a certificate of a comparable length.


Quick Read (beta)

loading the full paper ...