Barrett Reduction for division and modular arithmetic - #2514

Open

cmcl wants to merge 6 commits into

mainfrom

cmcl/malvarez-uint256-barrett-reduction-rebased

Commits on Sep 2, 2026

Division and modular arithmetic via Barrett reduction

m-alvarez
authored and
cmcl
committed
55d8c3b
[core/runtime] Clean up Barrett reciprocal helpers
cmcl
committed
be8c911
[core/runtime] Clarify Barrett pre-shift comments
cmcl
committed
934bb4c
[core/runtime] Constrain Barrett generic surface
cmcl
committed
70fc6d0
[test/vm] Add Barrett reduction unit tests

committed
e3ac163
[core/runtime] Refine Barrett multiplier constraints

cmcl
and
codex
committed
bd2b968