refactor(prover): centralize u64 limb decomposition into a limbs helper - #693

Closed

diegokingston wants to merge 8 commits into

mainfrom

refactor/limb-decomposition

Commits on Jun 19, 2026

feat(prover): add limb-decomposition helpers (limbs module)
diegokingston
committed
a44e9ea
refactor(prover): use limb helpers in mul/dvrm tables
diegokingston
committed
9ba290b
refactor(prover): use set_limbs_32 in decode table (PC/IMM pairs)
diegokingston
committed
5b164a4
refactor(prover): use limb helpers in cpu/commit/load/page/register/memw tables
diegokingston
committed
02eb6e3
refactor(prover): use limb helpers in lt/branch tables + trace_builder arrays
diegokingston
committed
4791de9
refactor(prover): use limb helpers in eq/store/cpu32/keccak/ec tables
diegokingston
committed
465c154
refactor(prover): use limbs_16 for shift in_halves array
diegokingston
committed
cbc1b48

Commits on Jun 22, 2026

style(prover): cargo fmt — sort limbs use-imports
diegokingston
committed
6d77d32