Ответы

Отличный текст!

Решил загуглить про президента Швейцарии:

• Президент Швейцарии не является главой государства..
• президент не имеет полномочий руководить другими членами Совета и продолжает возглавлять свой департамент.
• Избирается на один год
• обладает по преимуществу, представительскими функциями.
• В отличие от президента Австрии или Германии, президент Швейцарии не является ни главой государства, ни главой правительства.
  Хочу в Швейцарию :)

А продать на голдвойсе на внутренней бирже можно гбг и купить голос? Или перевести голос в силу? Разъясните, плиз.

Максим, огромное спасибо!

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

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

Ну я не очень спорю ;) Просто Вашa оценка кажется мне необоснованной, включая ссылки на Геделя.

>...разбивали «глобальный вычислительный домен» на зоны, как крупные корабли имеют отсеки, позволяющие контролировать риск в случае пробоины. И задача ближайшего времени — инженеринг таких систем.

Мой поинт в том что для создания таких "отсеков" не надо никаких "таких' систем. Ethereum вполне достаточен сам по себе. Всегда немного жалко, когда талантливые люди тратят время на решение выдуманых проблем.

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

> показал последний хак multisig-кошельков Parity

Хак как раз и показал что проблема исключительно локализована. Нет? Никакой угрозы самой платформе не было и нет.

Скажу другими словами. Ethereum платформа вполне смодостаточна чтобы не ее основе создавать абсолютно не перескающиеся сегменты. Никакого дополнительного уровня сложности для этого городить не надо.

И еще маленькое замечание.

> мутабельны через механизм транзакций.

;) Код неизменен. Если мы говорим о возможности вирусов, то это про изменение кода. Никакой, в этом смысле, мутабельности через транзакции не существует.

Гёдель здесь больше для красоты, конечно.

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

При всей кажущейся убедительности (оставив в стороне вольности в трактовке понятий), на мой взгляд здесь большая сущностная ошибка.
Ethereum можно условно считать одним большим компьютером в котором выполняутся смарт контракты. Но это очень поверхностная интерпретация. Дело в том что внутри Ethereum виртуальной машины реализована очень строгая сегментация. Т.е. взлом одного контракта не оказывает никакого влияния на другой контракт (если только это специально не запрограмированно). Эта сегментация принципиально отличается от межпроцессного разделения внутри обычного компьютера. Криптографически гарантирована невозможность изменить память контракта, не имея к нему легального доступа. В этом смысле никакие вирусы, которые могут "залезть" в память другого контракта невозможны.
Таким образом врожденной проблемы в Turing Complete смарт контрактах нет.
Другое дело что сами по себе контракты могут содержать ошибки. Это разумеется справедливо. Но эту проблему создание "многообразия форм децентрализации" не решает.

Очень интересно... спасиБО !!!