Repository navigation

Prove a single three-cycle costs six with arbitrary address spectators - #4974

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

JoyboyBrian:brian/three-cycle-address-floor

Oct 23, 2026

Merged

Prove a single three-cycle costs six with arbitrary address spectators#4974
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/three-cycle-address-floor

Commits on Oct 23, 2026
- Prove uniform three-cycle reduction to four address coordinates
  JoyboyBrian
  committed
  af21886
- Certify the five-call exclusion with disjoint exact engines
  JoyboyBrian
  committed
  538ccab