Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof

Alex Auvolat, Davide Frey, Michel Raynal +1

It has recently been shown that, contrarily to a common belief, money transfer in the presence of faulty (Byzantine) processes does not require strong agreement such as consensus.…