Протокол проверки на сумму ⇐ Васина Википедия

[wiki_en]

a '' '' Протокол проверки суммы '' '-это криптографический протокол для построения интерактивной системы доказательств | Интерактивные системы доказательств
== История ==
Протокол проверки суммирования был создан Карстен Лунд, Лэнс Фортноу, Говард Карлофф и Ноам Нисан и формализованный в 1990 году.
== concept ==
В интерактивной системе доказательств | Интерактивное доказательство цель состоит в том, чтобы Verifier V разгрузил дорогостоящее вычисление в ненадежный Prover P.
Для «'v' ''-переменного полинома '' g '' ', определенного на конечном поле \ mathbb {f} , Prover обеспечивает проверку со следующей суммой:
h: = \ sum_ {b_1 \ in \ {0,1 \ \ \ sum_ {b_2 \ in \ {0,1 \ \ cdots \ sum_ {b_v \ in \ {0,1 \ g (b_1, \ ldots, b_v). < /math>

Без повернуть проверчик должен выполнить 2^{n} оценки '' g '', чтобы проверить утверждение, которое является очень большим временем выполнения. С протоколом Sumcheck средне выполнения Verifier составляет O (v + \ text {[стоимость оценки} g \ text {при одном входе} \ mathbf {f}^v]) < /math>.

== Ограничения ==

=== Доказательство размер ===
Протокол проверки суммирования приводит к доказательствам, которые имеют как минимум логарифмическую длину.

=== Zero-Знание и краткость ===
Протокол сама по себе не является нулевым знанием, и, как и все интерактивные доказательства, он не является кратким для операторов NP.

Доказания ZK-Snark объединяют протокол проверки с помощью схемы обязательств | Схемы обязательств для получения Zero-Knwoledge и кратких аргументов.


== См. Также ==

* Криптографический протокол
* Интерактивные системы доказательств

* Zero-Knowledge Proof

* *
Криптографические протоколы

Подробнее: https://en.wikipedia.org/wiki/Sum-check_protocol