Why Payment State Is the Hardest Problem in Distributed Syst