ECO TCH DE Dehvcurtis Robust Smart Contracts: Checks-Effects-Interactions Pattern for Secure dApps Introduction