Смарт-контракт - умный контракт— компьютерный алгоритм

Привет, Вы узнаете о том , что такое смарт-контракт, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое смарт-контракт, умный контракт, smart contract, смарт контракт , настоятельно рекомендую прочитать все из категории Алгоритмы и теория алгоритмов.

смарт-контракт (англ. Smart contract — умный контракт ) — компьютерный алгоритм, предназначенный для формирования, контроля и предоставления информации о владении чем-либо. Чаще всего речь идет о применении технологии блокчейна. В более узком смысле под смарт-контрактом понимается набор функций и данных (текущее состояние), находящихся по определенному адресу в блокчейне .

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

Смарт-контракты — это компьютерные программы, в которых формулируются правила внесения записей, т. е. «транзакций» в блокчейн.

Первой страной, законодательно закрепившей смарт-контракты, стала Белоруссия.

Принцип работы

Стороны подписывают умный контракт, используя методы, аналогичные подписанию отправки средств в действующих криптовалютных сетях. После подписания сторонами контракт сохраняется в блокчейне и вступает в силу. Для обеспечения автоматизированного исполнения обязательств контракта непременно требуется среда существования (ноды блокчейна Ethereum), которая позволяет полностью автоматизировать выполнение пунктов контракта. Это означает, что умные контракты смогут существовать только внутри среды, имеющей беспрепятственный доступ исполняемого кода к объектам умного контракта.

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

История

Первые идеи умных контрактов были предложены Ником Сабо . Практические реализации стали возможными благодаря появлению в 2008 году технологии блокчейн . Некоторые принципы умных контрактов были заложены уже в первом протоколе Биткойна, однако они не были реализованы в клиентском программном обеспечении, не обладали полнотой по Тьюрингу из соображений безопасности и широко не использовались на практике. С появлением технологии стали высказываться идеи, что поверх протокола биткойна могут быть созданы различные протоколы более высокого уровня, включая полноценные умные контракты , по аналогии с тем, как поверх TCP/IP существуют множество протоколов прикладного уровня.

Умные контракты впервые получили широкое распространение с появлением Ethereum. Идея создания проекта появилась в 2013 году. В тот момент основатель журнала Bitcoin Magazine Виталик Бутерин пришел к выводу, что технология блокчейна может использоваться значительно шире, не только в криптовалютах. Он выдвинул идею универсальной децентрализованной блокчейн-платформы, в которой любой желающий может программно реализовать разные системы хранения и обработки информации. Главное условие — действия должны быть описаны как математические правила .

Объекты умного контракта

• Подписанты — стороны умного контракта, принимающие или отказывающиеся от условий с использованием электронных подписей. Прямым аналогом является подпись отправителя средств в сети Bitcoin, которая подтверждает внесение транзакции в цепочку блоков.
• Предмет договора. Предметом договора может являться только объект, находящийся внутри среды существования самого умного контракта, или же должен обеспечиваться беспрепятственный, прямой доступ умного контракта к предмету договора без участия человека.
• Условия. Условия умного контракта должны иметь полное математическое описание, которое возможно запрограммировать в среде существования умного контракта. Именно в условиях описывается логика исполнения пунктов предмета договора.
• Децентрализованная платформа. Для распределенного хранения смарт-контракта необходима его запись в блокчейне этой платформы.

Принцип работы

Подобно передаче стоимости в цепочке блоков, развертывание смарт-контракта в цепочке блоков происходит путем отправки транзакции из кошелька в цепочку блоков. Об этом говорит сайт https://intellect.icu . Транзакция включает скомпилированный код для смарт-контракта, а также специальный адрес получателя. Эта транзакция затем должна быть включена в блок, который добавляется в цепочку блоков, после чего код смарт-контракта будет выполняться для установления начального состояния смарт-контракта. ^[32] Византийские отказоустойчивые алгоритмы децентрализованно защищают смарт-контракт от попыток взлома. После развертывания смарт-контракта его нельзя обновить. Смарт-контракты в блокчейне могут хранить произвольное состояние и выполнять произвольные вычисления. Конечные клиенты взаимодействуют со смарт-контрактом посредством транзакций. Такие транзакции со смарт-контрактом могут вызывать другие смарт-контракты. Эти транзакции могут привести к изменению состояния и отправке монет из одного смарт-контракта в другой или из одной учетной записи в другую.

Самый популярный блокчейн для запуска смарт-контрактов - Ethereum . На Ethereum, умные контракты , как правило , написаны на Тьюрингу язык программирования под названием монолитность , и компилируется в низкоуровневый байткод будет выполняться с помощью виртуальной машины Эфириума . ^[36] Из-за проблемы с остановкой и других проблем безопасности полнота по Тьюрингу считается риском, и такие языки, как Vyper, сознательно избегают ее . Некоторые из других языков программирования смарт-контрактов, которым не хватает полноты по Тьюрингу, - это Simplicity, Scilla, Ivy и Bitcoin Script. ^[38] Однако измерения с использованием регулярных выражений показали, что только % из Смарт-контракты Ethereum включали рекурсии и циклы - конструкции, связанные с проблемой остановки.

Несколько языков разработаны для обеспечения формальной проверки : Bamboo, IELE, Simplicity, Michelson (можно проверить с помощью Coq ), Liquidity (компилируется в Michelson), Scilla, DAML и Pact.

Процессы в цепочке блоков, как правило, детерминированы, чтобы обеспечить византийскую отказоустойчивость. Тем не менее, применение смарт-контрактов в реальном мире, например лотереи и казино , требует безопасной случайности. ^[44] Фактически, технология блокчейн снижает затраты на проведение лотереи и, следовательно, выгодна для участников. Случайность в блокчейне может быть реализована с помощью хэшей блоков или временных меток, оракулов, схем обязательств, специальных смарт-контрактов, таких как RANDAO и Quanta, а также последовательностей из смешанных стратегий равновесия по Нэшу .

Тиражирование названий и исполнение контракта

В 1998 году Сабо предположил, что инфраструктура смарт-контрактов может быть реализована путем репликации реестров активов и выполнения контрактов с использованием криптографических цепочек хеширования и византийской отказоустойчивой репликации. ^[47] Askemos реализовал этот подход в 2002 году используя Scheme (позже добавив SQLite ) в качестве языка сценариев контрактов.

Одно из предложений по использованию биткойнов для регистрации реплицированных активов и исполнения контрактов называется «цветные монеты». Тиражирование прав собственности на потенциально произвольные формы собственности, наряду с тиражированием исполнения контрактов, реализовано в различных проектах.

В 2015 году , UBS экспериментировал с «умными» облигациями , которые используют Биткойн blockchain ^[54] , в которой платежные потоки гипотетически могут быть полностью автоматизированы, создавая самостоятельно оплачивать инструмент.

Проблемы с безопасностью

Смарт-контракт на основе блокчейна виден всем пользователям упомянутого блокчейна. Однако это приводит к ситуации, когда ошибки, включая дыры в безопасности, видны всем, но не могут быть быстро исправлены. Такая атака, трудно исправить быстро, был успешно выполнена на дао в июне 2016 года, осушение примерно US $ 50 миллионов долларов Эфира в то время, в то время как разработчики пытались прийти к решению , которое бы получить консенсус. Программа DAO имела временную задержку, прежде чем хакер смог удалить средства; был проведен хард-форк программного обеспечения Ethereum, чтобы отобрать средства у злоумышленника до истечения срока. ^[58] Другие громкие атаки включаютАтаки на кошелек с несколькими подписями с контролем четности и атака целочисленного переполнения / переполнения (2018) на общую сумму более 184 миллионов долларов США.

Проблемы в смарт-контрактах Ethereum, в частности, включают двусмысленность и простые, но небезопасные конструкции на языке контрактов Solidity, ошибки компилятора, ошибки виртуальной машины Ethereum, атаки на сеть блокчейнов, неизменность ошибок и отсутствие документации из центрального источника. известные уязвимости, атаки и проблемные конструкции. ^[

Отличие от умных юридических контрактов

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

В юридической отрасли нет формального определения умного юридического контракта.

Рикардианская контракт является разновидностью смарт - правового договора.

Среда для работы умных контрактов

Для того, чтобы умные контракты могли существовать, требуются определенные условия:

1. Использование широко распространенных методов электронной подписи на основе публичных и приватных ключей (асимметричное шифрование).
2. Существование открытых, децентрализованных и доверительных сторонам контракта баз данных для исполняемых транзакций, работа которых полностью исключает человеческий фактор. Как пример: блокчейн в Bitcoin.
3. Децентрализация среды исполнения умного контракта. Как пример: Ethereum, Codius, Counterparty
4. Достоверность источника цифровых данных. Как пример: корневые центры сертификации SSL в базах современных интернет-браузеров.

Пример

• По аналогии с IPO вводится первичное блокчейн-размещение (ICO англ. initial coin offerings) — метод краудфандинга для организации стартапов. На основе опубликованного меморандума инвесторы направляют средства на счет соответствующего умного контракта, получая взамен денежные знаки, играющие роль акций данного стартапа. По состоянию на август 2017 года объем инвестиций в ICO составляет 550 млн долларов
• Децентрализованные финансовые сервисы (DeFi) — некастодиальные протоколы для кредитования под залог цифровых активов и платформы для торговли токенами и деривативами
• Децентрализованная автономная организация — механизм координации деятельности группы людей для достижения общих целей, правила работы которого могут быть заданы в форме смарт-контрактов.
• Существует идея создания децентрализованного, основанного на Ethereum продукта, похожего на Facebook, где пользователи получат полный контроль над своими личными страницами, что даст им возможность самим получать доходы от рекламы, вместо какой-либо компании.
• В октябре 2018 года Центральный Банк Российской Федерации подготовил Аналитический обзор по теме «Смарт-контракты». В данном обзоре приведены сферы применения смарт-контрактов, а также конкретные примеры реализации смарт-контрактов на финансовом рынке.
• Возможность создания рынка ценных бумаг без участия фондовой биржи или клирингового центра. Для осуществления договоров не нужны ни услуги юристов, ни защищенные от несанкционированного доступа платформы для голосований, опросов, без необходимости вести подсчет голосов, без обработки бюллетеней избирательным органом и без участия социологического центра.

Первая большая и перспективная область развития блокчейна — финансовая. Это и криптовалюта, и смарт-контракты, и госреестры. Например, сейчас, чтобы продать дом, нужно несколько недель, а это может занимать всего 3 минуты.

— Виталик Бутерин, Москва, 30 августа 2017^[15]

Перспективы

Сторонники умных контрактов утверждают^[, что многие их виды могут быть сделаны частично или полностью самовыполняемыми и самодостаточными. Умные контракты, основанные на криптографии, способны обеспечивать лучшую безопасность, чем традиционные контракты, основанные на праве, и снизить прочие трансакционные издержки, связанные с заключением договоров и возможных судебных издержек.

По мнению британского журнала The Economist умные контракты имеют перспективу стать наиболее важным приложением технологии блокчейн^[12].

Юридическую значимость смарт-контракты могут получить при соответствии законам государства. Для этого нужно, чтобы смарт-контракты содержали условия и ограничения, установленные законодательством государства^[16].

Белоруссия стала первой страной в мире, законодательно закрепившей смарт-контракты 21 декабря 2017 года согласно Декрету о развитии цифровой экономики. ^[17]Разработчиком правовой концепции смарт-контракта выступил белорусский юрист Денис Алейников . В стране планируется разрешить банкам заключать смарт-контракты.

Недостатки

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

Небрежность разработчиков может повлечь за собой злонамеренное использование смарт-контрактов, как показала история с утечкой свыше трех миллионов монет Ethereum из проекта The DAO^[23].

Вау!! 😲 Ты еще не читал? Это зря!

• solidity , самовыполняющийся контракт ,
• криптовалюта , онлайн-хранилище криптовалюты ,
• генератор биткоинов , майнинг ,
• децентрализованное приложение , децентрализованные приложения ,
• распределенные вычисления , распределённая система ,
• Кодекс и законы киберпространства
• Ethereum
• Регулирование алгоритмами
• Регулирование алгоритмов
• рикардианский контракт ,
• Безопасные многосторонние вычисления

Исследование, описанное в статье про смарт-контракт, подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое смарт-контракт, умный контракт, smart contract, смарт контракт и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Алгоритмы и теория алгоритмов