Interestingly, it's the only game I know of that uses deterministic coding for multiplayer - rather than updating the game state for everyone (since there are p

Interestingly, it's the only game I know of that uses deterministic coding for multiplayer - rather than updating the game state for everyone (since there are potentially tens of thousands of moving items every tick), all clients simulate it locally using code verified to be deterministic so that everyone ends up with the same view of the game.