tailieunhanh - Lý thuyết mật mã - Chương 11

Một cách đơn giản, một hệ thống chứng minh không tiết lộ thông tin sẽ cho phép một đối tượng thuyết phục được một đối tượng khác tin một điều nào đó mà không để lộ một tý thông tin nào về phép chứng minh. Trước tiên ta sẽ thảo luận ý tưởng về một hệ thống chứng minh tương hỗ. Trong một hệ thống chứng minh tương hỗ có hai thành viên: teggy và Vic. Teggy là người chứng minh và Vic là người kiểm tra. Teggy biết một điều gì đó và cô ta muốn chứng minh cho. | Dĩ nhiên là có thể định nghĩa đặc tính không tiết lộ thông tin theo kiểu mà ta thiéc. Tuy nhiên điều quan trọng là định nghĩa phải giữ nội dung cơ bản của đặc tính này. Ta đã coi rằng một hệ thống chứng minh tương hỗ là hệ không tiết lộ thông tin cho Vic nếu tồn tại một hệ mô phỏng rạo ra các bản sao có phân bố xác suất đồng nhất với phân bố xác suất của các bản sao được tạo ra khi Vic tham gia thực sự vào giao thức. (đây là một khái niêm tương đối nhưng mạnh hơn khái niệm về các phân mốt xác suất không có khả năng phân biệt nêu trong chương 12). Ta đã biết rằng một bản sao sẽ chứa tất cả các thông tin mà Vic thu lượm được nhờ tham gia vào giao thức. Bởi vậy, quả là hợp lý khi ta xem rằng bất cứ việc gì mà Vic có thể thực hiện được sau khi tham gia vào gia thức cũng chỉ như việc mà anh ta có thể thực hiện được nếu sử dụng hệ mô phỏng để tào một bản sao giả mạo. Mặc dù ta không định nghĩa” thông tin“(hiểu biết )bằng cách tiếp cận này nhưng bất cứ đIều gì được coi là thông tin thì Vic không thu lượm được tý nào!