What's the core ordering mechanism behind the serializability for arbitrary distributed transactions? This would be something like TrueTime in Spanner or FoundationDB's GRV/commit proxies.
The core tx ordering mechanism is inspired by Calvin deterministic transactions mechanism. We have some differences, like we have a distributed tx coordinator that allow us to scale number of transactions in flight.