Рейтинг:0

Почему EUF-CMA без проверочного оракула не эквивалентен EUF-CMA с проверочным оракулом?

флаг lk

В книге мы говорили о том, что sEUF-CMA-secure с проверочным оракулом эквивалентен sEUF-CMA-secure без проверочного оракула. Идея доказательства проста. Одно направление тривиально. Другое направление подтверждается этой идеей. Для каждого злоумышленника в sEUF-CMA-vq с максимальным количеством запросов q-Verify мы можем просто угадать, какой запрос Verify будет успешным для злоумышленника EUF-CMA-vq. Таким образом, мы можем смоделировать верифицирующий оракул, всегда отвечая Verify(m,t) = 0 на каждый запрос Verify, кроме последнего j-го запроса, который, надеюсь, является нашим допустимым тегом. Почему мы не можем рассуждать точно так же для EUF-CMA?

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

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