Puncte:1

Proprietățile grupurilor de împerechere biliniare?

drapel mp

Am dat peste această corectitudine a unei scheme:

$e(g^r, H(id)^x) = e(g^x, H(id))^r = e(g^x, H(id))^r$

și le este greu să urmărească proprietățile împerecherii biliniare. Știe cineva „regulile” pentru astfel de perechi sau unde să citească despre ele?

Din câte am aflat, știu că:

$e(g^{xy}, g) = e(g,g)^{xy} = e(g^x, g^y)$

dar aceste proprietăți fac naveta și cum este corectă schema de corectitudine de mai sus?

Morrolan avatar
drapel ng
Al doilea și al treilea termeni din egalitatea dovezii de corectitudine pe care o citați sunt identici - bănuiesc că ați putea avea o greșeală de tipar acolo.
Puncte:3
drapel ng

În criptografia bazată pe împerechere, perechile biliniare sunt de obicei definite după cum urmează:

Lăsa $G_1, G_2, G$ să fie grupuri ciclice finite de același ordin. O pereche biliniară este atunci o hartă $e : G_1 \times G_2 \rightarrow G$ care este biliniar, adică: $$ e(p^a, q^b) = e(p, q)^{ab} $$

Este adesea, de asemenea, subînțeles sau solicitat că:

  • $e$ nu este împerecherea trivială care mapează toate intrările la elementul neutru al $G$
  • Avem o modalitate de a calcula $e$ 'eficient'
  • dacă $g_1$ este un generator de $G_1$, și $g_2$ de $G_2$, atunci $e(g_1, g_2)$ este un generator de $G$
  • În unele contexte $G_1 = G_2$ este folosit, adică $e$ va fi de forma $e : G_1 \times G_1 \Rightarrow G$.

Astfel, informal, o pereche biliniară permite „extragerea” exponenților (presupunând notația multiplicativă) intrărilor sale.

Dovada corectitudinii pe care o citați este simplă, atunci: $$ \begin{align} e(g^r,H(id)^x) & = e(g, H(id))^{rx} & \text{ bilinearity} \ & = e(g, H(id))^{xr} & \text{ comutativitate} \ & = e(g^x, H(id)^r) & \text{ bilinearity} \end{align} $$

Puteți găsi o introducere decentă (găsesc) în criptografia bazată pe perechi în aceste diapozitive de prelegere de John Bethencourt.

Aman Grewal avatar
drapel gb
A spune $G_1 = G_2$ ar putea fi confuz pentru unii oameni care încep. În majoritatea implementărilor, acestea sunt tratate ca grupuri diferite.
Morrolan avatar
drapel ng
@AmanGrewal Ah, e interesant.Cea mai mare parte a expunerii mele a fost prin câteva lucrări în setarea pragului de acum câțiva ani, care utilizau de obicei $G_1 = G_2$. Am reformulat ușor cele de mai sus, pentru a fi mai puțin absolut în acest sens.
Aman Grewal avatar
drapel gb
Din experiența mea, utilizați perechi în care $G_1, G_2 \subset G$.Împerecherea ar putea fi bine definită pe toate $G \times G$, dar bibliotecile implementează doar părțile utile (pentru rapiditate sau ușurință de hashing în curbă).
Rory avatar
drapel mp
Multumesc @Morrolan !!

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.