Điểm:2

Sự khác biệt giữa sơ đồ xác thực và sơ đồ nhận dạng trong bằng chứng ZK?

lá cờ in

CHỈNH SỬA: Tôi muốn chỉ định những gì tôi biết về bảo mật chương trình:

  • Lược đồ xác thực: P có thể chứng minh V anh ta là P và không ai khác có thể chứng minh V rằng họ là P.
  • Sơ đồ nhận dạng: P có thể chứng minh V anh ta là P, và V không thể chứng minh với bất kỳ ai khác rằng anh ta là P.
  • Sơ đồ chữ ký: P có thể chứng minh V anh ta là P, và V thậm chí không thể chứng minh với chính mình rằng anh ta là P.

https://link.springer.com/content/pdf/10.1007%2F3-540-47721-7_12.pdf

Tôi không biết đâu là sơ đồ mạnh nhất giữa Xác thực và Nhận dạng.

Tôi biết rằng lược đồ chữ ký là mức bảo mật mạnh nhất và hãy sửa lỗi cho tôi nếu tôi sai nhưng về cơ bản, đó chỉ là một lược đồ nhận dạng mà bạn cũng có thể ký một tin nhắn nhờ các chức năng một chiều trong NIZK (nói rất kém và Tóm tắt).

Bây giờ, điều tôi không biết là liệu trong bất kỳ sơ đồ ZK nào, bạn luôn muốn xác minh thuộc tính "Bằng chứng kiến ​​thức" hay không. Tôi cho rằng câu trả lời là có, vì (tôi nghĩ) trong tất cả chúng, bạn phải đảm bảo rằng người dùng chính là người mà anh ta nói... nhưng nếu nó thực sự như thế này, thì tôi không hiểu sự khác biệt giữa một sơ đồ xác thực và sơ đồ nhận dạng trong bằng chứng ZK.

Có thể tôi sai và trong một lược đồ xác thực (đó phải là "điểm yếu" nhất trong số chúng?), bạn không cần thuộc tính Bằng chứng về Kiến thức mà bạn chỉ cần lược đồ là không có kiến ​​​​thức?
Hoặc có thể có nhiều hơn cho nó? Đó là nghi ngờ của tôi, cảm ơn bạn!\

yacovm avatar
lá cờ us
Bạn có thể xây dựng cả hai mà không cần bằng chứng kiến ​​thức. Nhưng không phải mọi sơ đồ chữ ký nhất thiết phải được biết là không có kiến ​​​​thức. Tôi đoán rằng bất kỳ sơ đồ chữ ký nào cũng có thể được chuyển thành sơ đồ nhận dạng, bằng cách yêu cầu người xác minh gửi một thử thách ngẫu nhiên tới người chứng minh.
lá cờ in
Cảm ơn nhưng tôi không nghĩ bạn đã trả lời đúng câu hỏi, điều tôi không biết là sự khác biệt giữa sơ đồ xác thực và sơ đồ nhận dạng trong bối cảnh không có kiến ​​thức, tôi chỉ biết rằng Bằng chứng về Kiến thức có thể là một khía cạnh quan trọng đối với họ nhưng Tôi không biết nếu nó cần thiết cho một hoặc cả hai
lá cờ kr
Các thuộc tính bảo mật mà bạn đề cập dường như không phải là tiêu chuẩn (ví dụ: chữ ký không được định nghĩa là giao thức tương tác và tôi không biết điều đó có nghĩa là gì khi V không thể tự chứng minh rằng mình là P) và tôi không nghĩ cũng có một khái niệm tiêu chuẩn về âchương trình xác thựcâ. Bạn nên tham khảo chính xác nơi bạn đã nghe những điều đó nếu bạn muốn có câu trả lời hữu ích.
ming alex avatar
lá cờ in
Như tôi đã biết, ZK có thể được sử dụng để xây dựng lược đồ chữ ký hoặc lược đồ nhận dạng. Sự khác biệt giữa chữ ký và sơ đồ nhận dạng là liệu P và V có tương tác hay không. Ví dụ: giao thức nhận dạng của Schnorr có thể được chuyển đổi thành sơ đồ chữ ký bằng cách sử dụng Fiat-Shamir heuristic. Để xác thực, đó là một thuật ngữ mơ hồ trong ngữ cảnh này. Cả lược đồ chữ ký và lược đồ nhận dạng đều có thể đáp ứng việc xác thực một thực thể, trong khi lược đồ khóa đối xứng, mã hóa khóa công khai hoặc dựa trên mật khẩu cũng có thể đáp ứng việc xác thực một thực thể.
lá cờ in
@MehdiTibouchi vâng, tôi xin lỗi, đây là nơi tôi nhận được thông tin: https://link.springer.com/content/pdf/10.1007%2F3-540-47721-7_12.pdf đây là bài báo gốc của Fiat và Shamir

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