Рейтинг:1

ZK: Повторы для снижения вероятности остановки симулятора

флаг gd

Я пытаюсь как самоучка прочитать главу 4 «Основы криптографии» Одеда Голдрейха (чтобы вы могли «настроить» свои ответы, у меня есть инженерное образование).

Если я правильно понимаю, даю идеальный симулятор $S_1$ возможность остановки не проблема, потому что мы можем определить симулятор $S_2$ который повторяется $S_1$ скажем $n$ раз, выводя результат первого не останавливающегося $S_1$ итерация или "фиктивный" результат, если ВСЕ $S_1$ итерации останавливаются. Таким образом, вероятность $S_2$ вывод фиктивного результата можно сколько угодно уменьшать с ростом $n$.

$S_1$ вероятность остановки ограничена сверху $1/2$, но почему? Мне кажется, каждый $S_1$ вероятность остановки $<1$ будет понижен в сторону $0$ по достаточно большому $n$. Более того, симулятор кажется совершенно отличным аргументом от вероятностей полноты/обоснованности, где строгие $1/2$ порог оправдывается правилом большинства, применяемым к этой (другой) стратегии повторений.

И, кстати, есть ли смысл выбирать $S_1$ количество повторений $n$ совпадать с другим числом повторений, необходимых для перехода от слабой полноты/правильности к более сильным? Или числа двух видов итераций взаимно независимы? Я предполагаю, что это сомнение исходит из того, что я смущен тем, что $S_2$ это симулятор для слабого IP, или для более сильного IP...

Спасибо!

Geoffroy Couteau avatar
флаг cn
вы правы, в 1/2 нет ничего конкретного: любая константа, отделенная от 1, подойдет.
Geoffroy Couteau avatar
флаг cn
и нет, ничто не заставляет два $n$ быть одинаковыми, это две разные величины. Суть всегда в том, что «мы можем сделать вероятность нарушения надежности / вероятность неудачи извлечения экспоненциально малой», но повторение интерактивного доказательства и повторное использование симулятора - это разные вещи.
baro77 avatar
флаг gd
Спасибо @GeoffroyCouteau! Поэтому мне интересно, почему
Geoffroy Couteau avatar
флаг cn
Я действительно думаю, что это произвольно. Причина, вероятно, проста: n вызовов симулятора дают вероятность отказа 1/2^n, а мы привыкли оценивать «маленький» с точки зрения 2^(-что-то)

Ответить или комментировать

Большинство людей не понимают, что склонность к познанию нового открывает путь к обучению и улучшает межличностные связи. В исследованиях Элисон, например, хотя люди могли точно вспомнить, сколько вопросов было задано в их разговорах, они не чувствовали интуитивно связи между вопросами и симпатиями. В четырех исследованиях, в которых участники сами участвовали в разговорах или читали стенограммы чужих разговоров, люди, как правило, не осознавали, что задаваемый вопрос повлияет — или повлиял — на уровень дружбы между собеседниками.