perf: rewrite square_redc to unroll and use single-word carries - #616

Draft

prestwich wants to merge 11 commits into

prestwich/const-eq-dwfrom

prestwich/square-redc

Commits on Jul 10, 2026

perf: rewrite square_redc to unroll and use single-word carries

prestwich
and
claude
committed
bench: add verified field moduli and Montgomery context

prestwich
and
claude
committed
bench: add fixed-modulus field kernels (redc, fixed exponents)

prestwich
and
claude
committed
bench: add latency-chain benchmarks (serialized dependency chains)

prestwich
and
claude
committed
bench: add Jacobian point double/add kernels with known-answer checks

prestwich
and
claude
committed
bench: add fp2 mul, scalar segment, ECDSA prologue, batch inversion

prestwich
and
claude
committed
bench: add realistic-distribution comparison benchmarks

prestwich
and
claude
committed
bench: appease clippy and nightly rustfmt

prestwich
and
claude
committed
bench: add const_eq/const_is_zero chained + dist variants, 512-bit widths
prestwich
committed
chore: appease clippy needless_range_loop in square_redc reduction

prestwich
and
claude
committed
test: pin square_redc carry saturation and untested widths

prestwich
and
claude
committed