Мне бы лучше кто объяснил почему полнота по Тьюрингу это плохо для безопасности. Я почему то так не думаю.
Да и эта дискуссия все равно бы была полезнее в этом разделе.
Полнота по Тьюрингу вещь обоюдоострая, и да - это плохо для безопасности.
Код смарт-контрактов обычно открытый и написан на языке высокого уровня, любой человек с навыками программирования может проанализировать его и попробовать найти уязвимость, а затем попытаться её использовать. Более того, возможность исполнять в смарт-контрактах произвольный код означает, что рано или поздно кто-то напишет злонамеренный код, и возможно он пройдет аудит безопасности и уйдёт в продакш.
Вангую появление вирусных смарт-контрактов.