The digitization of financial assets, which includes digital currencies, formal verification, and smart money, extends the benefits of blockchain by enabling ...