From 6f4c40672e102419bf64009731a54895e81df5c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Simon=20Gantef=C3=B6hr?= Date: Wed, 29 May 2024 13:57:26 +0200 Subject: [PATCH] =?UTF-8?q?comment=20fix=20f=C3=BCr=20calculate=20p=20and?= =?UTF-8?q?=20q?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/math_core/ecc/secure_finite_field_elliptic_curve.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/math_core/ecc/secure_finite_field_elliptic_curve.rs b/src/math_core/ecc/secure_finite_field_elliptic_curve.rs index 4b99836..94fd0a7 100644 --- a/src/math_core/ecc/secure_finite_field_elliptic_curve.rs +++ b/src/math_core/ecc/secure_finite_field_elliptic_curve.rs @@ -152,14 +152,14 @@ impl SecureFiniteFieldEllipticCurve { let service = NumberTheoryService::new(Slow); let prng = PseudoRandomNumberGenerator::new_seeded(); // TODO übergeben lassen - // Die Schleife, die läuft, bis 'q = N / 8' eine Primzahl ergibt. + // Die Schleife läuft, bis 'q = N / 8' eine Primzahl ergibt. loop { - // Die Schleife, die eine passende Primzahl bestimmt. + // Die Schleife bestimmt eine passende Primzahl. loop { // Wenn die Primzahl folgende Bedingungen erfüllt, so genügt sie dem Verfahren: // 1. Sie ist eine Primzahl - // 2. Sie ist ein quadratischer Rest zu p, also n^((p-1)/2) = 1 (mod p) -- Skript Satz 1.15 - // 3. Sie ist kein Vielfaches von 2n + // 2. n ist ein quadratischer Rest zu p, also n^((p-1)/2) = 1 (mod p) -- Skript Satz 1.15 + // 3. Sie ist kein Teiler von 2n if service.is_probably_prime(&prime, miller_rabin_iterations, &prng) && service .fast_exponentiation(&n.into(), &prime.decrement().half(), &prime)