Как умные контракты на основе Blockchain изменят нашу жизнь
Концепция смарт-контрактов набирает силу среди более широкой аудитории, и в связи с этим возникает необходимость в четком рабочем определении. В настоящее время информация вокруг смарт-договоров сопровождается только путаницей, связанной с конкретным значением термина.
В этой статье мы попытаемся пролить свет на природу умных контрактов. Надеемся, что с отзывами сообщества мы сможем получить более четкую картину, чем то, что у нас есть сейчас.
Что такое смарт контракты в Blockchain
Термин «умный контракт» восходит как минимум к 1995 году к междисциплинарному юристу Нику Сабо, который опубликовал несколько статей на своем веб-сайте в отношении идеи умных договоров. Его определение имеет следующий вид:
Смарт контракт - это набор обещаний, указанных в цифровой форме, включая протоколы, в которых стороны выполняют эти обещания.
Давайте подробнее рассмотрим, что он имеет в виду. Итак, умные контракты характеризуются следующими особенностями:
Набор обещаний относится к (часто взаимным) правам и обязательствам, на которые согласны стороны договора. Эти обещания определяют характер и цель контракта. Возьмите договор купли-продажи как классический пример. Продавец обещает доставить товар в обмен на желаемую цену, которую оплатить покупатель.
Цифровая форма означает, что договор должен быть написан в машинном коде. Это необходимо, поскольку права и обязанности, установленные в интеллектуальном контракте, выполняются компьютером или сетью компьютеров, как только стороны пришли к соглашению.
Тут стоит уточнить:
Принятие соглашения - когда стороны разумного договора заключают соглашение? Ответ зависит от конкретной реализации интеллектуального контракта. В целом, соглашение заключается (не позднее), когда стороны взяли на себя обязательство (безотзывно) на выполнение договора, установив соглашение на платформе.
Выполнение - то, что действительно означает «выполнение», также зависит от реализации. Вообще говоря, исполнение означает активное действие, обеспечиваемое технологическими средствами.
Машинный код - кроме того, конкретная «цифровая форма», в которой должен быть составлен контракт, в значительной степени зависит от выбора протоколов, которые стороны соглашаются использовать.
Протоколы - это техническая реализация, на основе которой выполняются договорные обещания или на которых в обязательном порядке осуществляется документирование. Какие протоколы выбраны, зависит от многих факторов, а главное от характера активов, которые должны быть обменены во время исполнения соглашения.
Как работает смарт контракт
Вместо того, чтобы полагаться на другую сторону, чтобы оправдать свое слово или даже хуже, полагаясь на адвокатов и правовую систему для исправления ситуации, если что-то пойдет не так, смарт контракт позволяет выполнять то, что должно произойти своевременно и объективно.
Принцип работы смарт контракта:
Смарт-контракты довольно глупые
Использование слова «умный» подразумевает, что эти контракты имеют врожденный интеллект. Они этого не имеют. Умная часть договора не нуждается в сотрудничестве с другим абонентом для выполнения соглашения. Вместо того, чтобы выкидывать арендодателей, которые не платят, «умный» контракт блокирует доступ неплатежеспособных арендаторов в их квартиру. Выполнение согласованных последствий - это то, что делает интеллектуальные контракты мощными, а не контрактами врожденной разведки.
Поистине разумный договор будет учитывать все смягчающие обстоятельства, взглянуть на дух контракта и сделать справедливые решения даже в самых мрачных обстоятельствах. Другими словами, действительно умное соглашение будет действовать как действительно хороший судья.
Вместо этого «умный контракт» в этом контексте вовсе не интеллектуальный. На самом деле это совокупность прописанных пунктов, которым следует машинный код, и он не может принимать во внимание второстепенные соображения или «дух» закона.
Другими словами, заключение смарт-договора означает, что не может быть места для двусмысленности.
От теории к практике
Когда Сабо вел свою теорию почти двадцать лет назад в Интернете, практика значительно отставала. Не было четкого пути, как идея могла быть преобразована в реальность.
Сегодня технология догнала дальновидный ум Сабо, и умные контракты начинают становиться жизнеспособными. Что случилось за эти двадцать лет?
Короче говоря, протоколы, которые Сабо теоретизировал в своем определении, наконец, были разработаны. Они приняли форму протокола Биткоинов или, в более общем плане, всех протоколов, которые могут достичь консенсуса.
В связи с разработкой этих протоколов мы получили еще один необходимый строительный блок: первые по-настоящему родные цифровые активы, а именно Биткоин валюты. Без этих активов интеллектуальные договора также были бы нежизнеспособными, поскольку финансовый сектор был крайне враждебным к любым нововведениям за последние десятилетия.
И, наконец, концепция, которая еще не пришла к полной реализации, - умная собственность. Мы вступаем в эпоху вездесущих вычислений и подключений, обычно называемых интернет-вещами. Способность физических объектов отправлять и получать информацию в Интернет и из Интернета, а также контролировать свое использование с помощью программного обеспечения (технология DRM) позволяет нам строить то, что Szabo называет встроенными контрактами.
Основная идея технологии умных контрактов заключается в том, что многие виды договорных предложений могут быть встроены в аппаратное и программное обеспечение, с которым мы имеем дело.
Смиренное начало встроенных соглашений Szabo видит в торговых автоматах, терминалах точки продажи (POS), электронном обмене данными (EDI) между крупными корпорациями и сетями SWIFT, ACH и FedWire для передачи и выравнивания платежей между банками. Другим примером встроенных контрактов являются DRM-механизмы в области потребления цифрового контента, такие как музыка, фильмы и электронные книги.
Умные контракты – это мост между киберпространством и физическим пространством.
Язык программирования смарт контрактов
Из-за большого централизованного маркетинга от Ethereum существует ошибочное убеждение, что технология смарт контрактов существуют только в Ethereum. Это неправда. У Bitcoin с самого начала в 2009 году был довольно обширный смарт-контрактный язык под названием Script. Фактически, смарт-договоры существовали до Биткойна еще в 1995 году. Разница между умным языком контракта Биткойна и Ethereum заключается в том, что Эфириум использует Turing-полноту. То есть, Solidity (язык умных контрактов ETH) позволяет составлять более сложные соглашения за счет затруднения их анализа.
Есть некоторые существенные последствия сложности. Хотя сложные контракты могут позволить более сложные ситуации, сложный договор также очень трудно обеспечить. Даже в нормальных контрактах, чем сложнее соглашение, тем сложнее его применять, поскольку осложнения добавляют дополнительную неопределенность и место для интерпретации. С помощью интеллектуальных контрактов безопасность означает всевозможные способы, с помощью которых можно было выполнить сделку, и убедиться, что контракт делает то, что авторы намереваются.
Выполнение в контексте Turing-полноты чрезвычайно сложно в анализе. Обеспечение полного интеллектуального контракта Turing становится эквивалентом того, что компьютерная программа не имеет ошибок. Мы знаем, что это очень сложно, поскольку почти каждая компьютерная программа имеет ошибки.
Подумайте, что для написания обычных контрактов требуется много лет обучения и очень жесткий экзамен, чтобы грамотно писать. Смарт-контракты ico требуют, по крайней мере, такого уровня компетентности, и в настоящее время многие из них написаны новичками, которые не понимают, насколько это небезопасно. Это очень ясно из различных контрактов, которые, как было показано, являются ошибочными.
Решение Bitcoin этой проблемы состоит в том, чтобы просто не иметь Turing-полноту. Это упрощает анализ контрактов, так как возможные состояния программы легче перечислять и анализировать.
Решение Ethereum заключается в том, чтобы возложить бремя на разработчиков смарт-контрактов. Авторы договора должны убедиться, что соглашение делает то, что они намереваются.
Если написание смарт контрактов имеет ошибки
Продолжим мысль предыдущего абзаца.
Эфириум запустил идею о том, что «код - это закон». То есть, контракт на Ethereum является высшим авторитетом, и никто не может его отменить. Идея заключалась в том, чтобы дать понять разработчикам умных контрактов, что они сами по себе. Если вы придумали свой собственный умный контракт, то в каком-то смысле вы этого заслуживаете. Это произошло, когда произошло событие DAO.
DAO означает «децентрализованная автономная организация», и фонд был создан в Ethereum в качестве способа показать, что может сделать платформа. Пользователи могут вносить деньги в DAO и получать доход на основе инвестиций, которые сделала DAO. Сами решения были бы подорваны и децентрализованы. DAO привлек 150 миллионов долларов в ETH, когда ETH торговал примерно в 20 долларов. Все это звучало хорошо в теории, но возникла проблема. Код не был обеспечен очень хорошо и привел к тому, что кто-то выяснил способ слить из DAO деньги.
Многие называли человека, укравшего средства с DAO «хакером». В том смысле, что «хакер» нашел способ взять деньги из договора таким образом, который не был создан создателями, это правда. Но в более широком смысле это был не хакер, а только тот, кто воспользовался причудами в умном контракте в свою пользу. Это не очень отличается от того, как креативный CPA выясняет налоговую лазейку, чтобы спасти деньги своих клиентов.
Что произошло дальше, так это то, что Эфириум решил, что код больше не является законом и вернул все деньги, которые пошли в DAO. Другими словами, авторы контрактов и инвесторы сделали что-то глупое, и разработчики Ethereum решили выручить их.
Последствия этого инцидента хорошо известны – произошло разделение. Родился Ethereum Classic, сохраняя DAO как написанный и сохраняющий принцип «code is law». Кроме того, разработчики начали уклоняться от использования свойства Turing-полноты Ethereum, поскольку это оказалось трудно защитить. Стандарты ERC20 и ERC721 являются наиболее часто используемыми смарт-шаблонами контрактов в Ethereum, и важно указать, что оба типа контрактов могут быть записаны без какой-либо полноты Turing.
Юридические аспекты
Большая часть путаницы вокруг концепции интеллектуальных контрактов связана с ее именем и языком, используемым для его описания. Люди, похоже, делают вывод из употребления термина «контракт», что концепция должна иметь какое-то отношение к правовой концепции договоров. Умный контракт тогда, согласно этой логике, является юридически обязывающим соглашением плюс «х», где х делает указанное соглашение «умным».
С юридической точки зрения эта презумпция неверна или, по крайней мере, не обязательно истинна. В зависимости от реализации разумного контракта, который вы выбираете, вполне возможно, что две или более стороны могут заключить «разумный контракт» без указанного договора, составляющего необходимые требования, которые считаются действительным договором в юридическом смысле.
Однако нельзя отрицать, что умные контракты должны быть классифицированы как юридически соответствующее поведение. Мы живем в мире, который регулируется правовыми нормами, которые охватывают все возможные экономические транзакции (и многое другое). Контрактное право является всего лишь одним из возможных инструментов для организации экономических операций.
Перспективы будущего
Очень хочется, чтобы интеллектуальные контракты могли быть более полезными, чем они есть на самом деле. К сожалению, большая часть того, что мы думаем, как контракты, приводит к целому ряду предположений и установленному прецедентному праву, которые не обязательно должны быть четко указаны.
Кроме того, оказывается, что использование полноты Тьюринга - это простой способ испортить и вызвать всевозможные непреднамеренные действия. Мы должны маркировать смарт-платформы контрактов на Тьюринга-уязвимые, а не Тьюринг-полноту. Инцидент DAO также доказал, что существует «дух» контракта, который неявно доверителен и помогает разрешать споры больше, чем мы понимаем.
Смарт-контракты просто слишком просты в использовании, слишком трудны для защиты, слишком сложны, чтобы быть беззаботными и иметь слишком много внешних зависимостей для работы на большинстве вещей. Единственное реальное место, где интеллектуальные контракты фактически добавляют доверие, - это цифровые инструменты на предъявителя на децентрализованных платформах, таких как Биткоин.
Одно можно сказать наверняка: умные контракты появились, чтобы остаться. Они являются строительными блоками по-настоящему глобальной экономики, к которым у всех есть доступ без предварительной проверки и высоких первоначальных затрат. Они устраняют необходимость доверия со стороны многих экономических транзакций, а в других случаях переносят доверие к сторонам, которым можно разумно доверять.
Примеры умных контрактов и Блокчейна
Смарт-контракты на практике можно использовать в разных сферах жизнедеятельности. Они позволяют лучше монетизировать бизнес. Среди основных направлений применения можно выделить:
- Выборы
- Страхование
- Игры
- Логистика
- Аренда
- Автомобили
- Кредитование
Что такое умный контракт (видео)
