Skip to content

Reduce exact downset replay time with integer dot products - #5002

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/exact-matrix-product-20261023
Oct 23, 2026
Merged

Reduce exact downset replay time with integer dot products#5002
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
aliromman:codex/exact-matrix-product-20261023

Preserve the frozen downset proof and separate runtime notes

021affc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 7s