Port highly-optimized `sqrt` and `cbrt` from Solady and 0x-Settler - #6

Merged

ZeframLou merged 21 commits into

Bacon-labs:mainfrom

duncancmt:dcmt/golf-roots

May 26, 2026

Commits on May 13, 2026

Add optimized `sqrt` and `cbrt` to FixedPointMathLib
duncancmt
committed
ea35503
Prove optimized FixedPointMathLib roots

duncancmt
and
codex
committed
c9ed8c9

Commits on May 14, 2026

Update comment for Verity, not Yul
duncancmt
committed
0e1bc7e
Use branchless root corrections

duncancmt
and
codex
committed
c486c7c
Prove branchless root corrections

duncancmt
and
codex
committed
4d0deb1
Reorganize sqrt and cbrt formal proofs for clarity and consistency

duncancmt
and
claude
committed
e6a74d2
Clean up root proof refactor

duncancmt
and
codex
committed
84b3dca
Merge branch 'main' into dcmt/golf-roots
duncancmt
committed
52f2c12
Fix clz coverage and proof module namespace

duncancmt
and
codex
committed
1e941db

Commits on May 16, 2026

Apply further optimizations from Vectorized/solady#1527
duncancmt
committed
4299ff2
Update cbrt proof seed model

duncancmt
and
codex
committed
79907af
Formatting
duncancmt
committed
da198fa

Commits on May 17, 2026

Apply further `cbrt` initial estimate optimizations from Solady

duncancmt
and
atarpara
committed
1c2ac89
Update cbrt proof for optimized seed

duncancmt
and
codex
committed
d9686fb

Commits on May 19, 2026

Tweak `cbrt` initialization constants for improved error bound

duncancmt
and
atarpara
committed
4a9a7bd
Update Tamago cbrt proof for adjusted seed constants

duncancmt
and
codex
committed
5b091ce
Update Verity byte support pin

duncancmt
and
codex
committed
c53a91e

Commits on May 23, 2026

Use pure fixed point math helpers

duncancmt
and
codex
committed
a7fa4ca
Pin Verity with pure support

duncancmt
and
codex
committed
a63f3fe

Commits on May 26, 2026

Allowlist WETH selfBalance trust surface

ZeframLou
and
claude
committed
cbd2dd3
Refresh tama.lock for allow_surfaces change

ZeframLou
and
claude
committed
43a0e66