Corpus ID: 218763446

SafeComp: Protocol For Certifying Cloud Computations Integrity

@article{Shishkin2020SafeCompPF,
  title={SafeComp: Protocol For Certifying Cloud Computations Integrity},
  author={Evgeny Shishkin and Evgeny Kislitsyn},
  journal={ArXiv},
  year={2020},
  volume={abs/2005.10786}
}
  • Evgeny Shishkin, Evgeny Kislitsyn
  • Published 2020
  • Computer Science
  • ArXiv
  • 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. 

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 25 REFERENCES

    A machine program for theorem-proving

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    A scalable verification solution for blockchains

    VIEW 8 EXCERPTS
    HIGHLY INFLUENTIAL

    The complexity of theorem-proving procedures

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Computable functions

    • Alexander Shen, Nikolai Konstantinovich Vereshchagin, Neal Noah Madras
    • 2003

    Demystifying the secure enclave processor, 2016

    • Tarjei Mandt, Mathew Solnik, David Wang
    • 2016
    VIEW 1 EXCERPT