Π ΠΎΡΡΠΈΠΉΡΠΊΠΈΠΉ ΡΡΠ°Π½Π΄Π°ΡΡ ΠΠΠ‘Π’ Π 34.10-2001
ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΡΠΎΡΠΊΠΈ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ C = z1P + z2Q. Π ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ R = xc (mod q), Π³Π΄Π΅ xc — ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ° x ΠΊΡΠΈΠ²ΠΎΠΉ C. Π ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° R = r ΠΏΠΎΠ΄ΠΏΠΈΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ, ΠΈΠ½Π°ΡΠ΅ — Π½Π΅ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ. ΠΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΊΡΠΈΠ²Π°Ρ E Π·Π°Π΄Π°Π΅ΡΡΡ ΡΠ²ΠΎΠΈΠΌ ΠΈΠ½Π²Π°ΡΠΈΠ°Π½ΡΠΎΠΌ J (E) ΠΈΠ»ΠΈ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°ΠΌΠΈ a, b Π Fp Π³Π΄Π΅ Fp —ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠ΅ ΠΏΡΠΎΡΡΠΎΠ΅ ΠΏΠΎΠ»Π΅. J (E) ΡΠ²ΡΠ·Π°Π½ Ρ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°ΠΌΠΈ a ΠΈ b ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΡΠΎΡΠΊΠΈ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ C = kP… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
Π ΠΎΡΡΠΈΠΉΡΠΊΠΈΠΉ ΡΡΠ°Π½Π΄Π°ΡΡ ΠΠΠ‘Π’ Π 34.10-2001 (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
ΠΡΡΠΎΡΠΈΡ: ΠΏΠΎΠ»Π½ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅: «ΠΠΠ‘Π’ Π 34.10−2001. ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΎΠ½Π½Π°Ρ ΡΠ΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΡ. ΠΡΠΈΠΏΡΠΎΠ³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠ°Ρ Π·Π°ΡΠΈΡΠ° ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ. ΠΡΠΎΡΠ΅ΡΡΡ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ ΠΏΡΠΎΠ²Π΅ΡΠΊΠΈ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠΉ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ» — ΡΠΎΡΡΠΈΠΉΡΠΊΠΈΠΉ ΡΡΠ°Π½Π΄Π°ΡΡ, ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΠΈΠΉ Π°Π»Π³ΠΎΡΠΈΡΠΌΡ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ ΠΏΡΠΎΠ²Π΅ΡΠΊΠΈ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠΉ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ. ΠΡΠΈΠ½ΡΡ ΠΈ Π²Π²Π΅Π΄ΡΠ½ Π² Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅ ΠΠΎΡΡΠ°Π½ΠΎΠ²Π»Π΅Π½ΠΈΠ΅ΠΌ ΠΠΎΡΡΡΠ°Π½Π΄Π°ΡΡΠ° Π ΠΎΡΡΠΈΠΈ ΠΎΡ 12 ΡΠ΅Π½ΡΡΠ±ΡΡ 2001 Π³ΠΎΠ΄Π°.
ΠΠ°Π½Π½ΡΠΉ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠ°Π½ Π³Π»Π°Π²Π½ΡΠΌ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ΠΌ Π±Π΅Π·ΠΎΠΏΠ°ΡΠ½ΠΎΡΡΠΈ ΡΠ²ΡΠ·ΠΈ Π€Π΅Π΄Π΅ΡΠ°Π»ΡΠ½ΠΎΠ³ΠΎ Π°Π³Π΅Π½ΡΡΡΠ²Π° ΠΏΡΠ°Π²ΠΈΡΠ΅Π»ΡΡΡΠ²Π΅Π½Π½ΠΎΠΉ ΡΠ²ΡΠ·ΠΈ ΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ ΠΏΡΠΈ ΠΡΠ΅Π·ΠΈΠ΄Π΅Π½ΡΠ΅ Π ΠΎΡΡΠΈΠΉΡΠΊΠΎΠΉ Π€Π΅Π΄Π΅ΡΠ°ΡΠΈΠΈ ΠΏΡΠΈ ΡΡΠ°ΡΡΠΈΠΈ ΠΡΠ΅ΡΠΎΡΡΠΈΠΉΡΠΊΠΎΠ³ΠΎ Π½Π°ΡΡΠ½ΠΎ-ΠΈΡΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΡΠΊΠΎΠ³ΠΎ ΠΈΠ½ΡΡΠΈΡΡΡΠ° ΡΡΠ°Π½Π΄Π°ΡΡΠΈΠ·Π°ΡΠΈΠΈ. Π Π°Π·ΡΠ°Π±Π°ΡΡΠ²Π°Π»ΡΡ Π²Π·Π°ΠΌΠ΅Π½ ΠΠΠ‘Π’ Π 34.10−94 Π΄Π»Ρ ΠΎΠ±Π΅ΡΠΏΠ΅ΡΠ΅Π½ΠΈΡ Π±ΠΎΠ»ΡΡΠ΅ΠΉ ΡΡΠΎΠΉΠΊΠΎΡΡΠΈ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ°.
ΠΠΏΠΈΡΠ°Π½ΠΈΠ΅ Π°Π»Π³ΠΎΡΠΈΡΠΌΠ°: ΠΠΠ‘Π’ Π 34.10−2001 ΠΎΡΠ½ΠΎΠ²Π°Π½ Π½Π° ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΈΡ ΠΊΡΠΈΠ²ΡΡ . ΠΠ³ΠΎ ΡΡΠΎΠΉΠΊΠΎΡΡΡ ΠΎΡΠ½ΠΎΠ²ΡΠ²Π°Π΅ΡΡΡ Π½Π° ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΠΈ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΠΎΠ³ΠΎ Π»ΠΎΠ³Π°ΡΠΈΡΠΌΠ° Π² Π³ΡΡΠΏΠΏΠ΅ ΡΠΎΡΠ΅ΠΊ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ, Π° ΡΠ°ΠΊΠΆΠ΅ Π½Π° ΡΡΠΎΠΉΠΊΠΎΡΡΠΈ Ρ ΡΡ-ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠΎ ΠΠΠ‘Π’ Π 34.11−94.
ΠΠΎΡΠ»Π΅ ΠΏΠΎΠ΄ΠΏΠΈΡΡΠ²Π°Π½ΠΈΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ Π ΠΊ Π½Π΅ΠΌΡ Π΄ΠΎΠΏΠΈΡΡΠ²Π°Π΅ΡΡΡ ΡΠΈΡΡΠΎΠ²Π°Ρ ΠΏΠΎΠ΄ΠΏΠΈΡΡ ΡΠ°Π·ΠΌΠ΅ΡΠΎΠΌ 512 Π±ΠΈΡ ΠΈ ΡΠ΅ΠΊΡΡΠΎΠ²ΠΎΠ΅ ΠΏΠΎΠ»Π΅. Π ΡΠ΅ΠΊΡΡΠΎΠ²ΠΎΠΌ ΠΏΠΎΠ»Π΅ ΠΌΠΎΠ³ΡΡ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡΡΡ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Π΄Π°ΡΠ° ΠΈ Π²ΡΠ΅ΠΌΡ ΠΎΡΠΏΡΠ°Π²ΠΊΠΈ ΠΈΠ»ΠΈ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠ΅ Π΄Π°Π½Π½ΡΠ΅ ΠΎΠ± ΠΎΡΠΏΡΠ°Π²ΠΈΡΠ΅Π»Π΅.
ΠΠ°ΡΠ°ΠΌΠ΅ΡΡΡ ΡΡ Π΅ΠΌΡ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ:
- 1. ΠΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ p — ΠΌΠΎΠ΄ΡΠ»Ρ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ ΡΠ°ΠΊΠΎΠΉ, ΡΡΠΎ p > 2255
- 2. ΠΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΊΡΠΈΠ²Π°Ρ E Π·Π°Π΄Π°Π΅ΡΡΡ ΡΠ²ΠΎΠΈΠΌ ΠΈΠ½Π²Π°ΡΠΈΠ°Π½ΡΠΎΠΌ J (E) ΠΈΠ»ΠΈ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°ΠΌΠΈ a, b Π Fp Π³Π΄Π΅ Fp —ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠ΅ ΠΏΡΠΎΡΡΠΎΠ΅ ΠΏΠΎΠ»Π΅. J (E) ΡΠ²ΡΠ·Π°Π½ Ρ ΠΊΠΎΡΡΡΠΈΡΠΈΠ΅Π½ΡΠ°ΠΌΠΈ a ΠΈ b ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ
.
ΠΏΡΠΈ ΡΡΠΎΠΌ 4a3 + 27b2? 0 (mod p).
- 3. Π¦Π΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ m — ΠΏΠΎΡΡΠ΄ΠΎΠΊ Π³ΡΡΠΏΠΏΡ ΡΠΎΡΠ΅ΠΊ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ (ΡΠΎ Π΅ΡΡΡ ΡΠΈΡΠ»ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² Π³ΡΡΠΏΠΏΡ). m Π½Π΅ Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡΡ Ρ p.
- 4. ΠΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ q, ΠΏΠΎΡΡΠ΄ΠΎΠΊ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ· ΡΠΈΠΊΠ»ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠΎΠ΄Π³ΡΡΠΏΠΏ Π³ΡΡΠΏΠΏΡ ΡΠΎΡΠ΅ΠΊ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ, ΡΠΎ Π΅ΡΡΡ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ m = nq, Π΄Π»Ρ Π½Π΅ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ n — Π½Π°ΡΡΡΠ°Π»ΡΠ½ΠΎΠ³ΠΎ. Π’Π°ΠΊ ΠΆΠ΅ q Π»Π΅ΠΆΠΈΡ Π² ΠΏΡΠ΅Π΄Π΅Π»Π°Ρ 2254 < q < 2256.
- 5. Π’ΠΎΡΠΊΠ° P (xp, yp)? 0 ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ E, ΡΠ²Π»ΡΡΡΠ°ΡΡΡ Π³Π΅Π½Π΅ΡΠ°ΡΠΎΡΠΎΠΌ ΠΏΠΎΠ΄Π³ΡΡΠΏΠΏΡ ΠΏΠΎΡΡΠ΄ΠΊΠ° q, ΠΈΠ»ΠΈ Π΄ΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ qP = 0. ΠΠ΄Π΅ΡΡ qP = P + P + …(q ΡΠ°Π·). Π 0 — Π½ΡΠ»Π΅Π²ΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ Π³ΡΡΠΏΠΏΡ ΡΠΎΡΠ΅ΠΊ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ.
- 6. h (M) — Ρ ΡΡ-ΡΡΠ½ΠΊΡΠΈΡ (ΠΠΠ‘Π’ Π 34.11−94) Π΄Π»ΠΈΠ½Π° Ρ ΡΡΠ° — 256 Π±ΠΈΡ.
- 7. ΠΠ°ΠΆΠ΄ΡΠΉ ΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΠ΅Π»Ρ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ ΠΈΠΌΠ΅Π΅Ρ Π»ΠΈΡΠ½ΡΠ΅ ΠΊΠ»ΡΡΠΈ: 1) ΠΊΠ»ΡΡ ΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΡ d — ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, Π»Π΅ΠΆΠ°ΡΠ΅Π΅ Π² ΠΏΡΠ΅Π΄Π΅Π»Π°Ρ 0 < d < q. 2) ΠΊΠ»ΡΡ ΡΠ°ΡΡΠΈΡΡΠΎΠ²Π°Π½ΠΈΡ Q (xq, yq) — ΡΠΎΡΠΊΠ° ΡΠ»Π»ΠΈΠΏΡΠΈΡ. ΠΊΡΠΈΠ²ΠΎΠΉ, dP = Q.
- 8. ΠΡΠΈ ΡΡΠΎΠΌ Π΄ΠΎΠ»ΠΆΠ½Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ: 1) pt? 1 (mod q), Π³Π΄Π΅ B? 31. 2) J (E)? 0 ΠΈ J (E)? 1728.
ΠΠΎΠ΄ΠΏΠΈΡΡΠ²Π°Π½ΠΈΠ΅:
- 1. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ Ρ ΡΡ-ΡΡΠ½ΠΊΡΠΈΠΈ ΠΎΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ Π: m = h (M)
- 2. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ e = z (mod q), ΠΈ Π΅ΡΠ»ΠΈ e = 0, ΠΏΠΎΠ»ΠΎΠΆΠΈΡΡ e = 1. ΠΠ΄Π΅ z — ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅Π΅ m
- 3. ΠΠ΅Π½Π΅ΡΠ°ΡΠΈΡ ΡΠ»ΡΡΠ°ΠΉΠ½ΠΎΠ³ΠΎ ΡΠΈΡΠ»Π° k, ΡΠ°ΠΊΠΎΠ³ΠΎ ΡΡΠΎ 0 < k < q
- 4. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΡΠΎΡΠΊΠΈ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ C = kP, ΠΈ ΠΏΠΎ Π½Π΅ΠΉ Π½Π°Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΠ΅ r = xc (mod q) (xc — ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ° x ΡΠΎΡΠΊΠΈ C). ΠΡΠ»ΠΈ r = 0, Π²ΠΎΠ·Π²ΡΠ°ΡΠ°Π΅ΠΌΡΡ ΠΊ ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠ΅ΠΌΡ ΡΠ°Π³Ρ.
- 5. ΠΠ°Ρ ΠΎΠΆΠ΄Π΅Π½ΠΈΠ΅ s = rd + ke (mod q). ΠΡΠ»ΠΈ s = 0, Π²ΠΎΠ·Π²ΡΠ°ΡΠ°Π΅ΠΌΡΡ ΠΊ ΡΠ°Π³Ρ 3.
- 6. Π€ΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠΈΡΡΠΎΠ²ΠΎΠΉ ΠΏΠΎΠ΄ΠΏΠΈΡΠΈ (r, s)
ΠΡΠΎΠ²Π΅ΡΠΊΠ°:
- 1. ΠΡΠ»ΠΈ Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π½Π΅ΡΠ°Π²Π΅Π½ΡΡΠ² r < q ΠΈ s < q Π½Π΅Π²Π΅ΡΠ½ΠΎ, ΡΠΎ ΠΏΠΎΠ΄ΠΏΠΈΡΡ Π½Π΅ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ.
- 2. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ Ρ ΡΡ-ΡΡΠ½ΠΊΡΠΈΠΈ ΠΎΡ ΡΠΎΠΎΠ±ΡΠ΅Π½ΠΈΡ Π: m = h (M)
- 3. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ e = z (mod q), ΠΈ Π΅ΡΠ»ΠΈ e = 0, ΠΏΠΎΠ»ΠΎΠΆΠΈΡΡ e = 1. ΠΠ΄Π΅ z — ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ ΡΠΎΠΎΡΠ²Π΅ΡΡΠ²ΡΡΡΠ΅Π΅
- 4. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ v = e — 1 (mod q)
- 5. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ z1 = sv (mod q) ΠΈ z2 = - rv (mod q)
- 6. ΠΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ ΡΠΎΡΠΊΠΈ ΡΠ»Π»ΠΈΠΏΡΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΡΠΈΠ²ΠΎΠΉ C = z1P + z2Q. Π ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ R = xc(mod q), Π³Π΄Π΅ xc — ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ° x ΠΊΡΠΈΠ²ΠΎΠΉ C. Π ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° R = r ΠΏΠΎΠ΄ΠΏΠΈΡΡ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ, ΠΈΠ½Π°ΡΠ΅ — Π½Π΅ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½Π°Ρ.