Es imposible demostrar que un contrato inteligente sea seguro