The need for auditing a smart contract