Introduction to Smart Contract Security – version 1