Det är omöjligt att bevisa att ett smart kontrakt är säkert