Smart Contract Audit by Dimitris Pallis