Tính đúng đắn của giải mã RSA
Phát biểu
Cho là tích của hai số nguyên tố phân biệt, và cho và thoả mãn . Khi đó với mọi thông điệp với , mã hoá bằng rồi giải mã bằng sẽ khôi phục đúng thông điệp gốc: .
Vì sao đúng?
Đây là định lý khiến RSA thực sự dùng được: nó đảm bảo rằng bất kể người gửi mã hoá gì bằng số mũ công khai, người giữ số mũ bí mật luôn giải mã được, với mọi thông điệp có thể, không chỉ hầu hết — chứng minh phải xử lý trường hợp biên khi một thông điệp vô tình có chung thừa số với modulo.
Phác thảo chứng minh
Vì , theo định nghĩa đồng dư modulo tồn tại một số nguyên không âm với .
Trường hợp 1: . Định lý Euler cho , nên nâng cả hai vế lên luỹ thừa rồi nhân với cho .
Trường hợp 2: . Vì , điều này nghĩa là chia hết hoặc chia hết (không thể cả hai, vì nhỏ hơn ). Xét theo modulo : nếu chia hết thì cả và đều đồng dư theo modulo ; nếu không thì và định lý nhỏ Fermat cho , và vì chia hết nên cùng tính toán như Trường hợp 1 cho . Lập luận giống hệt theo modulo cho .
Theo định lý số dư Trung Hoa, một đồng dư đúng theo modulo và theo modulo riêng biệt thì cũng đúng theo modulo tích của chúng , nên đúng với mọi thông điệp , không chỉ những thông điệp nguyên tố cùng nhau với .
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone (1996). Handbook of Applied Cryptography
- Peter W. Shor (1994). Algorithms for Quantum Computation: Discrete Logarithms and Factoring · arXiv:quant-ph/9508027
- National Institute of Standards and Technology (2024). Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203)