The Truth about Smart Contracts