Prescribing a factor by elliptic-curve tripling
ID: prescribing-a-factor-by-elliptic-curve-tripling
Let with primes and . quadratic reciprocity makes three a square modulo ; choose and impose , by the Chinese remainder theorem. The curve has good reduction at both primes. Indeed its discriminant is ; the first condition could make a factor vanish only at or 11, while the second gives and the given residue class excludes .
Doubling gives . This vanishes modulo and equals one modulo . Modulo one also has , so and is the identity. Modulo the addition is finite. Thus computing modulo encounters a denominator whose greatest common divisor with is exactly , revealing the factor. The numerator difference is minus two modulo , so the failed inverse cannot be cancelled. This is a construction of successful elliptic curve method data from prescribed local group behavior.
New to topics? Read the docs here!