Điểm:1

Simulator vs Prover -- Zero Knowledge Property

lá cờ tv

Tôi biết chủ đề này đã được thảo luận nhiều lần trên nền tảng này; tuy nhiên, tôi vẫn thiếu trực giác đằng sau thuộc tính không kiến ​​thức của hệ thống bằng chứng.

Tôi hiểu rằng mục tiêu của trình mô phỏng là mô phỏng bản ghi thực giữa người xác minh và người xác minh. Vì vậy, nếu trình giả lập có thể tạo bản ghi mà không có quyền truy cập vào nhân chứng mà người xác minh không thể phân biệt được với bằng chứng thực (nó có thể đánh lừa người xác minh), thì chúng tôi nói rằng bằng chứng là không có kiến ​​​​thức.

Đây là những gì không có ý nghĩa.

Người xác minh sử dụng bằng chứng thực để xác minh chứ không phải bằng chứng do trình mô phỏng tạo ra. Nếu người mô phỏng có thể đánh lừa, thì nó có liên quan như thế nào với bằng chứng thực? Trình giả lập có một số loại thông tin bổ sung mà người tục ngữ thực sự không có không?

Chỉnh sửa

Với nhận xét tôi nhận được, sự hiểu biết của tôi thay đổi một chút; Tôi sẽ đánh giá cao nó nếu bất cứ ai có thể cho tôi biết nó đúng. Trực giác là người tục ngữ có thể đã tạo ra bản chép lời này bằng cách sử dụng trình giả lập (kết quả là, không có gì có thể được trích xuất từ ​​bản chép lại do mô phỏng tạo ra). Tuy nhiên, chúng tôi không biết liệu bằng chứng có thực sự chứng minh kiến ​​thức của nhân chứng hay không, đó là thuộc tính "Kiến thức vững chắc". Tôi có đúng không?

Điểm:2
lá cờ us

Nói tóm lại, trình mô phỏng có thêm sức mạnh mà trình giả lập thực sự không có.

Giả sử Alice muốn chứng tỏ với tôi rằng cô ấy là một xạ thủ giỏi. Tôi vẽ một mục tiêu ở bên cạnh nhà kho, và bắt cô ấy đứng cách đó 100m và bắn nó. Cô ấy bắn trúng tâm đen của mục tiêu, và tôi tin chắc rằng cô ấy là một xạ thủ cừ khôi.

"Bản ghi" của giao thức này là bản ghi vĩnh viễn mà tôi lấy đi từ sự tương tác.Trong trường hợp này, đó là mặt của một nhà kho có mục tiêu được vẽ trên đó và một lỗ đạn ở mắt đen của mục tiêu.

"Giao thức" này không có kiến ​​​​thức vì tôi có thể tự tạo bảng điểm. Tôi có thể bắn một cái lỗ ở bên cạnh nhà kho từ cự ly gần, rồi vẽ một mục tiêu ở chính giữa cái lỗ đó! Khi tôi đang làm điều này ("mô phỏng" một bản ghi), tôi có nhiều quyền lực hơn Alice đã làm trong quá trình giao thức. Tôi có thể tạo các phần của bản ghi theo một thứ tự khác. Tôi có thể bắn vào chuồng từ cự ly gần hơn cô ấy.

Trong các giao thức mật mã, trình mô phỏng luôn có nhiều quyền lực hơn trình chứng minh thực. Đôi khi trình mô phỏng có thể tạo các phần của bản ghi theo một thứ tự khác. Đôi khi trình mô phỏng có thể "tua ngược thời gian" -- vì vậy người xác minh đặt câu hỏi, sau đó chúng tôi tua lại thời gian và bắt đầu lại bản ghi, biết người xác minh sẽ hỏi gì. Đôi khi trình giả lập thực sự có nhiều sức mạnh tính toán hơn so với trình chứng minh thực. Đôi khi trình mô phỏng có một số thông tin bổ sung mà người tục ngữ thực sự không có (như một cái bẫy đối với một số thông tin tham khảo phổ biến được sử dụng trong bằng chứng).

lá cờ tv
Tôi đánh giá cao câu trả lời nhưng tôi không biết nó trả lời những câu hỏi khác mà tôi có như thế nào. Điều này chỉ cho thấy một ví dụ về cách trình mô phỏng có thêm sức mạnh. Trong thực tế, thành thật mà nói, nó làm tôi bối rối. Alice là Prover, bạn là Verifier... Bạn cũng là người mô phỏng. Tại sao Trình xác minh lại tự tạo bằng chứng giả (bạn bắn mục tiêu và vẽ tranh ???)
lá cờ us
Trình mô phỏng là một cách để chính thức hóa ý tưởng sau: người xác minh không học được gì vì "họ có thể tự tạo bản ghi."
lá cờ tv
Tôi đã cập nhật câu hỏi của mình theo câu trả lời của bạn
Điểm:1
lá cờ sd

Vai trò quan trọng trong việc chứng minh rằng một hệ thống tương tác có thuộc tính không có kiến ​​thức được thực hiện bởi Trình mô phỏng (S), mô phỏng P nhưng không có quyền truy cập vào nhân chứng. Đóng góp của anh ấy như sau: V tương tác với S. Đến một lúc nào đó, V sẽ đặt S vào 'thế khó' khi không thể trả lời một câu hỏi, vì anh ấy không có quyền tiếp cận nhân chứng. Trong trường hợp này, chúng tôi đưa phim V về trạng thái trước câu hỏi khó chịu (tua lại) và chạy giao thức từ thời điểm đó trở đi. Nếu V (với các lần tua lại liên tục) cuối cùng cũng chấp nhận bằng chứng của S, thì giao thức có trạng thái không biết, vì V không thể phân biệt giữa P biết nhân chứng và S giả vờ. Nghĩa là, V không xuất bất kỳ thông tin bổ sung nào từ giao thức (vì trong trường hợp thứ hai, không có thông tin nào để xuất).

Trình mô phỏng không có nhân chứng. Mô phỏng bằng chứng thay cho P Tương tác với V Ta không phân biệt được tương tác â¨S, Vâ© và â¨P, Vâ© Chúng tôi cũng cho phép tua lại: Nếu một lúc nào đó V 'đòi hỏi' điều gì đó mà anh ấy không thể trả lời S rồi dừng - tua lại Không biết nếu V tại một thời điểm nào đó chấp nhận (ngay cả với tua lại) Vì sao: Không phân biệt được P (có nhân chứng) với S (không có sẵn) Miễn là S vẫn là PPT Cụ thể: A V trích xuất thông tin từ P thì sẽ trích xuất thông tin tương tự từ S (không có gì để xuất)

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