es imposible demostrar que un contrato inteligente es seguro