Неможливо довести, що смарт-контракт є безпечним