Комментарии

Так никто не отрицает, что контракты не изолированы. Само собой, понятно, что уровень безопасности чейнов с поддержкой Тьюринг-полных контрактов меньше чем у Тьюринг-неполных. Просто на блокчейнах типа Биткоина практически невозможно загнать сложную бизнес логику в транзакцию, я уже молчу про полноценные ДАО с неоднородными функциями и ролями.

Вопрос в том, а нужно ли ради этой незначительно улучшенной безопасности отказываться от возможности автоматизации на блокчейне?
Статья ведь о том что у Тьюринг-полных контрактов нет будущего, а моя позиция что есть и огромное, но ценой историй о том как эти контракты хакают.

dr-orlovsky, не могу понять при чем тут SMART-контракты в эфире в комплексе, к хакнутым контрактам как частному явлению? По-сути дырка была не в блокчейне с Тьюринг-полным языком, а в софте, который разворачивал контракты с ошибкой цикла внутри. Etherium требует элегантности кода, иначе контракты будут дорогие, что иногда приводит к ошибкам кода из-за желания экономить газ.
С другой стороны, под ударом оказались только MultiSig Parity контракты, а не все SMART-контракты в Etherium. Я согласен, что классический блокчейн Bitcoin дает больше безопасности, потому что исключает участие софта с ошибками в циклах. Но Bitcoin как следствие - огромный мастодонт, где сложная бизнес-логика будет выполняться настолько долго, что мы дождемся, когда будут проходить поколения прежде чем мы совершим транзакцию.
SMART-контракты дают гибкость и скорость решения сложной бизнес логики, но добро пожаловать в мир с дырками в софте, которые их разворачивают.
Возвращаясь к выводам в конце статью, о том что фейл может грохнуть все цепь. Не согласен, поскольку удар был только по Parity кошелькам, в остальных контрактах такой ошибки нет и они остались нетронутыми - вот Вам и пример как компенсируется Тьюринг-полные SMART-контракты в Гедель-неполных системах.
Мне кажется, тут речь о том, что блокчейн в целом и SMART-контракты в частности еще сырая технология. Если все стремиться получить быструю и гибкую систему, то нужно концентрироваться не на разных формах разворачивания контрактов с минимальной ценой газа (что нужно каждому частному пользователю), а на формировании экосистемы разработки (что нужно всем). Сейчас ведь нет эффективных систем оркестрации контрактами, доверенного middleware, возможностей A/B тестирования и т.п.