UInt256 long digits record#9677

Merged

lu-pinto merged 36 commits intobesu-eth:mainfrom

thomas-quadratic:feat/uint256-as-record

Mar 1, 2026

Commits on Feb 24, 2026

ENH: represent UInt256 as big-endian limbs

thomas-quadratic
authored and
lu-pinto
committed
FIX: array indices bugs for fromBytesBE and mulMod.

thomas-quadratic
authored and
lu-pinto
committed
FIX: offset indices in mulMod and fromBytesBE

thomas-quadratic
authored and
lu-pinto
committed
FIX: spotless

thomas-quadratic
authored and
lu-pinto
committed
ENH: cleaning addition and compareLimbs

thomas-quadratic
authored and
lu-pinto
committed
ENH: big-endian long limbs for UInt256

thomas-quadratic
authored and
lu-pinto
committed
ENH: migrated mod to record based UInt256

thomas-quadratic
authored and
lu-pinto
committed
FIX: uint256 mod bugs

thomas-quadratic
authored and
lu-pinto
committed
ENH: improve on worst case fromBytesBE

thomas-quadratic
authored and
lu-pinto
committed
FIX: spotless

thomas-quadratic
authored and
lu-pinto
committed
REF: records for addMod and mulMod

thomas-quadratic
authored and
lu-pinto
committed
FIX: spotless and mod bugs

thomas-quadratic
authored and
lu-pinto
committed
FIX: tests passing

thomas-quadratic
authored and
lu-pinto
committed
FIX: spotless

thomas-quadratic
authored and
lu-pinto
committed
ENH: use div2by1 instead of div3by2

thomas-quadratic
authored and
lu-pinto
committed
FIX: spotless

thomas-quadratic
authored and
lu-pinto
committed
FIX: javadoc

thomas-quadratic
authored and
lu-pinto
committed
Add record-based UInt256 invariants

moodmosaic
authored and
lu-pinto
committed
Constrain UInt256 shift invariants to documented precondition

moodmosaic
authored and
lu-pinto
committed
FIX: first reduction step overflow fix + add/sub/mul ops

thomas-quadratic
authored and
lu-pinto
committed
ADD: prop tests for add/sub/mul and refactor prop tests

thomas-quadratic
authored and
lu-pinto
committed
Expose bug

siladu
authored and
lu-pinto
committed
UInt256 with better code layout and perf optimizations
lu-pinto
committed
Branchless code for multiplication
lu-pinto
committed
spotless
lu-pinto
committed
add branchless code in div2by1 and mod2by1
lu-pinto
committed
Make adc(UInt256) branchless
lu-pinto
committed
Make mac* methods carry branchless
lu-pinto
committed
Make mul64 method carry branchless
lu-pinto
committed
Make reciprocal, div2by and mod2by1 method branchless
lu-pinto
committed
Make mulSub* and addBack methods branchless
lu-pinto
committed
Implement fast/slow paths for reduceNormalised methods
lu-pinto
committed
Fix issue in mulSubOverflow
lu-pinto
committed
Fix issue with mulSub borrows
lu-pinto
committed
FIX: removed test for code that became dead and fixed spotless
thomas-quadratic
committed

Commits on Mar 1, 2026

Merge branch 'main' into feat/uint256-as-record
lu-pinto
authored