невозможно доказать, что смарт-контракт безопасен