• Gamified brand loyalty programs like Starbucks will unlock strong use cases for NFTs.<br><br>• Formal methods-inspired tooling will improve smart contract security.
• Gamified brand loyalty programs like Starbucks will unlock strong use cases for NFTs.

• Formal methods-inspired tooling will improve smart contract security.