Добавить в корзинуПозвонить
Найти в Дзене
Логика вещей

Первый в мире цифровой закон: Как программа выжила в мире без юристов и печатей?

Мы привыкли считать, что закон — это бумага, печать и подпись юриста. Но в реальности это лишь обещание, которое можно нарушить, оспорить или купить. Настоящий закон должен исполняться сам — без судов, приставов и звонков партнёру в три ночи. Как закон гравитации. Вы не договариваетесь с гравитацией. Она просто работает. Мы выяснили, что 256-битный замок невозможно взломать снаружи. Но замок бесполезен, если ключ к нему выдаёт человек, который может ошибиться, передумать или солгать. Именно здесь появляется идея, которая меняет саму природу договора. В 1994 году компьютерный учёный и правовед Ник Сабо опубликовал работу "Smart Contracts", где выдвинул провокационный тезис: любую сделку можно закодировать так, чтобы она исполнялась автоматически, без посредников. Он назвал это смарт-контрактом — самоисполняемым соглашением, зашитым в программный код. Для объяснения он взял самый простой пример из жизни. Торговый автомат. Вы бросаете монету — получаете банку колы. Автомат не просит вашу
Оглавление

Мы привыкли считать, что закон — это бумага, печать и подпись юриста. Но в реальности это лишь обещание, которое можно нарушить, оспорить или купить. Настоящий закон должен исполняться сам — без судов, приставов и звонков партнёру в три ночи. Как закон гравитации. Вы не договариваетесь с гравитацией. Она просто работает.

Мы выяснили, что 256-битный замок невозможно взломать снаружи.

Но замок бесполезен, если ключ к нему выдаёт человек, который может ошибиться, передумать или солгать. Именно здесь появляется идея, которая меняет саму природу договора.

Философия торгового автомата

-2

В 1994 году компьютерный учёный и правовед Ник Сабо опубликовал работу "Smart Contracts", где выдвинул провокационный тезис: любую сделку можно закодировать так, чтобы она исполнялась автоматически, без посредников. Он назвал это смарт-контрактом — самоисполняемым соглашением, зашитым в программный код.

Для объяснения он взял самый простой пример из жизни. Торговый автомат. Вы бросаете монету — получаете банку колы. Автомат не просит вашу подпись, не проверяет репутацию, не звонит юристу. Условие выполнено — товар выдан. Никакой человеческой воли между вашими деньгами и вашей колой. Аналогия ломается ровно в одном месте: физический автомат можно сломать ломом или заклинить фальшивой монетой. Код — нет. Код либо выполняется, либо нет.

Сабо понял, что компьютерные сети позволяют создать что-то принципиально новое: договор, который нельзя нарушить, потому что он не зависит от желания сторон. Условие выполнено — обязательство исполнено автоматически. Никто не может «передумать» после того, как монета брошена. Такие контракты могут быть тюринг-полными — то есть способными описать любые условия сделки любой сложности, от простого платежа до многоуровневого корпоративного договора. На языке кода можно запрограммировать что угодно.

Но что если цена ошибки в таком автомате — не банка колы, а бюджет небольшой страны?

Драма The DAO: когда закон пошёл не так

Прошло двадцать лет. Идею Сабо подхватил Ethereum, и в 2016 году в сети появился проект The DAO — децентрализованный инвестиционный фонд, построенный целиком на смарт-контрактах. Никаких директоров, никаких советов, никаких офисов. Только код, который принимал взносы, голосовал за проекты и распределял прибыль.

Люди поверили. За несколько недель The DAO собрал более $150 млн в эквиваленте Ether — крупнейшее краудфандинговое привлечение в истории на тот момент. Лозунг звучал просто и убедительно: «Code is Law» — код и есть закон. Никаких человеческих решений, никаких злоупотреблений, никакой коррупции.

Представьте: $50 млн исчезают у всех на глазах — и буквально никто не может нажать кнопку «стоп». Именно это произошло в июне 2016 года.

Неизвестный атакующий нашёл в коде уязвимость — рекурсивный вызов (re-entrancy). Это означало, что контракт успевал отправлять средства повторно ещё до того, как фиксировал факт первой выплаты. Грабёж выглядел как банковский клерк, который нашёл пункт устава, позволяющий ему выносить деньги через служебный вход — строго по правилам, прописанным в документах. В обычном банке его бы остановила охрана. Здесь охраны не было. Был только код. А код работал именно так, как его написали.

Никто не взламывал систему. Атакующий использовал систему строго по инструкции — просто инструкция содержала ошибку.

Великий раскол: что важнее — код или справедливость?

-3

Перед сообществом Ethereum встал вопрос, который звучит просто, но разрезает философию пополам: если «Code is Law» — то атакующий действовал законно. Деньги его. Точка.

Большинство участников с этим не согласились. Разработчики Ethereum предложили хардфорк — принудительное изменение истории блокчейна, которое возвращало средства их законным владельцам. Это сработало. Деньги вернулись. Но сеть раскололась: те, кто считал кодекс неприкосновенным, отказались принять новую версию и продолжили работу в оригинальной цепи. Так появились Ethereum и Ethereum Classic — две параллельные реальности с одной общей историей и разными ответами на один вопрос.

Переписывание истории в блокчейне невозможно без раскола. Нельзя вырвать страницу из летописи — можно только создать новую летопись, где этой страницы не было. Именно это и сделало сообщество. Урок оказался дорогим: год спустя, в 2017 году, ошибка в контракте кошелька Parity привела к тому, что один пользователь случайно «убил» общий код и заморозил $280 млн. Навсегда. Без возможности хардфорка.

Код честнее человека. Но только если человек написал его без ошибок. Это и есть настоящий парадокс цифрового закона.

Если мы договорились, что код — это закон, то что произойдёт с этим законом, когда появится сила, способная переписать саму математику, на которой он написан? Квантовый компьютер — это не просто быстрая машина. Это вопрос о том, устоит ли цифровая конституция перед вычислительной мощью, которая не знает ограничений термодинамики.

В «Логике вещей» мы разбираем правила игры, пока они ещё не изменились. Это четвёртый слой. Финальный — рядом.