Điểm:0

ZKP nhưng người xác minh biết tất cả các bí mật có thể

lá cờ in

Có triển khai ZKP (tốt nhất là đơn giản) trong đó người xác minh đã biết tập hợp các bí mật có thể không? Đặc biệt nếu tập hợp rất nhỏ (thậm chí chỉ có 2 hoặc 3 tùy chọn). Người chứng minh phải thuyết phục người xác minh rằng cô ấy sở hữu một trong những bí mật, nhưng không phải bí mật nào.

István András Seres avatar
lá cờ cf
Chính xác tuyên bố bạn muốn chứng minh trong kiến ​​​​thức bằng không là gì?
SEJPM avatar
lá cờ us
Câu hỏi hơi khó hiểu với tôi. Thông thường với ZKP, bạn chứng minh rằng bạn biết một số $w$ cho một số $x$ công khai sao cho một số hàm $F(x,w)$ trả về giá trị đúng. Có bao nhiêu $w$ hợp lệ như vậy cho mỗi $x$ lên tới $F$ và có thể thấp tới $1$. Ngoài ra còn có nhiều biến thể tổng hợp khác có thể là những gì bạn muốn khi bạn chứng minh rằng bạn biết _one_ $w$ cho danh sách $x_i$ sao cho $\tồn tại i: F(x_i,w)=1$.
homamo2050 avatar
lá cờ in
Nói một cách đơn giản, trình xác minh biết một bộ bí mật, giả sử $\{ 123, 456 \}$. Người tục ngữ muốn chứng minh rằng cô ấy biết (ít nhất) một phần tử từ tập hợp đó, mà không tiết lộ phần tử nào. Làm thế nào tôi có thể cải thiện câu hỏi?
Điểm:1
lá cờ in

Tuyên bố để chứng minh có thể giống như, bí mật đã cam kết là một trong số các bí mật đã cam kết trước đó. Có thể "HOẶC giao thức" sẽ phù hợp với một kịch bản như vậy.

Geoffroy Couteau avatar
lá cờ cn
trừ khi tôi hiểu sai câu hỏi, "bí mật" ở đây cũng bao gồm tính ngẫu nhiên của cam kết. Theo hiểu biết của tôi, những gì OP yêu cầu là về bằng chứng với một số ít nhân chứng có thể - điều này luôn tầm thường
Vadym Fedyukovych avatar
lá cờ in
Đây cũng là sự hiểu biết của tôi: một tập hợp nhỏ các bí mật và giao thức sigma được khởi tạo cho từng bí mật/nhân chứng như vậy, được kết nối HOẶC theo bài báo của Cramer-Damgard-Schoenmakers.
Geoffroy Couteau avatar
lá cờ cn
ha, nhận xét của tôi không đúng rồi, bây giờ tôi đã hiểu câu hỏi của OP với sự làm rõ trong nhận xét của họ và tôi nghĩ câu trả lời của bạn là chính xác

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