Сложнее и дороже

Если кто думает, что благодаря «смарт-контрактам» можно будет сэкономить на юристах или что судебные тяжбы станут дешевле, то он витает в облаках. Все будет только сложнее и дороже. Если сейчас плохой код ведет к потерям производительности или, в худшем случае, к потерям ценных данных, то баг в «смарт-контракте» может привести к вполне конкретным финансовым потерям, размер которых непредсказуем. Если не будет отката транзакций (а потенциально может потребоваться откат миллионов или даже миллиардов транзакций, что уже случалось в практике «традиционных финансов»), если не будет нормального арбитража с участием людей (да и человеческие возможности разобраться в сложном коде весьма ограничены), если не появится совершенно новая теория алгоритмов, которая позволит математически доказать безошибочность кода (а это вообще никак не светит, ни в ближайшем, ни в отдаленном будущем), то расходы на проверку, тестирование и отладку сложных «смарт-контрактов» по стандартам NASA превысят всю экономию.

Оригинальная заметка в Facebook была удалена, комментарии архивированы. Если вы были участником дискуссии, с удовольствием предоставлю вам копию архива.