[fighterpilot]

Correct. I believe you need to randomize the auction time. This massively reduces the speed advantage. Without that speed is as important as ever.

How does a priority queue work?

[akvadrako]

That just leads to the same question: is there proof its harder to game random batches?

[fighterpilot]

Gameability is distinct to whether there is an advantage to low latency. A random batch auction will be gameable but not so much via speed. Not sure how a math proof would work for that though.