Una persona hábil puede simplemente leer un contrato no verificado. Los descompiladores son reales.