Puncte:4

2 definiții diferite ale solidității speciale

drapel cn

Există 2 definiții diferite ale solidității speciale în literatură:

(1) poate fi găsit în Damgard:

Spunem că un protocol Sigma $\Pi$ satisface o soliditate deosebită, dacă există un extractor PPT $\mathcal{E}$, astfel încât având în vedere orice pereche de transcrieri de acceptare $(com,ch_1,resp_1),(com,ch_2,resp_2)$ cu $ch_1\neq ch_2$, $\mathcal{E}$ se poate recupera $sk$.

(2) poate fi găsit în Katz: Semnături digitale:

$\Pi$ satisface o soliditate deosebită, dacă următoarele sunt neglijabile în $\lambda$ pentru toți adversarii PPT $\mathcal{A}$:

\begin{align} \operatorname{Pr} \stânga[ \begin{matrice}{c} (pk,sk) \gets \mathrm{keygen}(\lambda) \ (com,ch_1,resp_1,ch_2,resp_2) \gets\mathcal{A}(pk) \end{matrice} : \begin{matrice}{c} ch_1\neq ch_2\ \teren\ (com,ch_1,resp_1),(com,ch_2,resp_2) \ \text{amândoi acceptă transcrieri.} \end{matrice} \dreapta] \end{align}

Cred că (1) este strict mai puternic decât (2). Este corect?

ming alex avatar
drapel in
Da, dar mai puțin formalizat decât (2). De fapt, (1) implică noțiunea de dovadă a cunoștințelor, care poate fi considerată ca soliditate deosebită, duo cu cunoștințele pot fi extrase de extractorul PPT.
Mark avatar
drapel ng
Mihir Bellare are [câteva note](https://cseweb.ucsd.edu/~mihir/cse208-Wi20/main.pdf) despre unele dintre definițiile (subtil diferite) diferite din lumea NIZK-urilor care ar putea fi de interes.

Postează un răspuns

Majoritatea oamenilor nu înțeleg că a pune multe întrebări deblochează învățarea și îmbunătățește legătura interpersonală. În studiile lui Alison, de exemplu, deși oamenii își puteau aminti cu exactitate câte întrebări au fost puse în conversațiile lor, ei nu au intuit legătura dintre întrebări și apreciere. În patru studii, în care participanții au fost implicați în conversații ei înșiși sau au citit transcrieri ale conversațiilor altora, oamenii au avut tendința să nu realizeze că întrebarea ar influența – sau ar fi influențat – nivelul de prietenie dintre conversatori.