Протокол сертификации целостности облачных вычислений

В статье сформулирована задача сертификации целостности вычислений, проводимых стороной, которой мы не обязательно доверяем. Предложен интерактивный многопользовательский протокол решающий эту задачу при заданных ограничениях. По сравнению с ближайшим аналогом, предложенный протокол упрощает процедуру построения доказательства с $O(n\log n)$ до $O(n)$, а сложность коммуникации сводит к одному раунду при сопоставимой длине сертификата.