Simplifying smart contract auditing using AI