Justsomebuddy 29ac4d8491 sage: verify Eisenstein integer connection for GLV constants ...

Add assertions to verify that the GLV decomposition constants arise
from the Eisenstein integer factorization of the group order N.

The group order factors as N = pi * conj(pi) in Z[w], where pi = A - B*w
is an Eisenstein prime. The GLV eigenvalue LAMBDA = B/A mod N, which is
the image of w^2 under the isomorphism Z[w]/(pi) -> Z/NZ.

2026-01-14 15:48:50 +00:00

..

gen_exhaustive_groups.sage

Introduce SECP256K1_B macro for curve b coefficient

2023-01-13 17:05:39 -05:00

gen_split_lambda_constants.sage

sage: verify Eisenstein integer connection for GLV constants

2026-01-14 15:48:50 +00:00

group_prover.sage

small fixes

2023-07-03 17:05:55 +02:00

prove_group_implementations.sage

Merge bitcoin-core/secp256k1#1078: group: Save a normalize_to_zero in gej_add_ge

2023-02-14 14:55:46 -05:00

secp256k1_params.sage

Fix G.y parity in sage code

2021-10-20 10:14:13 -04:00

weierstrass_prover.sage

sage: Ensure that constraints are always fastfracs

2022-02-04 15:39:44 +01:00