Validation and Verification of Smart Contracts: A Research Agenda | Synapse