Skip to content

Prove four-call Q8 central-minus-one minimum for all r - #2047

Merged
Mister-Meeseeks merged 5 commits into
CrocSwap:mainfrom
1337isnot1337:research/q8-central-minus-one-any-r-seed0332f4
Oct 15, 2026
Merged

Prove four-call Q8 central-minus-one minimum for all r#2047
Mister-Meeseeks merged 5 commits into
CrocSwap:mainfrom
1337isnot1337:research/q8-central-minus-one-any-r-seed0332f4

Clarify substantive Q8 result commit in handoff

46bce88
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 15, 2026 in 5m 38s