A Blockchain Grand Challenge: Smart Financial Derivatives
Validation and Verification of Smart Contracts: A Research Agenda