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

Open

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
refactor(prover): use limb helpers in mul/dvrm tables
diegokingston
committed
refactor(prover): use set_limbs_32 in decode table (PC/IMM pairs)
diegokingston
committed
refactor(prover): use limb helpers in cpu/commit/load/page/register/memw tables
diegokingston
committed
refactor(prover): use limb helpers in lt/branch tables + trace_builder arrays
diegokingston
committed
refactor(prover): use limb helpers in eq/store/cpu32/keccak/ec tables
diegokingston
committed
refactor(prover): use limbs_16 for shift in_halves array
diegokingston
committed

Commits on Jun 22, 2026

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