Puncte:2

GL-SPHF și criptare martori

drapel cn

Recent am dat peste această hârtie fascinantă, și se întreba dacă GL-SPHF pe care îl construiește hârtie poate fi folosit pentru a crea o schemă de criptare martor pentru programele de ramificare algebrică. Adică dacă Alice ar putea deriva parametrii corespunzători $\Gamma$ și $\theta$ pentru GL-SPHF pentru un anumit program de ramificare algebrică, atunci ea ar putea deriva o cheie simetrică din hash $H$ calculat din cheia de hashing privată $hk$, criptați unele date, apoi trimiteți datele criptate împreună cu cheia de hashing publică $hp$ și parametri publici pentru Bob. Acum, Bob va putea deriva cheia simetrică doar dacă cunoaște un martor potrivit.

Aplicată la programele de ramificare algebrică, aceasta pare a fi o tehnică utilă, dar o aplicație pentru criptarea martorilor nu este menționată în lucrare. Ce îmi lipsește? Este schema de mai sus nesigură din anumite motive? Sau nu sunt ABP-urile atât de puternice pe cât am înțeles? Sau altceva?

Mulțumesc și scuze dacă răspunsul este evident.

Puncte:1
drapel cn

Da, puteți obține o criptare martor pentru o limbă legată de ABP din acest rezultat - în general, este ușor să construiți criptarea martorilor pentru o limbă $\mathcal{L}$ dat un SPHF pentru aceeași limbă.

Cu toate acestea, trebuie să fim atenți la tipul de limbi despre care vorbim. Lucrarea vizează în mod special limbile commit-and-prove. În contextul ABP, aceasta înseamnă că putem obține o criptare martor pentru limbile de formă

$\mathcal{L}_F = \{(c_1, \cdots, c_n) \;:\; c_1 = \mathsf{Com}(x_1) \wedge \cdots \wedge c_n = \mathsf{Com}(x_n) \wedge F(x_1, \cdots, x_n) = 1\},$

Unde $\mathsf{Com}$ este o schemă de angajament și $F$ este un program de ramificare aritmetică (alegerea constantei $1$ în egalitate este arbitrară). Aceasta este o familie de limbi relativ utilă și generală, dar este totuși o familie restrânsă.

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.