Có ai biết bất kỳ tài liệu tham khảo tốt cho ý nghĩa của tính mô phỏng đường thẳng không? Tôi hiện đang đi sâu vào khuôn khổ Khả năng tương thích phổ quát (UC) của Canetti nhưng tôi không thể tìm thấy bất kỳ tài liệu tham khảo tốt nào về ý nghĩa của tính mô phỏng đường thẳng. Bất kỳ trợ giúp được đánh giá cao.
Câu trả lời:
Ở đây, "đường thẳng" tương phản với "tua lại". Trình giả lập là "đường thẳng" nếu nó không "tua lại" bên mà nó đang thực hiện mô phỏng.
Chẳng hạn, trong một giao thức không có kiến thức, trình giả lập thường tua lại "trình xác minh". Theo nghĩa "đường thẳng", việc tua lại này không xảy ra.
Lần đầu tiên tôi thấy thuật ngữ "trình giả lập đường thẳng" trong bài viết của Rafael Pass ( On Deniabililty trong Chuỗi tham chiếu chung và Mô hình Oracle ngẫu nhiên. (CRYPTO'03) ) và ThS. luận án ( Các biến thể thay thế của chứng minh không kiến thức ).
Chỉnh sửa: Tôi đã tìm thấy một bài báo trước đó: Kiến thức không đồng thời: Giảm nhu cầu về các ràng buộc về thời gian của Cynthia Dwork và Amit Sahai, xuất hiện từ năm 1998. Để biết thêm các gợi ý, xem bình luận của Alon Rosen bên dưới.
Không có định nghĩa chính thức về ý nghĩa của việc mô phỏng đường thẳng. Nó chỉ là một ý tưởng trực quan có thể được sử dụng để mô tả mọi thứ một cách không chính thức. Tôi rất hoài nghi về việc liệu người ta thậm chí có thể định nghĩa ý nghĩa của việc không tua lại máy. Thật vậy, tua lại máy là một thuật ngữ không chính thức! Điều chúng tôi thực sự có ý nghĩa bằng cách tua lại một máy là chúng tôi có thể khám phá nhiều đường thực thi có thể của máy từ một trạng thái nhất định. Các đối số chính thức sau đó dựa trên số lần thực thi như vậy mà chúng ta cần khám phá trước khi chúng ta có thể có được một cái bẫy hoặc một số thông tin khác mà chúng ta cần tiếp tục chứng minh.