Có một sự khác biệt tinh tế ở đây phải được làm rõ. Chúng ta phải xem xét hai loại định nghĩa bảo mật:
"Bảo mật với hủy bỏ": Bên tham nhũng được phép xem kết quả đầu ra của họ, sau đó quyết định có cho phép bên trung thực nhận kết quả đầu ra của họ hay không. (Tôi đang mô tả những gì xảy ra trong thế giới lý tưởng -- giao thức được bảo mật nếu mọi cuộc tấn công chống lại giao thức có thể có tác động tương tự như một cuộc tấn công nào đó trong thế giới lý tưởng.)
Một chức năng lý tưởng cho "tung đồng xu với hủy bỏ" thực hiện như sau:
- tung đồng xu công bằng $c \gets \{0,1\}$;
- cho $c$ đối thủ;
- đợi một chút $d$ ($d$ = "cung cấp") từ đối thủ
- nếu $d=0$, sau đó đưa ra đầu ra $\bot$ cho các bên trung thực; mặt khác nếu $d=1$ sau đó đưa ra đầu ra $c$ cho các bên trung thực.
"Đầu ra được đảm bảo": Một bên tham nhũng không thể ngăn cản một bên trung thực nhận được đầu ra.
Một chức năng lý tưởng cho "tung đồng xu với đầu ra được đảm bảo" thực hiện như sau:
- tung đồng xu công bằng $c \gets \{0,1\}$;
- cho $c$ cho tất cả các bên;
Giao thức mà bạn đã mô tả không cho biết điều gì sẽ xảy ra nếu một Alice tham nhũng không mở lời cam kết của mình để làm hài lòng Bob. Nếu chúng tôi yêu cầu Bob hủy bỏ trong trường hợp đó, chúng tôi thực sự nhận được một giao thức đạt được bảo mật khi hủy bỏ. Vì vậy, theo nghĩa đó, trực giác của bạn là chính xác.
Nhưng cho dù bạn thêm giao thức nào đi chăng nữa, nó sẽ không đạt được độ an toàn với đầu ra được đảm bảo.
Đây là vấn đề được thảo luận trong giấy mà bạn đã đề cập.
Vì câu hỏi của bạn, chúng tôi định nghĩa giao thức "ngây thơ" là giao thức có độ lệch 1/2 -- tức là, đối thủ luôn có thể chắc chắn đưa ra một kết quả nhất định.
Bạn đã mô tả một giao thức trong câu hỏi của mình và hỏi liệu nó có ngây thơ theo định nghĩa này hay không.
Tuy nhiên, giao thức của bạn chưa được chỉ định --- nó không mô tả những gì một Bob trung thực nên làm nếu Alice không (hoặc chọn không) mở cam kết của mình.
Vì vậy, không thể trả lời liệu giao thức này có ngây thơ theo định nghĩa này hay không.
Trên trang 3 của bài báo đó, họ xem xét giao thức mà bạn đã mô tả, nhưng có thêm điều kiện sau: "Nếu Alice hủy bỏ hoặc không mở đúng cam kết, thì Bob nên lấy mẫu bit ngẫu nhiên của chính mình và sử dụng bit đó làm đầu ra."
Chúng chỉ ra cách giao thức kết quả có độ lệch 1/4 và cũng nói rằng 1/4 là độ lệch tấn công tốt nhất cho giao thức kết quả này.
Vì vậy, giao thức kết quả không ngây thơ theo định nghĩa của chúng tôi.