Здесь есть тонкое различие, которое необходимо сделать явным. Мы должны рассмотреть две разновидности определений безопасности:
«Безопасность с прерыванием»: Коррумпированной стороне разрешено видеть их результаты, а затем решать, разрешить ли честной стороне получать их результаты. (Я описываю то, что происходит в идеальном мире — протокол безопасен, если каждая атака на протокол может иметь тот же эффект, что и любая атака в идеальном мире.)
Идеальная функциональность для «подбрасывания монеты с прерыванием» делает следующее:
- подбросить монету $c \получает\{0,1\}$;
- дайте $с$ противнику;
- подожди немного $д$ ($д$ = «доставить») от противника
- если $д=0$, затем дайте вывод $\бот$ честным сторонам; иначе если $д=1$ затем дайте вывод $с$ к честным сторонам.
«Гарантированный выход»: Коррумпированная сторона не может помешать честной стороне получить результат.
Идеальная функциональность для «подбрасывания монеты с гарантированным выходом» делает следующее:
- подбросить монету $c \получает\{0,1\}$;
- дайте $с$ всем сторонам;
Описанный вами протокол не говорит, что должно произойти, если коррумпированная Алиса не откроет свое обязательство к удовлетворению Боба. Если мы скажем Бобу прервать в этом случае, мы действительно получим протокол, который обеспечивает безопасность с прерыванием. Так что в этом смысле ваша интуиция верна.
Но какой бы протокол вы ни добавляли, он не обеспечит безопасность с гарантированным выходом.
Именно этот вопрос обсуждается в бумага что вы упомянули.
Ради вашего вопроса мы определяем «наивный» протокол как протокол со смещением 1/2, то есть противник всегда может с уверенностью добиться определенного результата.
Вы описали протокол в своем вопросе и спрашиваете, наивен ли он согласно этому определению.
Однако ваш протокол недоопределен --- он не описывает, что должен делать честный Боб, если Алиса не сможет (или не решит) открыть свое обязательство.
Поэтому невозможно ответить, является ли этот протокол наивным в соответствии с этим определением.
На странице 3 этой статьи они рассматривают описанный вами протокол, но со следующим добавленным условием: «Если Алиса прервет или не откроет обязательство правильно, тогда Боб должен выбрать свой собственный случайный бит и использовать этот бит в качестве своего вывода».
Они показывают, как получившийся протокол имеет смещение 1/4, а также утверждают, что 1/4 является лучшим смещением атаки для этого полученного протокола.
Таким образом, результирующий протокол не является наивным в соответствии с нашим определением.