simulatività in linea retta

Qualcuno conosce qualche buon riferimento per il significato della simulatività in linea retta? Sono attualmente in profondità nel framework Universal Composability (UC) di Canetti, ma non riesco a trovare alcun buon riferimento per il significato della simulatività in linea retta. Qualsiasi aiuto è apprezzato.

cr.crypto-security

— Yasser Sobhdel
fonte

Risposte:

Qui, "retta" è contrastato con "riavvolgimento". Un simulatore è "linea retta" se non "riavvolge" la parte per cui sta eseguendo la simulazione.

Ad esempio, in un protocollo a conoscenza zero, il simulatore di solito riavvolge il "verificatore". In senso "lineare", questo riavvolgimento non avviene.

Ho visto per la prima volta il termine "simulatore di linea retta" nel documento di Rafael Pass ( Sulla deniabililty in Common Reference String e Random Oracle Models. (CRYPTO'03) ) e M.Sc. tesi ( Varianti alternative di prove a conoscenza zero ).

Modifica: ho trovato un documento precedente: Conoscenza zero simultanea: ridurre la necessità di vincoli temporali di Cynthia Dwork e Amit Sahai, che risale al 1998. Per ulteriori indicazioni, vedere il commento di Alon Rosen di seguito.

— MS Dousti
fonte

Non conosco il termine "simulatore di linea retta", ma per me che "linea retta" contrasta con "ramificazione", analogo a logiche temporali tra tempo lineare e tempo di ramificazione e equivalenza di traccia vs equivalenza di bisimulazione (ramificazione). C'è qualcosa in questo?

— Dave Clarke,

Beh, io non la penso così. Ho trovato un altro riferimento conforme alla mia definizione.

— MS Dousti,

La spiegazione di Sadeq è la stessa di qualsiasi contesto in cui ho sentito i termini usati. Ecco alcuni appunti della NYU di una lezione di Adv Crypto dell'anno scorso che trattano l'argomento; in particolare, vedi la rivendicazione 8.

— Daniel Apon,

Suoni deterministici come un possibile sinonimo.

— Dave Clarke,

Gli usi precedenti del concetto di simulatività in linea retta (sebbene possibilmente non in questa terminologia) si possono trovare in: (1) Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali: conoscenza zero azzerabile (estratto esteso). STOC 2000: 235-244 e (2) Ran Canetti, Marc Fischlin: impegni universalmente componibili. CRYPTO 2001: 19-40. L'idea viene fuori nella definizione di UC, perché non è possibile riavvolgere "l'ambiente". È emerso in precedenza in un diverso contesto con conoscenza zero simultanea, in cui un simulatore di riavvolgimento potrebbe incorrere in problemi.

— Alon Rosen,

Non esiste una definizione formale di cosa significhi essere un simulatore di linea retta. È solo un'idea intuitiva che può essere utilizzata per descrivere le cose in modo informale. Sono molto scettico sul fatto che si possa persino definire cosa significhi non riavvolgere una macchina. In effetti, riavvolgere una macchina è di per sé un termine informale! Ciò che intendiamo veramente riavvolgendo una macchina è che possiamo esplorare molti possibili percorsi di esecuzione di una macchina da un dato stato. Gli argomenti formali si basano quindi sul numero di tali esecuzioni che dobbiamo esplorare prima di poter ottenere una botola o altre informazioni di cui abbiamo bisogno per continuare ulteriormente la nostra prova.