Token Contracts

FA1.2 is a smart contract specification that describes a ledger that maps identities to balances. This ledger implements transfers of tokens and a way to approve spending other accounts' tokens.

There are multiple implementations of FA1.2 specifications and multiple tools that allow to interact with these (and other) smart contracts. We will demonstrate two FA1.2 implementations - ManagedLedger created using Lorentz/Morley framework and a minimal FA1.2 written in LIGO.