📝 Намерение, зафиксированное в коде – это закон (Daniel Larimer)

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

Децентрализованное рождение нового блокчейна и системы управления может быть несколько сумбурным, потому что все и каждый пытается выяснить, как именно действуют правила. Некоторые люди хотят скопировать существующие юридические структуры, другие хотят регулировать все виды поведения, а третьи хотят придерживаться принципа “код – это закон” (Code is Law).

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

Что нам обещает принцип “код – это закон”

Самым ценным свойством принципа “код – это закон” является устранение всякого пространства для спора. Все условия контракта изложены в коде, который будет добросовестно выполняться, если только ему не помешает цензура. Это обеспечивает всем сторонам надежные гарантии и предсказуемость, за исключением случаев, когда обнаруживаются баги (различия между ожиданиями сторон, использующих код, и тем, что на самом деле выполняется).

EOS признает, что баги находятся в любом коде, и что сообществу нужен процесс быстрого определения истинного намерения смарт-контракта и разрешения ситуации соответствующим образом. Это не что иное, как формализация и ускорение того же типа процесса, который использовался Ethereum для разрешения ситуации со взломом DAO, или использовался в сети Биткоин для форка 0.7/0.8.

Хаос контрактов в свободной форме

Проблемой контрактов в свободной форме, которые человечество использует в течение тысяч лет, является весьма субъективное и непредсказуемое исполнение. Всё, от установления действительности подписей до определений слов и актуальности терминов, подлежит обсуждению. Это делает обеспечение их выполнения очень дорогим и дает системе управления неограниченную власть.

Рикардианские контракты

Рикардианский контракт определяет как условия в свободной форме, так и условия в виде кода. Сообщество EOS в настоящее время обсуждает, нужно ли и как лучше обеспечить соблюдение условий в свободной форме. Эти условия среди прочего включают в себя обязательное указание владельца производителя блоков и сертификацию фактов под страхом наказания за лжесвидетельство. Другие хотят, чтобы новые условия регулировали вообще всё, по аналогии с тем, как действуют правительственные регуляторы.

Необходимость в объективных ограничениях

Пользователи блокчейна EOS нуждаются в некоторых гарантиях от сообщества, чтобы чувствовать себя в безопасности. Если всё, что связано с блокчейном, подчинено правилам толпы, то никто не будет в безопасности. Если в сообществе не установлены объективные организующие принципы, тогда всё подлежит интерпретации и становится непредсказуемым и произвольным. Следующие из этого дебаты и конфликты могут развалить сообщество.

Block One призывает прекратить издавать арбитражные приказы, кроме необязывающих мнений об истинных намерениях кода. Я считаю, что присяжными должны быть выборные производители блоков, которые перевесом ⅔ + 1 смогут принимать решения о замораживании нарушенного контракта и/или его замене на тот, который действует в соответствии с первоначальным намерением (которое определено арбитражем).

Это означает, что избранные производители блоков будут иметь такую же силу, которая была продемонстрирована Ethereum в ситуации с багом в контракте DAO; просто она будет формализована и располагаться в руках избирателей, владеющих токенами, вместо того, чтобы быть неформальной и в руках избирателей, владеющих хэш-мощностью.

Обеспечение соблюдения рикардианских (субъективных) условий

Цель рикардианских контрактов – задокументировать намерения сторон и предоставить доказательства намерений в случае возникновения бага. Если рикардианский контракт включает условия, которые не могут быть оценены и введены в действие кодом, то он не входит в компетенцию производителей блоков и арбитража сообщества в плане оценки и обеспечения соблюдения.

Выполнение правильно написанного рикардианского контракта полностью обеспечивается кодом; поэтому все споры должны решаться путем исправления кода. Если необходимо, чтобы рикардианский контракт задействовал другие законы (например, о лжесвидетельстве), то нужно задать в коде процессы подачи жалоб, назначения судей, сбора платежей по обязательствам, а также принятия решений и обеспечения их исполнения. Всё это должно происходить на уровне приложения, а не на уровне базового протокола. Весь процесс правоприменения должен быть объективным, а все субъекты должны соблюдать полную автономию в рамках намерения кода.

Утерянные и украденные ключи

Цель приватных ключей – создать объективное доказательство права собственности. Если мы не можем полагаться исключительно на подписи, мы должны полагаться на личность и субъективные интерпретации намерений. Однако это создаст дополнительный уровень споров и новых видов мошенничества и/или несправедливости.

Решение этой проблемы должно носить технический характер: вроде реализации мультиподписи с биометрической защитой аппаратных кошельков и временными задержками. Каждый член сообщества самостоятельно отвечает за собственные настройки безопасности и разрешений. Позволение отказаться от арбитража по оспариванию действительности подписи после того, как она была необратимо принята блокчейном, создаст больше проблем, чем решит. EOSIO изначально способен поддерживать Apple Secure Enclave, Touch ID, Face ID и временные задержки. После развертывания в кошельках кража личных ключей должна стать практически неслыханным явлением, а временные задержки должны позаботиться обо всём остальном.

Платформа EOSIO была написана с нуля, дабы обеспечить инфраструктуру, необходимую для реальной защиты и восстановления аккаунтов на основе официального согласия на принятие мер. Эта структура включает поддержку эллиптической кривой R1, используемой Apple, Android и многими устройствами для считывания смарт-карт. С временными задержками пользователи могут наслаждаться простотой использования, подписываясь с одним устройством и при этом обладая безопасностью подписей с нескольких устройств. Возможность объективно считывать время бездействия аккаунта в смарт-контрактах дает разработчикам возможность задавать собственные процессы восстановления, не давая третьей стороне потенциально постоянный контроль.

Мнение о ECAF (Основного Арбитражного Форума EOS)

Самые первые споры, представленные ECAF, касались мошеннического веб-сайта регистрации в EOS, который предоставлял пользователям поддельные пары публичных/приватных ключей. Из-за технических ограничений жертвами мошенничества стали даже те пользователи, которые использовали аппаратные кошельки на Ethereum. И хотя сообщество имеет объективные доказательства личности первоначальных владельцев Ethereum-адресов, эти люди стали жертвами мошеннического сайта, потому что не использовали официальный сайт eos.io и не следовали официальным инструкциям.

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

Как применять арбитражные приказы в случае кражи ключей

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

Переводы средств в рамках смарт-контракта подлежат обсуждению во время спора, где назначенные контрактом арбитры имеют право отменять операции и замораживать токены. Вывод средств из банковского смарт-контракта подвергается 3-дневной задержке, после которой он становится необратимым.

Те, кто хочет, чтобы избранные производители блоков и/или ECAF защищали их интересы, могут дать право на действия новому смарт-контракту, в котором ECAF/производители являются арбитражной системой. Биржи, которые хотят взаимодействовать с этими клиентами с менее чем 3-дневной задержкой, могут открыть для этого депозитный счет в рамках банковского смарт-контракта. Объем полномочий арбитра будет ограничиваться только этим контрактом.

Некоторые люди обеспокоены тем, что будет украден весь их аккаунт, а не только их токены. Эту ситуацию можно решить, поместив под владение смарт-контракта весь аккаунт целиком. Как пользователь аккаунта вы будете контролировать активные ключи, но вы не будете напрямую контролировать права владельца.

EOSIO разработан со всем спектром инструментов и возможностей для создания надежного высокоуровневого управления для тех, кто предпочел бы доверять разрешение споров по поводу украденных ключей такой организации, как ECAF. Можно создать сотни таких организаций, каждая из которых будет работать на различных принципах, и все они могут базироваться на одном и том же блокчейне на основе EOSIO.

Предлогаемая для референдума конституция EOS

Намерение, зафиксированное в коде – это закон, где намерение документируется кодом, рикардианским контрактом, пользовательскими интерфейсами и фактическим использованием.
Если возник спор о намерении кода, то намерение определяется подавляющим большинством голосов избранных производителей или арбитром, взаимно согласованным сторонами спора и принимаемым производителями. Большинство может по своему усмотрению заморозить контракт на время активного спора до тех пор, пока не станет доступен код для исправления контракта.
Стороны спора должны представить предлагаемый для замены код. Производители могут взимать комиссию и/или устанавливать другие требования к сторонам спора. Подавляющим большинством считается ⅔ + 1. Условия рикардианского контракта, соблюдение которых не может быть обеспечено надлежащим образом функционирующим кодом, выходят за рамки полномочий производителей по оценке и обеспечению соблюдения.
Ни при каких обстоятельствах избранные производители блоков не должны замораживать или изменять контракты, которые работают, как задумано.
Разработчики контракта не несут ответственности за ущерб, вызванный багами в коде. Все участвующие стороны несут ответственность за проверку кода и рикардианского контракта перед началом использования.
Все поставщики услуг, которые производят инструменты для облегчения создания и подписания транзакций от имени других, должны предоставлять полные условия рикардианского контракта в соответствии с настоящей Конституцией и другими связанными контрактами.
Ни одна из сторон не несет фидуциарной ответственности за поддержание ценности токена EOS. Стороны не авторизуют кого-либо на владение активами, займы, выражение позиции или заключение контрактов от имени держателей токенов EOS или блокчейна в целом. У этого блокчейна не должно быть владельцев, менеджеров или доверенных лиц.
Рикардианский контракт считается принятым с того момента, когда транзакция включена в блокчейн.
Стороны добровольно соглашаются, чтобы все другие стороны перманентно и безвозвратно сохраняли копию, анализировали и распространяли все транслируемые транзакции и их производные данные.
Эта Конституция может соблюдаться при любом количестве действующих лиц; каждый ее экземпляр при соглашении на исполнение и вручении представляет собой дубликат оригинала, а все экземпляры вместе составляют единое соглашение. Использование блокчейна является согласием.
Эта Конституция может быть изменена путем голосования держателей токенов EOS, которое привлечет не менее 15% голосов от удерживаемых токенов и соберет перевес в не менее чем 10% голосов “за” в сравнении в голосами “против”, который удержится в течение 30 непрерывных дней в период до 120 дней.

Переведено @blockchained

Оригинал поста: ЗДЕСЬ