Money grows on (proof-)trees: the formal FA1.2 ledger standard

Murdoch Gabbay, Arvid Jakobsson, Kristina Sojakova

Once you have invented digital money, you may need a ledger to track who owns what -- and an interface to that ledger so that users of your money can transact. On the Tezos blockch…