Mit ETH kann man Vertraege aufsetzen, bei welchen man nicht mal beweisen kann, dass sie jemals erfuellt werden.
Und wieso kann man nicht beweisen dass sie erfüllt werden?
Weil ETH, soweit ich weiss, wie Dein PC Turing-complete sind, d.h. das Halteproblem greift. Ergo kannst Du Vertraege aka Programme verfassen, wo sich nicht beweisen laesst, ob diese ueberhaupt mal anhalten.
Dafür gibt es ja Ether. Wenn deinem smart contract das Geld ausgeht, hält er an.
q.e.d. ■
