Điểm:0

zkSNARKs: Thực hiện thiết lập cho Đa thức toán hạng một biến

lá cờ et

Tôi đang đọc phần giải thích về zkSnarks được viết bởi Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf

Câu hỏi của tôi là về Mục 4.6.1

Cài đặt

  • xây dựng đa thức toán hạng tương ứng $l(x)$ với các hệ số tương ứng
  • mẫu ngẫu nhiên $\alpha$$s$
  • đặt khóa chứng minh có mã hóa $l(s)$ và đó là cặp "đã dịch chuyển": $(g^{l(s)}, g^{{\alpha}l(s)})$
  • đặt khóa xác minh: $(g^{\alpha})$

1) Tôi sẽ thực hiện bước đầu tiên của quá trình thiết lập ở trên.

xây dựng đa thức toán hạng tương ứng $l(x)$ với các hệ số tương ứng

Chúng tôi vẫn đang ở phần đó của văn bản nơi tất cả $l(x)$$a$. Chúng tôi vẫn chưa đạt đến 4.6.2 khi họ khám phá trường hợp trong số 3 $l(x)$, 2 là $a$ và cái thứ 3 là $d$.

Vì vậy, nếu tôi tạo 3 điểm có cùng chữ a, nó sẽ giống như thế này

$a * x = r1$
$a * y = r2$
$a * z = r2$

Với những con số thực tế, có thể

$2 * 2 = 4$
$2 * 3 = 6$
$2 * 4 = 8$

Vì vậy, 3 $l$ điểm là $[(1, 2), (2, 2), (3,2)]$

Nếu tôi thực hiện phép nội suy Lagrange trên 3 điểm này, nó sẽ cho tôi $l(x) = 2$.

Nếu thay vào đó, tôi sử dụng $a = 1$, sau đó $l(x)$ thu được từ langrange's sẽ luôn là $l(x) = 1$, tức là lagrange sẽ luôn cho tôi $l(x) = a$

Vì vậy, tôi không thể hiểu làm thế nào để có được một $l$ đa thức trông giống như trong 4.6.1 với $a=1$ & các $l$ đa thức là $x^2 ​​- 3x + 3$. tôi không nói $x^2 ​​- 3x + 3$ không phù hợp với trường hợp - $l = 1$ tại $x \trong {1,2}$ - nó phù hợp với trường hợp, nhưng tôi sẽ không bao giờ nhận được $l$ đa thức trông giống như vậy từ lagrange - Tôi sẽ luôn kết thúc bằng $l(x) = a$.

2) Tiếp theo là bước thứ 3 của quá trình thiết lập - tức là.

đặt khóa chứng minh có mã hóa $l(s)$ và đó là cặp "đã dịch chuyển": $(g^{l(s)}, g^{{\alpha}l(s)})$

Trong tất cả các giao thức của chúng tôi cho đến nay, chúng tôi luôn sử dụng $l(x)$ như một bước trung gian - tức là người tục ngữ không bao giờ tính toán $E(l(x=s))$ & đưa nó cho người xác minh. Anh ấy luôn sử dụng $l(x)$ để xây dựng $h(x)$ - I E $h(x) = \frac {l(x) * r(x) - o(x)}{t(x)}$

Vì vậy, tôi hơi bối rối bởi bước thiết lập này ở đây? Có phải người tục ngữ hiện đang trao Mã hóa nội dung trung gian ($l(x)$) để xác minh thay vì $E(h)$? - người xác minh chỉ cần $E(h)$ & $E(p)$ & anh ấy xác minh bằng chứng bằng cách kiểm tra $E(p) = E(h)^t$ - vì vậy tôi không rõ ràng về cách cung cấp $(g^{l(s)}, g^{{\alpha}l(s)})$ phù hợp để đạt được bước cuối cùng này?

Điểm:1
lá cờ ru

Đối với việc xây dựng đa thức, thay vì sử dụng Lagrange, hãy bắt đầu bằng cách xem xét một đa thức không tầm thường bằng 0 tại các điểm đã cho, ví dụ: $x=1$, $x=2$$x=3$. Sự lựa chọn tự nhiên là $(x-1)(x-2)(x-3)=x^3-6x^2+11x-6$. Chúng tôi chuyển đổi điều này thành một đa thức ước tính thành 1 tại ba điểm bằng cách thêm 1 tức là $x^3-6x^2+11x-5$. Sau đó chúng ta có thể nhân số này để nhận bất kỳ giá trị nào $a$. Tất nhiên chúng ta có thể chỉ cần thêm $a$ đến đa thức ban đầu của chúng tôi.

Đối với việc truyền thông tin, nhiều dữ kiện cần được xác minh trong một bằng chứng hoạt động, chẳng hạn như được mô tả trong phần 4.4 và do đó, cần có nhiều giá trị. Như chúng ta thấy trong phần 4.4, phải thực hiện bốn kiểm tra và phải cung cấp tổng cộng bảy đầu vào cho các kiểm tra này ngoài các giá trị $g$$g^\alpha$.

lá cờ et
Cám ơn rất nhiều

Đăng câu trả lời

Hầu hết mọi người không hiểu rằng việc đặt nhiều câu hỏi sẽ mở ra cơ hội học hỏi và cải thiện mối quan hệ giữa các cá nhân. Ví dụ, trong các nghiên cứu của Alison, mặc dù mọi người có thể nhớ chính xác có bao nhiêu câu hỏi đã được đặt ra trong các cuộc trò chuyện của họ, nhưng họ không trực giác nhận ra mối liên hệ giữa câu hỏi và sự yêu thích. Qua bốn nghiên cứu, trong đó những người tham gia tự tham gia vào các cuộc trò chuyện hoặc đọc bản ghi lại các cuộc trò chuyện của người khác, mọi người có xu hướng không nhận ra rằng việc đặt câu hỏi sẽ ảnh hưởng—hoặc đã ảnh hưởng—mức độ thân thiện giữa những người đối thoại.