Puncte:1

De ce angajamentul Kate și modelul grupului algebric sunt folosite foarte mult în sistemul de proba zk-SNARK din 2019ï¼

drapel lb

Sunt implicat în cercetarea zk-SNARK-urilor. După ce am citit câteva articole despre zk-SNARK-uri, îmi dau seama că Angajamentul Kate si Model algebric al grupului este folosit foarte mult din 2019. Se folosesc in Sonic, Plonk, Marlin și etc. Majoritatea acestor lucrări sunt despre „zk-SNARK-uri universale și actualizabile”. Vreau să știu dacă angajamentul Kate, AGM și „zk-SNARK-urile universale și actualizabile” au un fel de conexiune și ce a inspirat angajamentul Kate, AGM-urile să fie folosite mult în „zk-SNARK-urile universale și actualizabile”?

Sper că cineva mă poate ajuta să rezolv această problemă, mulțumesc anticipat!

Bean Guy avatar
drapel in
Aceste zk-SNARK-uri sunt universale și actualizabile pentru că Kate este. Mai precis, șirul de referință structurat (srs) utilizat în angajamentul Kate tinde să fie angajamentele puterilor unui număr secret $s$ până la un anumit exponent $n$. Atâta timp cât circuitul tău nu depășește $n$ porți, poți continua să folosești aceleași srs. Mai mult, oricând, puteți schimba acest srs cu oricare altul (de aceea este actualizabil).
张海军 avatar
drapel lb
Cred că ai dreptate cu Kate Commitment. Ce zici de AGA? De ce este folosit mult din 2019? Aproape toate aceste lucrări despre zk-SNARK-uri.
Bean Guy avatar
drapel in
Acest lucru se datorează unui motiv mai teoretic. AGM este folosit pentru că este un model de securitate în care este mult mai prietenos să presupunem Q-Discrete Logarithm Assumption (care este necesar pentru a menține sistemul consistent).
张海军 avatar
drapel lb
Potrivit lui Plonk, „verificarea împerecherii reale” înseamnă verificarea relației elementului în Gi, iar „verificarea împerecherii ideale” înseamnă verificarea relației elementelor relevante în Fp. Ipoteza q-Dlog este utilizată pentru a demonstra că diferența de probabilitate dintre aceste două verificări este neglijabilă. Este corect?
drapel us
Ipotezele AGM vs KoE permit jumătate din elementele grupului atât în ​​SRS, cât și în dovadă, deci pentru scalabilitate este cu adevărat util. prima lucrare a AGA a fost publicată în 2017 și cred că oamenii trebuiau uneori să realizeze cât de util este

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.