'Các đối số NIZK cho các chương trình số học bậc hai' của '[Groth16] Về kích thước của các đối số không tương tác dựa trên ghép nối'

Tôi thắc mắc về lập luận CRS của NIZK.

Tôi nghĩ [A]$_1$, [ B ]$_2$, [C]$_1$ được tính bằng CRS. Thay vì tính A, B, C trước rồi mới tính [A]$_1$, [C]$_1$, [ B ]$_2$.

1. Tôi có thể biết nếu điều này là chính xác?

Nếu đúng, để tính [C]$_1$, Tôi nghĩ [B]$_1$ cũng cần thiết.

2. Có đúng không khi chúng ta cần tính cả [B]$_1$ và B]$_2$?

Và tôi đã đánh dấu những phần tò mò bằng màu đỏ. Phần này nằm trong sigma_V (chuỗi tham chiếu của người xác minh).

3. Tại sao người xác minh cần $[1]_1$ và $[1]_2$? Tôi đang tự hỏi phương trình nào sử dụng $[1]_1$ và $[1]_2$.

Nó nói rằng kích thước CRS có thể được thay đổi từ tôi+2N $\mathbb G_1$, N $\mathbb G_2$ đến 3tôi+N $\mathbb G_1$ tôi $\mathbb G_2$ sử dụng các yếu tố được tính toán trước. Các w đa thức dường như không được tính đến. Trong bài báo, 3tôi là cho $[u_i(x)]_1$, $[v_i(x)]_1$, $[v_i(x)]_2$.

4. Tôi có thể biết tại sao $[w_i(x)]_1$, $[w_i(x)]_2$, không được thêm vào?