Tại sao Cam kết Kate và Mô hình Nhóm Đại số được sử dụng nhiều trong hệ thống chứng minh zk-SNARKs kể từ năm 2019ï¼

张海军

14:12, 13/02/2023

Tôi đang tham gia nghiên cứu về zk-SNARK. Sau khi tôi đọc một số bài báo về zk-SNARK, tôi nhận ra rằng Kate cam kết và Mô hình nhóm đại số được sử dụng nhiều từ năm 2019. Chúng được sử dụng trong âm thanh, Plonk, cá cờ và v.v. Hầu hết các bài báo này đều nói về "zk-SNARK phổ biến và có thể cập nhật". Tôi muốn biết liệu Cam kết Kate, AGM và "zk-SNARK phổ biến và có thể cập nhật" có mối liên hệ nào đó hay không và điều gì đã truyền cảm hứng cho Cam kết Kate, AGM được sử dụng nhiều trong "zk-SNARK phổ biến và có thể cập nhật"?

Hy vọng ai đó có thể giúp tôi giải quyết vấn đề này, cảm ơn bạn trước!

0 + 0

zero-kiến thức-bằng chứng

cam kết

càu nhàu

Bean Guy

15:09, 13/02/2023

Các zk-SNARK này là phổ biến và có thể cập nhật được vì Kate là như vậy. Chính xác hơn, chuỗi tham chiếu có cấu trúc (srs) được sử dụng trong cam kết Kate có xu hướng là các cam kết lũy thừa của một số bí mật $s$ lên tới số mũ $n$ nào đó. Miễn là mạch của bạn không vượt quá $n$ cổng, bạn có thể tiếp tục sử dụng cùng một srs. Hơn nữa, bất cứ lúc nào, bạn có thể thay đổi srs này bằng bất kỳ srs nào khác (đây là lý do tại sao nó có thể cập nhật được).

Hồi đáp

张海军

03:58, 14/02/2023

Tôi nghĩ bạn nói đúng về Cam kết của Kate. Còn ĐHĐCĐ thì sao? Tại sao nó được sử dụng nhiều từ năm 2019? Hầu như tất cả các bài báo này về zk-SNARK.

Hồi đáp

Bean Guy

05:49, 14/02/2023

Điều này là do một lý do lý thuyết hơn. AGM được sử dụng vì đây là một mô hình bảo mật trong đó việc giả định Giả định logarit rời rạc Q (cần thiết để giữ cho hệ thống nhất quán) sẽ thân thiện hơn nhiều.

Hồi đáp

张海军

12:04, 19/02/2023

Theo Plonk, âreal pairing checkâ có nghĩa là kiểm tra mối quan hệ phần tử trong Gi, và âideal pairing checkâ có nghĩa là kiểm tra mối quan hệ phần tử có liên quan trong Fp. Giả định q-Dlog được sử dụng để chứng minh khoảng cách xác suất giữa hai lần kiểm tra này là không đáng kể. Đúng không?

Hồi đáp

AntonioFa

10:43, 22/02/2023

Các giả định của AGM so với KoE cho phép một nửa số thành phần nhóm trong cả SRS và bằng chứng, do đó, đối với khả năng mở rộng, nó thực sự hữu ích. bài báo đầu tiên của AGM được xuất bản vào năm 2017 và tôi đoán đôi khi mọi người cần nhận ra nó hữu ích như thế nào

Hồi đáp

Phan Văn Trường

Câu hỏi này là trong các ngôn ngữ khác:

EN: Why the Kate Commitment and the Algebraic Group Model is used a lot in zk-SNARKs proving system since 2019？

TH: ทำไม Kate Commitment และ Algebraic Group Model จึงถูกนำมาใช้มากในระบบพิสูจน์ zk-SNARKs ตั้งแต่ปี 2019ï¼

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

RU: Почему Kate Commitment и модель алгебраической группы часто используются в системе доказательства zk-SNARKs с 2019 года?

VI: Tại sao Cam kết Kate và Mô hình Nhóm Đại số được sử dụng nhiều trong hệ thống chứng minh zk-SNARKs kể từ năm 2019ï¼

Đă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.