Upcoming paper: An empirical analysis of smart contracts: platforms, applications, and design patterns