Puncte:0

„Argumente NIZK pentru programele de aritmetică pătratică” din „[Groth16] Pe dimensiunea argumentelor neinteractive bazate pe împerechere”

drapel in

Mă întreb despre argumentul CRS al NIZK.

cred ca [A]$_1$, [B]$_2$, [C]$_1$ se calculează folosind CRS. În loc să calculăm mai întâi A, B, C și apoi să calculăm [A]$_1$, [C]$_1$, [B]$_2$.

  1. Pot să știu dacă acest lucru este corect?

Dacă este corect, pentru a calcula [C]$_1$, cred ca [B]$_1$ este de asemenea necesar.

  1. Este corect că trebuie să calculăm ambele [B]$_1$ și [B]$_2$?

Și am marcat părțile curioase cu culoare roșie. Partea este în sigma_V (șirul de referință al verificatorului).

  1. De ce au nevoie verificatorii $[1]_1$ și $[1]_2$? Mă întreb ce ecuație folosește $[1]_1$ și $[1]_2$.

Se precizează că dimensiunea CRS poate fi schimbată de la m+2n $\mathbb G_1$, n $\mathbb G_2$ la 3m+n $\mathbb G_1$ m $\mathbb G_2$ folosind elemente precalculate. The w polinomul nu pare a fi luat în considerare. În lucrare, 3m este pentru $[u_i(x)]_1$, $[v_i(x)]_1$, $[v_i(x)]_2$.

  1. Pot să știu de ce $[w_i(x)]_1$, $[w_i(x)]_2$, nu se adauga?

introduceți descrierea imaginii aici

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.