У вас странная манера спорить, говорите то же самое, что сказал я, и при делаете вид, что вы правы, а я неправ.
Вы похожи на сельского гопника, которому просто хочется подраться, и неважно по какому поводу.
Не совсем, разберем по тезисам.
Твои тезисы:
1. Высокоуровневый язык и каждый может его понять.
2. Возможность исполнять произвольный код
3. Злонамеренный код
Мой тезис (который приходит мне в голову) :
1. Баги появляются из-за непонимания кодерами что они делают.
Мой тезис не является аргументом в пользу отказа от Тьюринг полного языка. Он является аргументов в пользу отказа от придурков-кодеров. Твои тезисы вообще являются какими то обобщенными, они к скриптовому языку подходят, и к высокоуровневому. Их (в моем понимании) рассматривать нельзя.
Вы предлагаете искоренить человеческую глупость, или что?
Ошибки в коде были, есть и будут, но на примитивных скриптах они (как правило) менее драматичны по последствиям, а в смарт-контракте тупанул чутка и сразу слил 30 мегабаксов. Сколько таких ошибок и уязвимостей в коде действующих смарт-контрактов, не очевидных, неявных, тонких? Думаю, дохуя.
А тот скандал с аудитом кода смарт-контрактов банкора, от которого разработчики типа отмахались, но часть вопросов просто повисла в воздухе?
Вопросы то серьёзные, там куча бэкдоров и закладок прошла через аудит безопасности.