To be clear, I'm not saying it has to be literally Paxos as a service. There's a bunch of ways you can take operations from different sources in a distributed system and produce a consensus view of what happened first. But aside from trivial and low-performance options (e.g. everyone contends on a single DynamoDB item and uses conditional writes) Amazon hasn't made any of the possibilities available.