refactor(prover): centralize u64 limb decomposition (dword_wl/dword_hl) - #697

Closed

MauroToscano wants to merge 2 commits into

mainfrom

refactor/dword-limb-helpers

Commits on Jun 22, 2026

refactor(prover): centralize u64 limb decomposition into dword_wl/dword_hl
MauroToscano
committed
38a3b73
refactor(prover): single-source the limb decomposition in remaining sites
MauroToscano
committed
e209613