é impossível provar que um contrato inteligente é seguro