Last Updated: June 2, 2017 “Why Smart Contracts Fail: Undiscovered bugs and what we can do about them” View at Medium.com