Analysis of Smart Contract Platforms: Part 1