36
правок
Изменения
Нет описания правки
Пусть полином <tex>A(x_1, x_2, ..., x_n)</tex> имеет степень <tex>d</tex>.
Итак, надо проверить следующее арифметическое уравнение: <tex>\sum_{x_1 = 0}^{1}\sum_{x_2 = 0}^{1}...\sum_{x_n = 0}^{1} A(x_1, x_2, ..., x_n) = k</tex>.
Попросим ''Prover'' 'а прислать ''Verifier'' 'у простое число <tex>p > max(2^n, k_p)</tex> и сертификат о его простоте.
