An empirical analysis of smart contracts: platforms, applications, and design patterns | Synapse