Este imposibil să demonstrezi că un contract inteligent este sigur