É impossível provar que um contrato inteligente é seguro