Π§ΠΈΡΠ»Π° p, q ΠΈ d Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΡΠΌΠΈ ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΠ΅ΠΊΡΠ΅Ρ K={p, q, d}. Π§ΠΈΡΠ»Π° n ΠΈ e Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ ΠΎΠ±ΡΠ΅Π΄ΠΎΡΡΡΠΏΠ½ΡΠΌΠΈ. ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΠΎΡΠΊΡΡΡΡΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠΉ X ΠΈ ΡΠΈΡΡΠΎΠ²Π°Π½Π½ΡΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠΉ Y Π±ΡΠ΄Π΅ΠΌ ΡΡΠΈΡΠ°ΡΡ ΡΠ°Π²Π½ΡΠΌΠΈ: X = Y = {1, 2, ... , nβ1}.
Π€ΡΠ½ΠΊΡΠΈΡ FK : X β Y ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎΠΌ: FK(x) = xe(modn).
Π‘Π²ΠΎΠΉΡΡΠ²ΠΎ Π°) ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½Π΅ΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Ρ ΡΠ΅ΠΊΡΠ΅ΡΠΎΠΌ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΎ Π΄Π»Ρ FK ΠΎΡΠ΅Π²ΠΈΠ΄Π½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ. ΠΡΠΎΠ²Π΅ΡΠΈΠΌ ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ Π²). ΠΠ»Ρ ΡΡΠΎΠ³ΠΎ ΠΏΡΠΎΡΡΠΎ ΡΠΊΠ°ΠΆΠ΅ΠΌ, ΠΊΠ°ΠΊ ΠΏΡΠΈ ΠΈΠ·Π²Π΅ΡΡΠ½ΠΎΠΌ K ΠΈΠ½Π²Π΅ΡΡΠΈΡΠΎΠ²Π°ΡΡ ΡΡΠ½ΠΊΡΠΈΡ FK: ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ΠΌ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ FK(x) = y Π±ΡΠ΄Π΅Ρ x = yd(modn). ΠΠΎΠ΄ΡΠΎΠ±Π½ΠΎΠ΅ Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ ΡΡΠΎΠ³ΠΎ ΡΠ°ΠΊΡΠ° ΠΎΡΡΠ°Π²Π»ΡΠ΅ΠΌ ΡΠΈΡΠ°ΡΠ΅Π»Ρ, ΠΏΡΠΈΠ²Π΅Π΄Π΅ΠΌ Π»ΠΈΡΡ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΡΠ΅ Π²ΡΠΊΠ»Π°Π΄ΠΊΠΈ Π±Π΅Π· ΠΊΠΎΠΌΠΌΠ΅Π½ΡΠ°ΡΠΈΠ΅Π²:
dβe = Ο(n)βm + 1
(xe)d(modn) = xΟ(n)βm+1(modn) = (xΟ(n))mβx(modn) = (1)mβx(modn) = x.
Π‘Π²ΠΎΠΉΡΡΠ²ΠΎ Π±) Π΄Π»Ρ ΡΡΠ½ΠΊΡΠΈΠΈ FK ΡΡΡΠΎΠ³ΠΎ Π½Π΅ Π΄ΠΎΠΊΠ°Π·Π°Π½ΠΎ. ΠΠΎΠΊΠ° ΠΎΠ±ΡΠ΅ΠΏΡΠΈΠ·Π½Π°Π½ΠΎ, ΡΡΠΎ Π΄Π»Ρ ΠΈΠ½Π²Π΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΡ FK Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΡΠ°Π·Π»ΠΎΠΆΠΈΡΡ n Π½Π° ΠΌΠ½ΠΎΠΆΠΈΡΠ΅Π»ΠΈ, Π°, ΠΊΠ°ΠΊ ΡΠΊΠ°Π·ΡΠ²Π°Π»ΠΎΡΡ Π² ΡΡΡΠ΄Π΅ 3.4, Π·Π°Π΄Π°ΡΠ° ΡΠ°ΠΊΡΠΎΡΠΈΠ·Π°ΡΠΈΠΈ ΡΠ΅Π»ΡΡ ΡΠΈΡΠ΅Π» ΠΎΡΠ½ΠΎΡΠΈΡΡΡ ΠΊ ΡΡΡΠ΄Π½ΡΠΌ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΌ Π·Π°Π΄Π°ΡΠ°ΠΌ.
Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΠΎΠΏΠΈΡΠ°Π½Π½ΡΡ ΡΡΠ½ΠΊΡΠΈΡ FK ΠΌΠΎΠΆΠ½ΠΎ ΡΡΠΈΡΠ°ΡΡ ΠΊΠ°Π½Π΄ΠΈΠ΄Π°ΡΠΎΠΌ Π½Π° Π·Π²Π°Π½ΠΈΠ΅ ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½Π΅ΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Ρ ΡΠ΅ΠΊΡΠ΅ΡΠΎΠΌ. Π‘ΠΈΡΡΠ΅ΠΌΠ° RSA ΡΡΡΠΎΠΈΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠ°ΠΊ, ΠΊΠ°ΠΊ ΡΠ°ΡΡΠΊΠ°Π·Π°Π½ΠΎ Π² ΡΡΡΠ΄Π΅ 3.2.
Π Π³Π°Π·Π΅ΡΠ΅ Β«ΠΠ·Π²Π΅ΡΡΠΈΡΒ» Π·Π° 29 Π°ΠΏΡΠ΅Π»Ρ 1994 Π³. ΠΏΠΎΠ΄ Π·Π°Π³ΠΎΠ»ΠΎΠ²ΠΊΠΎΠΌ Β«Π‘Π²Π΅ΡΡ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΡΠΉ ΡΠΈΡΡ ΡΠ°Π·Π³Π°Π΄Π°Π½ Π·Π° 17 Π»Π΅ΡΒ» ΠΏΠΎΡΠ²ΠΈΠ»ΠΎΡΡ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π΅ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅: Β«ΠΠΎΠ³Π΄Π° Π² 1977 Π³ΠΎΠ΄Ρ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ Π ΠΎΠ½Π°Π»ΡΠ΄ Π ΠΈΠ²Π΅ΡΡ, ΠΠ΄ΠΈ Π¨Π°ΠΌΠΈΡ ΠΈ ΠΠ΅ΠΎΠ½Π°ΡΠ΄ ΠΠ΄Π»Π΅ΠΌΠ°Π½ Π·Π°ΡΠΈΡΡΠΎΠ²Π°Π»ΠΈ ΡΡΠ°Π·Ρ ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΡ ΡΠ»ΠΎΠ², ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°ΡΠΈΡ ΠΈΠ· 129 ΡΠΈΡΡ, ΠΎΠ½ΠΈ ΡΡΠ²Π΅ΡΠΆΠ΄Π°Π»ΠΈ, ΡΡΠΎ Π½Π° ΡΠ°Π·Π³Π°Π΄ΠΊΡ ΠΏΠΎΠ½Π°Π΄ΠΎΠ±ΡΡΡΡ ΡΡΠΈΠ»Π»ΠΈΠΎΠ½Ρ Π»Π΅Ρ. ΠΠ΄Π½Π°ΠΊΠΎ ΠΊΠ»ΡΡ ΠΊ ΡΠ°ΠΌΠΎΠΌΡ ΡΠ»ΠΎΠΆΠ½ΠΎΠΌΡ Π² ΠΌΠΈΡΠ΅ ΡΠΈΡΡΡ Β«Π Π‘Π-129Β» (RSA) Π±ΡΠ» Π½Π°ΠΉΠ΄Π΅Π½ Π·Π° 17 Π»Π΅Ρ... Π Π°Π·Π³Π°Π΄ΠΊΠ° ΡΠΈΡΡΠ° Π·Π° ΡΠ°ΠΊΠΎΠΉ ΠΎΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½ΠΎ ΠΊΠΎΡΠΎΡΠΊΠΈΠΉ ΡΡΠΎΠΊ ΠΈΠΌΠ΅Π΅Ρ ΠΎΠ³ΡΠΎΠΌΠ½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π΄Π»Ρ Π³ΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΡΡ ΠΎΡΠ³Π°Π½ΠΈΠ·Π°ΡΠΈΠΉ ΠΈ ΠΏΡΠ΅Π΄ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΠ΅Π»Π΅ΠΉ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π°Π½Π°Π»ΠΎΠ³ΠΈΡΠ½ΡΠΌΠΈ Π΄Π»ΠΈΠ½Π½ΡΠΌΠΈ ΡΠΈΡΡΠΎΠ²ΡΠΌΠΈ ΠΊΠΎΠ΄Π°ΠΌΠΈ Π΄Π»Ρ Π·Π°ΡΠΈΡΡ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΡΡ ΡΠ²Π΅Π΄Π΅Π½ΠΈΠΉ Π² ΡΠ²ΠΎΠΈΡ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠ½ΡΡ Π±Π°Π·Π°Ρ Π΄Π°Π½Π½ΡΡ ...Β» ΠΠΎΠΊΠ° ΡΡΠΎ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅ Π½Π΅ ΠΏΠΎΠ΄ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΎ Π½Π°ΡΡΠ½ΡΠΌΠΈ ΠΏΡΠ±Π»ΠΈΠΊΠ°ΡΠΈΡΠΌΠΈ, ΡΡΠ½ΠΎ Π»ΠΈΡΡ, ΡΡΠΎ ΡΠ΅ΡΡ ΠΈΠ΄Π΅Ρ ΠΎ ΡΠΎΠΌ, ΡΡΠΎ ΡΠ΄Π°Π»ΠΎΡΡ ΡΠ°Π·Π»ΠΎΠΆΠΈΡΡ Π½Π° ΠΌΠ½ΠΎΠΆΠΈΡΠ΅Π»ΠΈ ΡΠΎ 129-Π·Π½Π°ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, ΠΊΠΎΡΠΎΡΠΎΠ΅ Π±ΡΠ»ΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΎ Π² 1977 Π³ΠΎΠ΄Ρ. ΠΠΎ ΡΠΆΠ΅ Π΄Π°Π²Π½ΠΎ Π² ΡΠ΅Π°Π»ΡΠ½ΡΡ ΡΠΈΡΡΠ΅ΠΌΠ°Ρ RSA ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π±ΠΎΠ»Π΅Π΅ Π΄Π»ΠΈΠ½Π½ΡΠ΅ ΡΠΈΡΠ»Π°.
ΠΠΎΠ΄ΡΠΌΠ°ΠΉΡΠ΅ ΡΠ°ΠΌΠΈ:
1. Π Π°Π·Π±Π΅ΡΠΈΡΠ΅ ΠΏΡΠΈΠΌΠ΅ΡΡ ΡΠ°Π±ΠΎΡΡ ΡΠΈΡΡΠ΅ΠΌΡ RSA, ΠΏΡΠΈΠ²Π΅Π΄ΡΠ½Π½ΡΠ΅ Π½Π° ΡΡΡ. 241β243 ΠΊΠ½ΠΈΠ³ΠΈ Π. ΠΠ°ΡΠ΄Π½Π΅ΡΠ° Β«ΠΡ ΠΌΠΎΠ·Π°ΠΈΠΊ ΠΠ΅Π½ΡΠΎΡΠ·Π° ΠΊ Π½Π°Π΄ΡΠΆΠ½ΡΠΌ ΡΡΠΈΡΡΠ°ΠΌΒ».
3.6. ΠΡΠΊΡΡΡΠΎΠ΅ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠ»ΡΡΠ΅ΠΉ
ΠΡΠΎΠΌΠ΅ ΠΏΡΠΈΠ½ΡΠΈΠΏΠ° ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΠΊΡΠΈΠΏΡΠΎΡΠΈΡΡΠ΅ΠΌΡ Ρ ΠΎΡΠΊΡΡΡΡΠΌ ΠΊΠ»ΡΡΠΎΠΌ, ΠΠΈΡΡΠΈ ΠΈ Π₯Π΅Π»Π»ΠΌΡΠ½ Π² ΡΠΎΠΉ ΠΆΠ΅ ΡΠ°Π±ΠΎΡΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠΈΠ»ΠΈ Π΅ΡΠ΅ ΠΎΠ΄Π½Ρ Π½ΠΎΠ²ΡΡ ΠΈΠ΄Π΅Ρ β ΠΎΡΠΊΡΡΡΠΎΠ΅ ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠ»ΡΡΠ΅ΠΉ. ΠΠ½ΠΈ Π·Π°Π΄Π°Π»ΠΈΡΡ Π²ΠΎΠΏΡΠΎΡΠΎΠΌ: ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈ ΠΎΡΠ³Π°Π½ΠΈΠ·ΠΎΠ²Π°ΡΡ ΡΠ°ΠΊΡΡ ΠΏΡΠΎΡΠ΅Π΄ΡΡΡ Π²Π·Π°ΠΈΠΌΠΎΠ΄Π΅ΠΉΡΡΠ²ΠΈΡ Π°Π±ΠΎΠ½Π΅Π½ΡΠΎΠ² A ΠΈ B ΠΏΠΎ ΠΎΡΠΊΡΡΡΡΠΌ ΠΊΠ°Π½Π°Π»Π°ΠΌ ΡΠ²ΡΠ·ΠΈ, ΡΡΠΎΠ±Ρ ΡΠ΅ΡΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π·Π°Π΄Π°ΡΠΈ:
1) Π²Π½Π°ΡΠ°Π»Π΅ Ρ A ΠΈ B Π½Π΅Ρ Π½ΠΈΠΊΠ°ΠΊΠΎΠΉ ΠΎΠ±ΡΠ΅ΠΉ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΠΎΠΉ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ, Π½ΠΎ Π² ΠΊΠΎΠ½ΡΠ΅ ΠΏΡΠΎΡΠ΅Π΄ΡΡΡ ΡΠ°ΠΊΠ°Ρ ΠΎΠ±ΡΠ°Ρ ΡΠ΅ΠΊΡΠ΅ΡΠ½Π°Ρ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ (ΠΎΠ±ΡΠΈΠΉ ΠΊΠ»ΡΡ) Ρ A ΠΈ B ΠΏΠΎΡΠ²Π»ΡΠ΅ΡΡΡ, Ρ.Π΅. Π²ΡΡΠ°Π±Π°ΡΡΠ²Π°Π΅ΡΡΡ;
2) ΠΏΡΠΎΡΠΈΠ²Π½ΠΈΠΊ, ΠΊΠΎΡΠΎΡΡΠΉ ΠΏΠ΅ΡΠ΅Ρ Π²Π°ΡΡΠ²Π°Π΅Ρ Π²ΡΠ΅ ΠΏΠ΅ΡΠ΅Π΄Π°ΡΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ ΠΈ Π·Π½Π°Π΅Ρ, ΡΡΠΎ Ρ ΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠΈΡΡ A ΠΈ B, ΡΠ΅ΠΌ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ Π²ΠΎΡΡΡΠ°Π½ΠΎΠ²ΠΈΡΡ Π²ΡΡΠ°Π±ΠΎΡΠ°Π½Π½ΡΠΉ ΠΎΠ±ΡΠΈΠΉ ΠΊΠ»ΡΡ A ΠΈ B.
ΠΠΈΡΡΠΈ ΠΈ Π₯Π΅Π»Π»ΠΌΡΠ½ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠΈΠ»ΠΈ ΡΠ΅ΡΠ°ΡΡ ΡΡΠΈ Π·Π°Π΄Π°ΡΠΈ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΠ½ΠΊΡΠΈΠΈ F(x) = Ξ±x(modp), Π³Π΄Π΅ p β Π±ΠΎΠ»ΡΡΠΎΠ΅ ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, x β ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ΅ Π½Π°ΡΡΡΠ°Π»ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, Ξ± β Π½Π΅ΠΊΠΎΡΠΎΡΡΠΉ ΠΏΡΠΈΠΌΠΈΡΠΈΠ²Π½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΏΠΎΠ»Ρ GF(p).
ΠΡΠΈΠΌΠΈΡΠΈΠ²Π½ΡΠΌ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠ°ΠΊΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ a ΠΈΠ· GF(p), ΡΡΠΎ ΠΊΠ°ΠΆΠ΄ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΏΠΎΠ»Ρ, Π·Π° ΠΈΡΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ΠΌ Π½ΡΠ»Ρ, ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ Π² Π²ΠΈΠ΄Π΅ ΡΡΠ΅ΠΏΠ΅Π½ΠΈ a. ΠΠΎΠΆΠ½ΠΎ Π΄ΠΎΠΊΠ°Π·Π°ΡΡ, Ρ ΠΎΡΡ ΡΡΠΎ ΠΈ Π½Π΅ ΠΏΡΠΎΡΡΠΎ, ΡΡΠΎ ΠΏΡΠΈΠΌΠΈΡΠΈΠ²Π½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ Π²ΡΠ΅Π³Π΄Π° ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ.
ΠΠ±ΡΠ΅ΠΏΡΠΈΠ·Π½Π°Π½ΠΎ, ΡΡΠΎ ΠΈΠ½Π²Π΅ΡΡΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ Ξ±x(modp), Ρ.Π΅. Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΠΎΠ΅ Π»ΠΎΠ³Π°ΡΠΈΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅, ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΡΡΠ΄Π½ΠΎΠΉ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π·Π°Π΄Π°ΡΠ΅ΠΉ (ΡΠΌ. ΡΡΡΠ΄ 3.4).
Π‘Π°ΠΌΠ° ΠΏΡΠΎΡΠ΅Π΄ΡΡΠ° ΠΈΠ»ΠΈ, ΠΊΠ°ΠΊ ΠΏΡΠΈΠ½ΡΡΠΎ Π³ΠΎΠ²ΠΎΡΠΈΡΡ, ΠΏΡΠΎΡΠΎΠΊΠΎΠ» Π²ΡΡΠ°Π±ΠΎΡΠΊΠΈ ΠΎΠ±ΡΠ΅Π³ΠΎ ΠΊΠ»ΡΡΠ° ΠΎΠΏΠΈΡΡΠ²Π°Π΅ΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ.
Π§ΠΈΡΠ»Π° p ΠΈ Ξ± ΡΡΠΈΡΠ°ΡΡΡΡ ΠΎΠ±ΡΠ΅Π΄ΠΎΡΡΡΠΏΠ½ΡΠΌΠΈ.
ΠΠ±ΠΎΠ½Π΅Π½ΡΡ A ΠΈ B Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΠΎ Π΄ΡΡΠ³ ΠΎΡ Π΄ΡΡΠ³Π° ΡΠ»ΡΡΠ°ΠΉΠ½ΠΎ Π²ΡΠ±ΠΈΡΠ°ΡΡ ΠΏΠΎ ΠΎΠ΄Π½ΠΎΠΌΡ Π½Π°ΡΡΡΠ°Π»ΡΠ½ΠΎΠΌΡ ΡΠΈΡΠ»Ρ β ΡΠΊΠ°ΠΆΠ΅ΠΌ x(A) ΠΈ x(B). ΠΡΠΈ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ ΠΎΠ½ΠΈ Π΄Π΅ΡΠΆΠ°Ρ Π² ΡΠ΅ΠΊΡΠ΅ΡΠ΅. ΠΠ°Π»Π΅Π΅ ΠΊΠ°ΠΆΠ΄ΡΠΉ ΠΈΠ· Π½ΠΈΡ Π²ΡΡΠΈΡΠ»ΡΠ΅Ρ Π½ΠΎΠ²ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ:
y(A)=Ξ±x(A)(modp), y(B)=Ξ±x(B)(modp).
ΠΠΎΡΠΎΠΌ ΠΎΠ½ΠΈ ΠΎΠ±ΠΌΠ΅Π½ΠΈΠ²Π°ΡΡΡΡ ΡΡΠΈΠΌΠΈ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΠΌΠΈ ΠΏΠΎ ΠΊΠ°Π½Π°Π»Ρ ΡΠ²ΡΠ·ΠΈ. Π’Π΅ΠΏΠ΅ΡΡ Π°Π±ΠΎΠ½Π΅Π½Ρ A, ΠΏΠΎΠ»ΡΡΠΈΠ² y(B) ΠΈ Π·Π½Π°Ρ ΡΠ²ΠΎΠΉ ΡΠ΅ΠΊΡΠ΅ΡΠ½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ x(A), Π²ΡΡΠΈΡΠ»ΡΠ΅Ρ Π½ΠΎΠ²ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ
y(B)x(A)(modp)=(Ξ±x(B))x(A)(modp).
ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½ΠΎ ΠΏΠΎΡΡΡΠΏΠ°Π΅Ρ Π°Π±ΠΎΠ½Π΅Π½Ρ B:
y(A)x(B)(modp)=(Ξ±x(A))x(B)(modp).
ΠΠ· ΡΠ²ΠΎΠΉΡΡΠ² ΠΏΠΎΠ»Ρ ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ ΡΠ΅ΠΌ ΡΠ°ΠΌΡΠΌ Ρ A ΠΈ B ΠΏΠΎΡΠ²ΠΈΠ»ΡΡ ΠΎΠ±ΡΠΈΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΏΠΎΠ»Ρ, ΡΠ°Π²Π½ΡΠΉ Ξ±x(A)x(B). ΠΡΠΎΡ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΈ ΠΎΠ±ΡΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΠ±ΡΠΈΠΌ ΠΊΠ»ΡΡΠΎΠΌ A ΠΈ B.
ΠΠ· ΠΎΠΏΠΈΡΠ°Π½ΠΈΡ ΠΏΡΠΎΡΠΎΠΊΠΎΠ»Π° Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ ΠΏΡΠΎΡΠΈΠ²Π½ΠΈΠΊ Π·Π½Π°Π΅Ρ p, Ξ±, Ξ±x(A), Ξ±x(B), Π½Π΅ Π·Π½Π°Π΅Ρ x(A) ΠΈ x(B) ΠΈ Ρ ΠΎΡΠ΅Ρ ΡΠ·Π½Π°ΡΡ ax(A)x(B). Π Π½Π°ΡΡΠΎΡΡΠ΅Π΅ Π²ΡΠ΅ΠΌΡ Π½Π΅Ρ Π°Π»Π³ΠΎΡΠΈΡΠΌΠΎΠ² Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ ΠΏΡΠΎΡΠΈΠ²Π½ΠΈΠΊΠ°, Π±ΠΎΠ»Π΅Π΅ ΡΡΡΠ΅ΠΊΡΠΈΠ²Π½ΡΡ , ΡΠ΅ΠΌ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΠΎΠ΅ Π»ΠΎΠ³Π°ΡΠΈΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅, Π° ΡΡΠΎ β ΡΡΡΠ΄Π½Π°Ρ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠ°Ρ Π·Π°Π΄Π°ΡΠ°. (Π Π΅ΠΊΠΎΠΌΠ΅Π½Π΄ΡΠ΅ΠΌ ΡΠ°ΠΌΠΎΡΡΠΎΡΡΠ΅Π»ΡΠ½ΠΎ Π½Π°ΠΉΡΠΈ Π·Π° ΠΏΡΠΎΡΠΈΠ²Π½ΠΈΠΊΠ° ΠΎΠ±ΡΠΈΠΉ ΠΊΠ»ΡΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ Π°Π»Π³ΠΎΡΠΈΡΠΌ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΠΎΠ³ΠΎ Π»ΠΎΠ³Π°ΡΠΈΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ Π½Π΅ ΠΏΡΠΈΠ½ΠΈΠΌΠ°Ρ Π²ΠΎ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅ Π²ΠΎΠΏΡΠΎΡΡ Π΅Π³ΠΎ ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΠΈ.)
3.7. Π¦ΠΈΡΡΠΎΠ²Π°Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΡ
ΠΠ΄Π΅Ρ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ (ΠΈΠ½ΠΎΠ³Π΄Π° Π΅Π΅ Π΅ΡΠ΅ Π½Π°Π·ΡΠ²Π°ΡΡ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΡΡ) Π±ΡΠ»Π° ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π° ΠΠΈΡΡΠΈ ΠΈ Π₯Π΅Π»Π»ΠΌΡΠ½ΠΎΠΌ. Π‘ΡΡΡ ΠΈΠ΄Π΅ΠΈ β Π² ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠΈ ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½Π΅ΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Ρ ΡΠ΅ΠΊΡΠ΅ΡΠΎΠΌ FK (ΡΠΌ. ΡΡΡΠ΄ 3.2). Π Π½Π°ΡΡΠΎΡΡΠ΅Π΅ Π²ΡΠ΅ΠΌΡ ΡΡΠ° ΠΈΠ΄Π΅Ρ ΡΠ΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Π½Π° Π² Π±ΠΎΠ»ΡΡΠΎΠΌ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π΅ ΡΠΈΡΡΠ΅ΠΌ ΠΏΠ΅ΡΠ΅Π΄Π°ΡΠΈ Π΄Π°Π½Π½ΡΡ , ΠΎΡΠΎΠ±Π΅Π½Π½ΠΎ Π±Π°Π½ΠΊΠΎΠ²ΡΠΊΠΈΡ . Π‘ΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅, ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½Π½ΠΎΠ΅ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΡΡ, ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΡΡ ΡΠ΅Π±Π΅ ΠΊΠ°ΠΊ ΠΏΠ°ΡΡ (x, y), Π³Π΄Π΅ x β ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅ (ΠΏΠ»Π°ΡΠ΅ΠΆΠ½ΠΎΠ΅ ΠΏΠΎΡΡΡΠ΅Π½ΠΈΠ΅ Π² ΠΏΡΠΈΠΌΠ΅ΡΠ΅ Ρ Π±Π°Π½ΠΊΠΎΠΌ ΠΈ Ρ.ΠΏ.), FK: X β Y β ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½ΡΡ ΡΡΠ½ΠΊΡΠΈΡ, ΠΈΠ·Π²Π΅ΡΡΠ½Π°Ρ Π²ΡΠ΅ΠΌ Π²Π·Π°ΠΈΠΌΠΎΠ΄Π΅ΠΉΡΡΠ²ΡΡΡΠΈΠΌ Π°Π±ΠΎΠ½Π΅Π½ΡΠ°ΠΌ, y β ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ FK(y)=x. ΠΠ· ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΡΡΠ½ΠΊΡΠΈΠΈ FK (ΡΠΌ. ΡΡΡΠ΄ 3.2) ΠΎΡΠ΅Π²ΠΈΠ΄Π½Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π΄ΠΎΡΡΠΎΠΈΠ½ΡΡΠ²Π° ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ:
1) ΠΏΠΎΠ΄ΠΏΠΈΡΠ°ΡΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅ x, Ρ.Π΅. ΡΠ΅ΡΠΈΡΡ ΡΡΠ°Π²Π½Π΅Π½ΠΈΠ΅ FK(y)=x, ΠΌΠΎΠΆΠ΅Ρ ΡΠΎΠ»ΡΠΊΠΎ Π°Π±ΠΎΠ½Π΅Π½Ρ β ΠΎΠ±Π»Π°Π΄Π°ΡΠ΅Π»Ρ Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΡΠ΅ΠΊΡΠ΅ΡΠ° K; Π΄ΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, ΠΏΠΎΠ΄Π΄Π΅Π»Π°ΡΡ ΠΏΠΎΠ΄ΠΏΠΈΡΡ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ;
2) ΠΏΡΠΎΠ²Π΅ΡΠΈΡΡ ΠΏΠΎΠ΄Π»ΠΈΠ½Π½ΠΎΡΡΡ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΠΌΠΎΠΆΠ΅Ρ Π»ΡΠ±ΠΎΠΉ Π°Π±ΠΎΠ½Π΅Π½Ρ, Π·Π½Π°ΡΡΠΈΠΉ ΠΎΡΠΊΡΡΡΡΠΉ ΠΊΠ»ΡΡ, Ρ.Π΅. ΡΠ°ΠΌΡ ΡΡΠ½ΠΊΡΠΈΡ FK;
3) ΠΏΡΠΈ Π²ΠΎΠ·Π½ΠΈΠΊΠ½ΠΎΠ²Π΅Π½ΠΈΠΈ ΡΠΏΠΎΡΠΎΠ² ΠΎΡΠΊΠ°Π·Π°ΡΡΡΡ ΠΎΡ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π² ΡΠΈΠ»Ρ Π΅Π΅ Π½Π΅ΠΏΠΎΠ΄Π΄Π΅Π»ΡΠ²Π°Π΅ΠΌΠΎΡΡΠΈ;
4) ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½Π½ΡΠ΅ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ (x, y) ΠΌΠΎΠΆΠ½ΠΎ, Π½Π΅ ΠΎΠΏΠ°ΡΠ°ΡΡΡ ΡΡΠ΅ΡΠ±Π°, ΠΏΠ΅ΡΠ΅ΡΡΠ»Π°ΡΡ ΠΏΠΎ Π»ΡΠ±ΡΠΌ ΠΊΠ°Π½Π°Π»Π°ΠΌ ΡΠ²ΡΠ·ΠΈ.
ΠΠΌΠ΅Π½Π½ΠΎ ΠΏΠ΅ΡΠ΅ΡΠΈΡΠ»Π΅Π½Π½ΡΠ΅ Π΄ΠΎΡΡΠΎΠΈΠ½ΡΡΠ²Π° ΠΈ ΠΎΠ±ΡΡΠ»ΠΎΠ²ΠΈΠ»ΠΈ ΡΠΈΡΠΎΠΊΠΎΠ΅ ΡΠ°ΡΠΏΡΠΎΡΡΡΠ°Π½Π΅Π½ΠΈΠ΅ ΡΠΈΡΡΠ΅ΠΌ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ. ΠΠΏΠΈΡΠ΅ΠΌ, ΠΊΠ°ΠΊ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈ Π²ΡΠ³Π»ΡΠ΄ΠΈΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ, Π½Π° ΠΏΡΠΎΡΡΠ΅ΠΉΡΠ΅ΠΌ ΠΏΡΠΈΠΌΠ΅ΡΠ΅: ΡΠ°Π±ΠΎΡΠ° Π±Π°Π½ΠΊΠ° Ρ ΠΏΠ»Π°ΡΠ΅ΠΆΠ½ΡΠΌΠΈ ΠΏΠΎΡΡΡΠ΅Π½ΠΈΡΠΌΠΈ ΡΠ²ΠΎΠΈΡ ΠΊΠ»ΠΈΠ΅Π½ΡΠΎΠ². ΠΡΠ΅ Π°Π±ΠΎΠ½Π΅Π½ΡΡ ΡΡΠΎΠΉ ΡΠ΅ΡΠΈ Π·Π½Π°ΡΡ ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½ΡΡ ΡΡΠ½ΠΊΡΠΈΡ FK, ΠΈ ΠΊΠ°ΠΆΠ΄ΡΠΉ ΠΊΠ»ΠΈΠ΅Π½Ρ ΠΈΠΌΠ΅Π΅Ρ ΡΠ²ΠΎΠΉ ΡΠΎΠ±ΡΡΠ²Π΅Π½Π½ΡΠΉ, Π½ΠΈΠΊΠΎΠΌΡ Π½Π΅ ΠΈΠ·Π²Π΅ΡΡΠ½ΡΠΉ ΡΠ΅ΠΊΡΠ΅Ρ K. ΠΠ»ΠΈΠ΅Π½Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΡΠ²Π°Π΅Ρ ΠΏΠ»Π°ΡΠ΅ΠΆΠ½ΠΎΠ΅ ΠΏΠΎΡΡΡΠ΅Π½ΠΈΠ΅ x Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΠ½ΠΊΡΠΈΠΈ FK ΡΠΎ ΡΠ²ΠΎΠΈΠΌ ΡΠ΅ΠΊΡΠ΅ΡΠΎΠΌ K ΠΈ ΠΏΠΎΡΡΠ»Π°Π΅Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΠ°Π½Π½ΠΎΠ΅ ΠΏΠ»Π°ΡΠ΅ΠΆΠ½ΠΎΠ΅ ΠΏΠΎΡΡΡΠ΅Π½ΠΈΠ΅ Π² Π±Π°Π½ΠΊ. ΠΠ°Π½ΠΊ, ΠΏΠΎΠ»ΡΡΠΈΠ² ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΠ΅ ΠΎΡ ΠΊΠ»ΠΈΠ΅Π½ΡΠ° ΠΈ Π·Π½Π°Ρ ΠΎΡΠΊΡΡΡΡΠΉ ΠΊΠ»ΡΡ, ΠΏΡΠΎΠ²Π΅ΡΡΠ΅Ρ ΠΏΠΎΠ΄Π»ΠΈΠ½Π½ΠΎΡΡΡ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΠΊΠ»ΠΈΠ΅Π½ΡΠ° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΠΏΠΎΡΠ»Π΅ ΡΡΠΎΠ³ΠΎ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅Ρ Π΅Π³ΠΎ ΠΏΠ»Π°ΡΠ΅ΠΆΠ½ΠΎΠ΅ ΠΏΠΎΡΡΡΠ΅Π½ΠΈΠ΅. Π ΡΠΈΠ»Ρ ΠΎΡΠΌΠ΅ΡΠ΅Π½Π½ΡΡ Π²ΡΡΠ΅ Π΄ΠΎΡΡΠΎΠΈΠ½ΡΡΠ² ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΠΈ Π±Π°Π½ΠΊ, ΠΈ ΠΊΠ»ΠΈΠ΅Π½Ρ ΡΠ²Π΅ΡΠ΅Π½Ρ, ΡΡΠΎ ΠΈΡ ΠΈΠ½ΡΠ΅ΡΠ΅ΡΡ Π½Π΅ ΠΏΠΎΡΡΡΠ°Π΄Π°ΡΡ.