Es ist unmöglich zu beweisen, dass ein Smart Contract sicher ist