înregistrare Logare
Puncte:1
Chenghong avatar Crypto

Dovada zero cunoștințe a valorii angajate

drapel jp
Chenghong

Am în vedere următoarele întrebări și aș aprecia orice ajutor.

Formularea problemei:

Să presupunem că Alice deține o valoare secretă $x$ și există o funcție publică predicată booleană $\texttt{Pred}$ care se aplică la $x$, $\texttt{Pred}: x \rightarrow \{0,1\}$. Un exemplu de funcție predicat poate fi dacă intrarea $x$ este într-un anumit interval sau nu.

Acum Alice calculează $y\gets\texttt{Pred}(x)$, dar în loc să publice $y$, publică criptarea $y$, $\texttt{Enc(y)}$ sau angajați-vă la această valoare $\texttt{comm}_y$. Este posibil ca Alice să demonstreze că valoarea criptată sau valoarea angajată este calculată corect prin evaluarea $\texttt{Pred}$ peste $x$ fără să dezvăluie $x$ și $y$?

(Vă rugăm să faceți ipoteze suplimentare dacă este necesar pentru a rezolva această problemă).

66
1 + 0
Puncte:0
Ievgeni avatar Crypto
drapel cn
Ievgeni

Da, este posibil, dar trebuie să găsiți ecuații $E_1, E_2$ care vă permit să verificați: $$\texttt{Enc}(y)=c \iff E_1(y, c) $$ $$\texttt{Pred}(x) = y \iff E_2 (x,y) $$

Apoi trebuie să găsiți un sistem de dovezi cu cunoștințe zero care vă autorizează să demonstrați ecuații precum $E_1, E_2$. De exemplu, dacă aceste ecuații sunt într-un context de grup biliniar, atunci Groth-Sahai se potrivește perfect: https://eprint.iacr.org/2007/155

Sau daca $E_1$ și $E_2$ sunt circuite, puteți privi așa: https://eprint.iacr.org/2017/872.pdf

ps : În cazul tău, pentru că, nu există deloc informații publice despre x; Pare ușor să înșeli cu un fals $x$, dar presupun că te-ai gândit deja la asta.

0 + 2
Chenghong avatar
drapel jp
Chenghong
Bună, acest lucru este foarte util. Pot să interpretez acest lucru deoarece va funcționa și pentru schemele de angajament. De exemplu, să presupunem $y=f(x)$ și vor exista angajamente $com_x$ și $com_y$, apoi pot demonstra (fără a dezvălui x și y) că valoarea angajată a $com_y$ este calculată prin aplicarea $f()$ peste valoarea angajată a lui $com_x$?
0
Răspunde
Ievgeni avatar
drapel cn
Ievgeni
Angajamentele fac parte din dovadă, astfel încât răspunsul la întrebarea dumneavoastră este „da pentru cineva care cunoaște caracterul aleatoriu al angajamentelor”.
0
Răspunde
drapel romania
SEF 777
întrebarea această in alte limbi:

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.