Není možné dokázat, že chytrý kontrakt je bezpečný