A EVM pode ter bugs O compilador pode ter bugs O contrato pode ter bugs A interface pode ter bugs