Прочность (интерактивное доказательство) - Soundness (interactive proof)

Разумность является собственностью интерактивные системы доказательства это требует, чтобы ни один доказывающий не мог заставить верификатор принять неверное утверждение ${ displaystyle y not in L}$ за исключением небольшой вероятности. Верхняя граница этой вероятности называется ошибкой надежности системы доказательств.

Более формально, для каждого испытателя ${ Displaystyle ({ тильда { mathcal {P}}})}$, и каждый ${ displaystyle y not in L}$:

${ displaystyle Pr [( perp, ({ text {accept}})) получает ({ тильда { mathcal {P}}}) (y) leftrightarrow ({ mathcal {V}}) ( y)] < epsilon.}$

для некоторых ${ displaystyle epsilon ll 1}$До тех пор, пока ошибка достоверности ограничена полиномиальной долей потенциального времени работы проверяющего (т.е. ${ Displaystyle эпсилон Leq 1 / mathrm {poly} (| y |)}$), всегда можно усилить разумность до тех пор, пока погрешность не станет равной незначительная функция относительно времени работы верификатора. Это достигается путем повторения доказательства и принятия, только если все доказательства подтвердятся. После ${ displaystyle ell}$ повторы, ошибка правильности ${ displaystyle epsilon}$ будет сокращено до ${ displaystyle epsilon ^ { ell}}$.^[1]

Смотрите также

• Интерактивная система доказательств
• Доказательство знаний
• Доказательство с нулевым разглашением

Рекомендации

Эта статья о криптографии заглушка. Вы можете помочь Википедии расширяя это.