Puncte:4

Parametri de împerechere biliniare a curbei eliptice pentru nivelul de securitate de 80 de biți

drapel us

Citesc o lucrare bazată pe grupuri de împerechere biliniare cu curbă eliptică. Autorul a definit dimensiunea cheii private, cheii publice etc $|\mathbb{G}_1|, |\mathbb{G}_2|$ și $|\mathbb{G}_T|$.

Pentru nivelul de securitate pe 80 de biți, care sunt dimensiunile $|\mathbb{G}_1|, |\mathbb{G}_2|$ și $|\mathbb{G}_T|$ in bucati? Vreau să calculez dimensiunea reală a cheilor.

Mulțumesc.

Aman Grewal avatar
drapel gb
@DannyNiu, nu e corect. Există atacuri mai puternice asupra grupului țintă ($\mathbb{G}_T$) folosind sita câmpului numeric, așa că trebuie să utilizați o curbă mai mare. Dimensiunile lui $\mathbb{G}_2$ și $\mathbb{G}_T$ pot varia, dar în general (iirc) $\mathbb{G}_2$ are o reprezentare compactă care ia doar de două ori mai mulți biți decât un element în $\mathbb{G}_1$ și $\mathbb{G}_T$ vor lua de 12 ori mai mulți biți decât un element din $\mathbb{G}_1$.
DannyNiu avatar
drapel vu
Cunoștințele mele despre asociere sunt limitate și îmi face plăcere să aflu mai multe despre asta. Luați în considerare să postați un răspuns complet.
Shweta Aggrawal avatar
drapel us
@AmanGrewal, vă rugăm să postați un răspuns complet sau să furnizați referința pentru declarația conform căreia G2 are o reprezentare compactă care necesită doar de două ori mai mulți biți decât un element din G1 și GT va lua de 12 ori mai mulți biți decât un element din G1. Ar fi prea amabil din partea ta,
Aman Grewal avatar
drapel gb
Cunoștințele mele sunt și ele limitate, din păcate. Ar trebui să caut ce dimensiuni potrivite ar fi pentru securitatea pe 80 de biți. 2x și 12x pentru $\mathbb{G}_2$ și $\mathbb{G}_T$ nu sunt reguli stricte.Există și alte valori valide, dar acestea sunt valori comune care se întâmplă să facă o treabă bună echilibrând atacurile în toate cele trei grupuri. Voi găsi referințe și le voi posta în curând.
Puncte:5
drapel gb

Dimensiunea elementului

Atunci când alegeți parametrii curbei eliptice, există multă libertate. Pentru dimensiunea elementelor, cei doi parametri demn de remarcat sunt primii, $p$, și gradul de încorporare, $k$.

Dacă $\mathbb{G}_1$ este o curbă eliptică peste $F_p$,1 atunci $\mathbb{G}_2$ este o curbă eliptică peste $F_{p^k}$, și $\mathbb{G}_T$ este un subgrup de $F_{p^k}$.

Deci elemente de $\mathbb{G}_2$ și $\mathbb{G}_T$ cere $k$ ori cantitatea de stocare ca element al $\mathbb{G}_1$.

Cu toate acestea, toate curbele permit reprezentări compacte ale $\mathbb{G}_2$, folosind răsucirea curbei, astfel încât un element de $\mathbb{G}_2$ poate fi reprezentat printr-un punct pe $E'\stânga(F_{p^\frac{k}{d}}\dreapta)$, Unde $d$ este 2, 3, 4 sau 6. Toate curbele sunt compatibile $d=2$. Curbele utilizate pentru operațiuni criptografice vor suporta mai mari $d$ deoarece costul conversiei între reprezentări este ieftin.

Mărimea cheii și dimensiunea semnăturii

Semnăturile BLS se bazează pe funcția de împerechere $e: \mathbb{G}_1 \times \mathbb{G}_2 \rightarrow \mathbb{G}_T$.

Lăsa $G_1$ fii un generator pentru $\mathbb{G}_1$ și $G_2$ un generator pentru $\mathbb{G}_2$.

Cheia privată, $x$, este doar un număr întreg între $0$ și $|\mathbb{G}_1|$, care este egal cu $|\mathbb{G}_2|$. Cheia publică, $X$, este fie un element al $\mathbb{G}_1$ sau $\mathbb{G}_2$. Pentru a semna un mesaj, mesajul este indexat într-un element al celuilalt grup, înmulțit cu cheia privată și asociat cu generatorul, de exemplu. $\sigma = e(G_1, xH(m))$. Semnatura, $\sigma$, este un element în $\mathbb{G}_T$. Un verificator calculează împerecherea hash-ului mesajului cu cheia publică ca $e(X, H(m))$. Dacă aceasta este egală $\sigma$, atunci semnătura este valabilă.

Alternativ, cantitatea de date transmise poate fi redusă și cantitatea de muncă pe care o face semnatarul poate fi redusă în detrimentul verificatorului care face mai multă muncă. În loc să trimită $\sigma$, semnatarul doar trimite $xH(m)$, iar verificatorul calculează ambele perechi.

Alegerea cheii publice

Cheia publică poate fi fie în $\mathbb{G}_1$ sau $\mathbb{G}_2$. Elemente în $\mathbb{G}_1$ sunt mai mici. Operațiuni în $\mathbb{G}_2$ sunt mai scumpe.

Exemple

Luați BLS12-3812, despre care se spune frecvent că are securitate pe 128 de biți. $p$ este de 381 de biți. Gradul de încorporare, $k$, are 12, făcând $p^k$ au 4569 de biți. Un element în $\mathbb{G}_1$ necesită 382 de biți pentru a reprezenta (381 de biți pentru 1 coordonată plus 1 bit pentru semn). Un element în $\mathbb{G}_2$ este nevoie de 762 de biți pentru a reprezenta, deoarece există o reprezentare compactă a acestuia. Un element în $\mathbb{G}_T$ este nevoie de 4596 de biți pentru a-l reprezenta.

De pe aceeași pagină2, MNT4-298 are aproximativ 77 de biți de securitate. Pentru acea curbă, un element în $\mathbb{G}_1$ ar necesita 299 de biți; în $\mathbb{G}_T$, 1192 biți.


1 Tehnic, $\mathbb{G}_1$ este de asemenea definit peste $F_{p^k}$, dar de atunci $E(F_p)$ este un subgrup de $E(F_{p^k})$, nu prea contează.

2 Aceste numere provin de la https://members.loria.fr/AGuillevic/pairing-friendly-curves/. Există o explicație a unora dintre numele coloanelor de mai jos.

Numele coloanelor

$k$ este gradul de încorporare.
$D$ este discriminant de multiplicare complexă (cred).
$u$ este mai complicat. Nu sunt complet sigur dacă acest lucru este corect. Fiecare dintre aceste familii de curbe (de exemplu, BLS sau BN) se referă $p$, $r$, și altele la un parametru „sămânță”, $u$.
$p$ este dimensiunea caracteristicii câmpului și dimensiunea unui element în $\mathbb{G}_1$.
$r$ este dimensiunea ordinului curbei.
$p^\frac{k}{d}$ este dimensiunea reprezentării compacte a unui element în $\mathbb{G}_2$
$p^k$ este dimensiunea unui element în $\mathbb{G}_T$.

fgrieu avatar
drapel ng
Acest răspuns grozav ar fi și mai util dacă ar explica ce este $r$; și ceea ce definește dimensiunea semnăturii, a cheii publice și a cheii private (naturale) într-o aplicație de referință: semnătura BLS.
Aman Grewal avatar
drapel gb
Pot adăuga dimensiuni de semnătură și alte chestii. Ce vrei să spui prin $r$?
fgrieu avatar
drapel ng
Imi doresc sa fi stiut! Mă refer la lucrul cu o dimensiune în biți în partea dreaptă pentru $p$ în multe tabele de [referința dvs.] (https://members.loria.fr/AGuillevic/pairing-friendly-curves/).
Aman Grewal avatar
drapel gb
Văd. Sunt destul de sigur că aceasta este ordinea curbei, dar voi verifica din nou.
Aman Grewal avatar
drapel gb
S-au adăugat mai multe informații. Tot vreau să verific ce sunt $D$ și $u$. Și vreau să adaug costurile/beneficii ale grupului în care se află cheia publică.
Shweta Aggrawal avatar
drapel us
Se aplică aceste reguli atunci când luăm pereche de tip $G_1\times G_1 \rightarrow G_1$
Aman Grewal avatar
drapel gb
@ShwetaAggrawal, nu, aceasta este pentru perechi de tip 3. Perechile de tip 1 ($\mathbb{G}_1\times\mathbb{G}_1 \to \mathbb{G}_T$) necesită curbe supersingulare, deci un element din $\mathbb{G}_T$ este de două ori mai mare decât un element în $\mathbb{G}_1$. Nu știu ce dimensiuni de cheie sunt necesare pentru a fi sigur.
Shweta Aggrawal avatar
drapel us
@AmanGrewal Mulțumesc.Ar fi prea amabil din partea dvs. dacă puteți cita sursa faptului că dimensiunea unui element din grupul țintă este de două ori mai mare decât un element din G1.
Aman Grewal avatar
drapel gb
Perechi pentru începători de Craig Costello. https://static1.squarespace.com/static/5fdbb09f31d71c1227082339/t/5ff394720493bd28278889c6/1609798774687/PairingsForBeginners.pdf Secțiunile 4.2 și 6.2 sunt cele mai relevante pentru ultima revendicare.

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.