Рейтинг:3

О моделировании прерывания в многосторонних вычислениях

флаг cn

Я новичок в симуляции доказательства и немного смущен прерыванием симуляции.

Когда прерывается протокол реального времени, я предполагаю, что идеальный процесс также должен прерваться? Означает ли это, что симулятор сначала наблюдает за результатом протокола в реальном времени, а затем решает, что запустить, чтобы добиться аборта?

Извините, мое описание может быть немного расплывчатым; вот пример:

Когда симулятор сначала ожидает завершения протокола реального времени и генерации результата, если результат прерывается, тогда симулятор подготавливает отправку своего сообщения идеальной функции, позволяя прервать идеальную функцию.

Это как-то так, или я ошибся?

meshcollider avatar
флаг gb
Вы имеете в виду какой-то конкретный документ? Не могли бы связать это?
Рейтинг:1
флаг us

Когда работает симулятор, мы находимся в идеальном взаимодействии, а реального взаимодействия нет. Есть сообщения, которые выглядят как сообщения протокола, но они существуют только в объединенном «воображении» симулятора+противника.

Злоумышленник в реальном мире думает, что он использует экземпляр реального протокола. Симулятор отправляет злоумышленнику поддельные протокольные сообщения, а также наблюдает за протокольными сообщениями, отправленными противником. Симулятор наблюдает за тем, что отправляет противник, и должен «объяснять», какой эффект вызывают эти сообщения. мог бы иметь на честной вечеринке.

Предположим, противник отправляет какое-то протокольное сообщение, а симулятор делает вывод: «независимо от того, какой ввод $х$ у честной стороны в реальном мире, в этот момент в протоколе они должны были вывести $ф(х,у)$". Затем симулятор должен отправить $у$ к идеальной функциональности, чтобы функциональность обеспечивала $ф(х,у)$ к честной партии идеального мира. То есть реальный и идеальный мир совпадают. Если симулятор делает вывод, что «на этом этапе протокола честная сторона в реальном мире прервет», то симулятор должен дать команду идеальной функциональности прервать.

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

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