Score:3

About simulating abort in multiple party computation

cn flag

I am new to the simulated proof and am a little bit confused about the abort in the simulation.

When the real-time protocol abort, I assume that the ideal process should also abort? Does this mean that the simulator would first observe the result of real-time protocol, then decides what to run to reach abortion?

Sorry, it may be a little bit vague in my description; here is a example:

When the simulator first waits the real-time protocol to finish and generate the result, if the result is aborted, then the simulator prepares its message sending to the ideal function, letting the ideal function abort.

Is it something like this way, or I got it wrong?

meshcollider avatar
gb flag
Is there a specific paper you are referring to? Mind linking it?
Score:1
us flag

When the simulator is running, we are in the ideal interaction, and there is no real-world interaction. There are messages that look like protocol messages, but these exist only in the combined "imagination" of the simulator+adversary.

The real-world adversary thinks that it is running an instance of the real-world protocol. The simulator sends fake protocol messages to the adversary, and also observes the protocol messages sent by the adversary. The simulator watches what the adversary sends, and must "explain" what effect these messages would have had on an honest party.

Suppose the adversary sends some protocol message, and the simulator deduces "no matter what input $x$ the real-world honest party had, at this point in the protocol they would output $f(x,y)$". Then the simulator should send $y$ to the ideal functionality, so that the functionality delivers $f(x,y)$ to the ideal-world honest party. I.e., the real and ideal world match. If the simulator deduces "at this point in the protocol the real-world honest party would abort", then the simulator should instruct the ideal functionality to abort.

mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.