Det er umulig å bevise at en smart kontrakt er sikker