Cryptocurrency requires money to pay for transactions. The most performant pieces of smart contracts by the best firms are written in assembly, as this saves money. The crypto industry has been the primary financial motivator for advancement in formal verification technology over the past few years.