Despre simularea abandonului în calculul cu mai multe părți

Sunt nou în ceea ce privește proba simulată și sunt puțin confuz în ceea ce privește anularea în simulare.

Când protocolul în timp real se anulează, presupun că și procesul ideal ar trebui să se anuleze? Înseamnă asta că simulatorul va observa mai întâi rezultatul protocolului în timp real, apoi va decide ce să ruleze pentru a ajunge la avort?

Îmi pare rău, poate fi puțin vag în descrierea mea; iată un exemplu:

Când simulatorul așteaptă pentru prima dată protocolul în timp real să se termine și să genereze rezultatul, dacă rezultatul este anulat, atunci simulatorul își pregătește mesajul trimis către funcția ideală, lăsând funcția ideală să se anuleze.

Este ceva de genul ăsta sau am înțeles greșit?

Când simulatorul rulează, suntem în interacțiunea ideală și nu există interacțiune în lumea reală. Există mesaje care arată ca mesaje de protocol, dar acestea există doar în „imaginația” combinată a simulatorului+adversar.

Adversarul din lumea reală crede că rulează o instanță a protocolului din lumea reală. Simulatorul trimite adversarului mesaje de protocol false și, de asemenea, observă mesajele de protocol trimise de adversar. Simulatorul urmărește ce trimite adversarul și trebuie să „explice” ce efect au aceste mesaje As fi avut la o petrecere cinstită.

Să presupunem că adversarul trimite un mesaj de protocol, iar simulatorul deduce „indiferent de intrare $x$ Partidul cinstit din lumea reală a avut, în acest moment al protocolului pe care l-ar fi scos $f(x,y)$". Atunci simulatorul ar trebui să trimită $y$ la funcționalitatea ideală, astfel încât funcționalitatea să ofere $f(x,y)$ la petrecerea cinstită din lumea ideală. Adică, meciul dintre lumea reală și cea ideală. Dacă simulatorul deduce „în acest moment al protocolului, partea cinstită din lumea reală ar avorta”, atunci simulatorul ar trebui să instruiască funcționalitatea ideală să anuleze.