Ai đó có thể giải thích chi tiết giao thức của Yevgeniy Dodis, Shai Halevi và Tal Rabin không?

Đây là từ bài báo của Yevgeniy Dodis, Shai Halevi và Tal Rabin

Ai đó có thể cung cấp một số trợ giúp để hiểu cách thực thi giao thức sau không? Trò chơi được chơi dựa trên các giả định tiếp theo: ``người chơi (1) bị giới hạn về mặt tính toán và (2) có thể giao tiếp trước khi chơi trò chơi gốc, mà các tác giả tin rằng đó là những giả định khá tự nhiên và tối giản"

Ai đó có thể đơn giản hóa công thức toán học và giải thích mỗi chức năng trong giao thức bên dưới phục vụ cho mục đích của chúng ta không? Ví dụ, tôi không rõ tại sao chúng ta chọn một hoán vị $\pi$ và chuỗi ngẫu nhiên $r_i,s_i$ và sau đó xuất hiện một sơ đồ mã hóa với nhiều chức năng diễn ra trong mỗi bước. Gì $Enc_{pk}(a_{\pi(i)};r_{\pi(i)})$ phục vụ cho? tại sao chúng ta sử dụng $;$ thay vì $,$. Giao thức ở đây nhằm phục vụ mục đích giúp người chơi có thể sao chép thành công thiết bị liên lạc hoặc người hòa giải, nhưng rốt cuộc điều này xảy ra như thế nào?

Trong một câu hỏi, tôi sẽ đánh giá cao nếu ai đó có thể giải thích từng bước giao thức, đơn giản hóa các chức năng thành $f$ thay vì enc $g$ thay vì dec, giải thích lập luận của họ và thông tin được chia sẻ giữa những người chơi là gì và cơ chế mà cuối cùng chỉ cung cấp cho mỗi người chơi một thông tin và không có thông tin của người tham gia khác.

Đây là một bên hai bên ($P$, người pha chế và $C$ bộ chọn) giao thức với $4$ các bước (và ba vòng giao tiếp, nếu ZKP không tương tác). Hai bên có thông tin chung là khóa công khai $pk$ và các cặp $(a_i, b_i)$. Người chuẩn bị cũng biết khóa bí mật $sk$.

Trong bước đầu tiên, người chuẩn bị $P$ áp dụng hoán vị ngẫu nhiên của các cặp và mã hóa (theo $pk$) mỗi cặp phối hợp và gửi kết quả cho người chọn và tạo ZKP rằng kết quả này đã được tính toán một cách trung thực.

Trong bước thứ hai, người chọn chọn một chỉ mục $\ell$, và làm mù bản mã $c_\ell$ (là mã hóa của một trong các $a$). Họ gửi bản mã mù này $e$và tạo một ZKP, nó đã được tạo một cách trung thực.

Trong bước thứ ba, trình chuẩn bị tính toán quá trình giải mã $a$ của $e$ và đầu ra (có nghĩa là, đó là kết quả cho anh ta). Sau đó, ông gửi chuỗi $b$ với sự ngẫu nhiên theo thứ tự hoán vị mà anh đã chọn trước đó.

Và cuối cùng ở bước cuối cùng, bộ chọn lấy phần tử đơn giản của cùng một chỉ mục của $c$ trước đó anh ta bị mù (anh ta có thể, vì anh ta biết chỉ số anh ta đã chọn), kiểm tra xem nó có phải là chỉ số tốt bằng cách mã hóa lại nó (vì anh ta cũng nhận được tính ngẫu nhiên), rồi xuất ra kết quả tương ứng. $b$.

Ở cuối giao thức $P$ biết một $a$, và $C$ một $b$ tương quan với nhau (chúng tương ứng với một cặp $(a_i, b_i)$), Và cũng không $P$, cũng không $V$ có thể buộc một cặp cụ thể được chọn (nếu chỉ một cặp trung thực, cặp đó sẽ được chọn ngẫu nhiên đồng nhất).