MathLabs
Định lýĐã chứng minh

Tính đúng đắn của giải mã RSA

Phát biểu

Cho n=pqn = pq là tích của hai số nguyên tố phân biệt, và cho ee và dd thoả mãn ed≡1(modϕ(n))ed \equiv 1 \pmod{\phi(n)}. Khi đó với mọi thông điệp mm với 0≤m<n0 \le m < n, mã hoá bằng ee rồi giải mã bằng dd sẽ khôi phục đúng thông điệp gốc: (me)d≡m(modn)(m^e)^d \equiv m \pmod n.

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ì ed≡1(modϕ(n))ed \equiv 1 \pmod{\phi(n)}, theo định nghĩa đồng dư modulo tồn tại một số nguyên không âm kk với ed=1+kϕ(n)ed = 1 + k\phi(n).

Trường hợp 1: gcd⁡(m,n)=1\gcd(m,n)=1. Định lý Euler cho mϕ(n)≡1(modn)m^{\phi(n)} \equiv 1 \pmod n, nên nâng cả hai vế lên luỹ thừa kk rồi nhân với mm cho med=m⋅(mϕ(n))k≡m⋅1k≡m(modn)m^{ed} = m \cdot (m^{\phi(n)})^{k} \equiv m \cdot 1^{k} \equiv m \pmod n.

Trường hợp 2: gcd⁡(m,n)≠1\gcd(m,n) \ne 1. Vì n=pqn = pq, điều này nghĩa là pp chia hết mm hoặc qq chia hết mm (không thể cả hai, vì mm nhỏ hơn nn). Xét theo modulo pp: nếu pp chia hết mm thì cả mm và medm^{ed} đều đồng dư 00 theo modulo pp; nếu không thì gcd⁡(m,p)=1\gcd(m,p)=1 và định lý nhỏ Fermat cho mp−1≡1(modp)m^{p-1} \equiv 1 \pmod p, và vì (p−1)(p-1) chia hết ϕ(n)\phi(n) nên cùng tính toán như Trường hợp 1 cho med≡m(modp)m^{ed} \equiv m \pmod p. Lập luận giống hệt theo modulo qq cho med≡m(modq)m^{ed} \equiv m \pmod q.

Theo định lý số dư Trung Hoa, một đồng dư đúng theo modulo pp và theo modulo qq riêng biệt thì cũng đúng theo modulo tích của chúng n=pqn=pq, nên (me)d≡m(modn)(m^e)^d \equiv m \pmod n đúng với mọi thông điệp mm, không chỉ những thông điệp nguyên tố cùng nhau với nn.

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

  1. Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone (1996). Handbook of Applied Cryptography
  2. Peter W. Shor (1994). Algorithms for Quantum Computation: Discrete Logarithms and Factoring · arXiv:quant-ph/9508027
  3. National Institute of Standards and Technology (2024). Module-Lattice-Based Key-Encapsulation Mechanism Standard (FIPS 203)