modinv62 - #37

Draft

dannywillems wants to merge 8 commits into

mainfrom

Commits on Sep 25, 2026

feat(Fields): the Bernstein-Yang divstep recurrence over the integers

dannywillems
and
claude
committed
a64410c
feat(Fields): modular inversion by divsteps, proved correct

dannywillems
and
claude
committed
244fe7f
feat(Fields): port the batched 62-divstep kernel

dannywillems
and
claude
committed
aaef4a4
feat(Fields): port the signed-radix-2^62 limb layer

dannywillems
and
claude
committed
a352647
feat(Fields): instantiate the divstep inversion at the Pasta fields

dannywillems
and
claude
committed
857967f
feat(Fields): import the divstep inversion from the root module

dannywillems
and
claude
committed
6703a43
meta: census the divstep inversion declarations

dannywillems
and
claude
committed
7382a15
docs: note the divstep inversion in the status list

dannywillems
and
claude
committed
80f58c2