Skip to content

Prove six-call two-SWAP cost with arbitrary address spectators - #4939

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/two-swap-address-spectators
Oct 23, 2026
Merged

Prove six-call two-SWAP cost with arbitrary address spectators#4939
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/two-swap-address-spectators

Prove six-call two-swap bound with arbitrary address spectators

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