Điện toán đảo ngược là một mô hình tính toán chỉ cho phép các hoạt động có thể đảo ngược nhiệt động. Theo nguyên tắc của Landauer, trong đó tuyên bố rằng việc xóa một chút thông tin sẽ giải phóng nhiệt, điều này loại trừ các hàm chuyển đổi không phải là một (ví dụ: toán tử Boolean AND và OR). Người ta biết rằng tính toán lượng tử vốn có thể đảo ngược vì các phép toán được phép trong tính toán lượng tử được biểu diễn bằng ma trận đơn vị.
Câu hỏi này là về mật mã. Một cách không chính thức, khái niệm "tính thuận nghịch" dường như là sự kết hợp với các mục tiêu cơ bản của mật mã học, do đó gợi ý cho câu hỏi: "Mật mã học có chi phí nhiệt động vốn có không?"
Tôi tin rằng đây là một câu hỏi khác với "Mọi thứ có thể được thực hiện trong lượng tử không?"
Trong bài giảng của mình , Tiến sĩ Preskill tuyên bố: "Có một chiến lược chung để mô phỏng một tính toán không thể đảo ngược trên một máy tính có thể đảo ngược. Mỗi cổng không thể đảo ngược có thể được mô phỏng bằng cổng Toffoli bằng cách sửa lỗi đầu vào và bỏ qua đầu ra. 'bit đầu ra cần thiết để đảo ngược các bước tính toán. "
Điều này cho thấy rằng các mô phỏng lượng tử có thể đảo ngược của các hoạt động không thể đảo ngược này có một đầu vào cũng như một số không gian "trầy xước". Sau đó, hoạt động tạo đầu ra cùng với một số bit cào "bẩn". Các hoạt động đều có thể đảo ngược đối với đầu ra cộng với các bit rác, nhưng tại một số điểm, các bit rác bị "vứt đi" và không được xem xét thêm.
Vì mật mã phụ thuộc vào sự tồn tại của các hàm một chiều bẫy, nên một câu hỏi thay thế có thể là, "Có bất kỳ hàm một chiều nào của bẫy có thể được thực hiện chỉ bằng các hoạt động logic đảo ngược, không có không gian trầy xước bổ sung không?" Nếu vậy, cũng có thể TÍNH TOÁN một chức năng một cửa bẫy tùy ý chỉ sử dụng các hoạt động đảo ngược (và không có không gian đầu)?