Repository navigation

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

Commits on Oct 23, 2026
- Use exact integer dot products in the downset replay
  aliromman
  committed
  afe5f0d
- Preserve the frozen downset proof and separate runtime notes
  aliromman
  committed
  021affc