It's obvious that they see the issue, since the examples in their slide deck are about correlation between different securities and between the same security trading on different exchanges. What I don't see is how batch auctions get around the distributed systems problem; we're still talking about an eventually-consistent system, right? There still must be opportunities for sniping, right?
(I'm not smart enough to know the answer, which is why I'm asking).
