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

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

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

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

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

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

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

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

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