Страница полузащищенная
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Торговые автоматы упоминаются как самая старая технология, эквивалентная реализации смарт-контрактов. [3] В официальном документе 2014 года о криптовалюте Ethereum [6] протокол Биткойн описывается как слабая версия концепции смарт-контракта, как это определено компьютерным ученым, юристом и криптографом Ником Сабо . Начиная с Ethereum, различные криптовалюты поддерживают языки сценариев, которые позволяют заключать более продвинутые смарт-контракты между ненадежными сторонами. [7] Смарт-контракты следует отличать от смарт-юридических контрактов.. Последнее относится к традиционному юридически обязывающему соглашению на естественном языке, в котором определенные термины выражены и реализованы в машиночитаемом коде. [8] [9] [10]

Этимология

Смарт-контракты были впервые предложены в начале 1990-х годов Ником Сабо , который ввел этот термин, используя его для обозначения «набора обещаний, определенных в цифровой форме, включая протоколы, в рамках которых стороны выполняют эти обещания». [11] [12] В 1998 году этот термин использовался для описания объектов на сервисном уровне управления правами в системе Stanford Infobus , которая была частью проекта Stanford Digital Library Project . [1]

Правовой статус смарт-контрактов

См. Также: Регулирование алгоритмов

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

С момента запуска блокчейна Ethereum в 2015 году [16] термин «смарт-контракт» стал более конкретно применяться к понятию вычислений общего назначения, которые выполняются в блокчейне или распределенном реестре. Национальный институт стандартов и технологий США описывает «умный контракт» как «набор кода и данных (иногда называемых функциями и состоянием), который развертывается с использованием криптографически подписанных транзакций в сети блокчейн». [17] В этой интерпретации, используемой, например, Ethereum Foundation [6] или IBM, [18]Смарт-контракт не обязательно связан с классической концепцией контракта, но может быть любой компьютерной программой. Смарт-контракт также можно рассматривать как защищенную хранимую процедуру, поскольку его выполнение и кодифицированные эффекты, такие как передача некоторой стоимости между сторонами, строго соблюдаются и не могут быть изменены после того, как транзакция с конкретными деталями контракта сохраняется в блокчейне или распределенном реестре. . Это потому, что фактическое выполнение контрактов контролируется и проверяется платформой, а не какими-либо произвольными серверными программами, подключенными к платформе. [19] [20]

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

В 2018 году в отчете Сената США говорилось: «Хотя смарт-контракты могут показаться чем-то новым, эта концепция основана на базовом договорном праве. Обычно судебная система разрешает споры по контрактам и обеспечивает соблюдение условий, но также часто используется другой метод арбитража, особенно для международных транзакций. В смарт-контрактах программа обеспечивает выполнение контракта, встроенного в код ». [22] Ряд штатов США приняли законы об использовании смарт-контрактов, например, Аризона, [23] Невада, [24] Теннесси [25] и Вайоминг. [ необходима цитата ] [26]А в апреле 2020 года Палата представителей Айовы приняла закон, официально признающий умные контакты в штате. [27]

В апреле 2021 года Целевая группа по юрисдикции Великобритании (UKJT) опубликовала Правила разрешения цифровых споров (Правила цифрового DR), чтобы помочь в быстром разрешении юридических споров о блокчейне и криптографии в Великобритании. [28]

Работы

Подобно передаче стоимости в цепочке блоков, развертывание смарт-контракта в цепочке блоков происходит путем отправки транзакции из кошелька в цепочку блоков. [29] Транзакция включает скомпилированный код смарт-контракта, а также специальный адрес получателя. [29] Эта транзакция затем должна быть включена в блок, который добавляется в цепочку блоков, после чего код смарт-контракта будет выполняться для установления начального состояния смарт-контракта. [29] Византийские отказоустойчивые алгоритмы децентрализованно защищают смарт-контракт от попыток взлома. После развертывания смарт-контракта его нельзя обновить. [30]Смарт-контракты в блокчейне могут хранить произвольное состояние и выполнять произвольные вычисления. Конечные клиенты взаимодействуют со смарт-контрактом посредством транзакций. Такие транзакции со смарт-контрактом могут вызывать другие смарт-контракты. Эти транзакции могут привести к изменению состояния и отправке монет из одного смарт-контракта в другой или из одной учетной записи в другую. [30]

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

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

Известные примеры платформ блокчейнов, поддерживающих смарт-контракты, включают следующее:
ИмяОписание
БиткойнПредоставляет неполный по Тьюрингу язык сценариев, который позволяет создавать настраиваемые смарт-контракты поверх Биткойна, такие как учетные записи с несколькими подписями , каналы оплаты, условные депонирования, временные блокировки, атомарная кросс-цепная торговля, оракулы или многосторонняя лотерея без оператора. [37]
КарданоПлатформа блокчейн для смарт-контрактов, использующая доказательство доли
EthereumРеализует полный по Тьюрингу язык в своей цепочке блоков, известную структуру смарт-контрактов [38]
EOS.IOПлатформа блокчейн для смарт-контрактов
ТезосПлатформа блокчейна, изменяющая свой собственный набор правил с минимальным нарушением работы сети с помощью модели управления в цепочке.

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

Приложения

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

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

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

Желание наследования гипотетически может быть реализовано автоматически при регистрации свидетельства о смерти с помощью смарт-контрактов. [52] [53]

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

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

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

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

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

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

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

Смотрите также

  • Кодекс и другие законы киберпространства
  • Децентрализованное приложение
  • Ethereum
  • Регулирование алгоритмами
  • Регулирование алгоритмов
  • Рикардианский контракт (шаблон проектирования, отражающий цель соглашения сторон)
  • Безопасные многосторонние вычисления

Рекомендации

  1. ^ a b Röscheisen, Мартин; Балдонадо, Мишель; Чанг, Кевин; Гравано, Луис; Кетчпель, Стивен; Paepcke, Андреас (1998). «Стэнфордский информационный автобус и его уровни обслуживания: расширение Интернета с помощью протоколов управления информацией более высокого уровня». Электронные библиотеки в компьютерных науках: подход MeDoc . Конспект лекций по информатике. Springer. 1392 : 213–230. DOI : 10.1007 / bfb0052526 . ISBN 978-3-540-64493-4.
  2. ^ a b Фрис, Мартин; П. Паал, Борис (2019). Смарт-контракты (на немецком языке). Мор Зибек. ISBN 978-3-16-156911-1. JSTOR  j.ctvn96h9r .
  3. ^ a b Савельев, Александр (14 декабря 2016 г.). «Контрактное право 2.0:« Смарт-контракты как начало конца классического контрактного права ». Сеть исследований в области социальных наук. SSRN 2885241 .  Цитировать журнал требует |journal=( помощь )
  4. ^ Тапскотт, Дон ; Тапскотт, Алекс (май 2016 г.). Революция блокчейнов: как технологии, лежащие в основе биткойнов, меняют деньги, бизнес и мир . стр. 72, 83, 101, 127. ISBN 978-0670069972.
  5. ^ Сабо, Ник (1997). «Взгляд на оформление и обеспечение безопасности отношений в публичных сетях | Первый понедельник» . firstmonday.org .
  6. ^ a b «Белая книга · ethereum / wiki Wiki · GitHub» . Архивировано 11 января 2014 года.
  7. ^ Алхарби, Махер; ван Мурсель, Аад (26 августа 2017 г.). «Смарт-контракты на основе блокчейна: систематическое сопоставление». Компьютерные науки и информационные технологии : 125–140. arXiv : 1710.06372 . DOI : 10,5121 / csit.2017.71011 . ISBN 9781921987700. S2CID  725413 .
  8. ^ Cannarsa, Мишель (1 декабря 2018). «Толкование контрактов и смарт-контрактов: умная интерпретация или толкование смарт-контрактов?» . Европейский обзор частного права . 26 (6).
  9. ↑ Барабанщик, Дэниел; Нойман, Дирк (5 августа 2020 г.). «Является ли кодекс законом? Текущие юридические и технические проблемы принятия и средства правовой защиты для смарт-контрактов с поддержкой блокчейна» . Журнал информационных технологий . 35 (4): 337–360. DOI : 10.1177 / 0268396220924669 . ISSN 0268-3962 . S2CID 225409384 .  
  10. ↑ Филатова, Наталия (1 сентября 2020 г.). «Смарт-контракты с точки зрения договорного права: описание новых регуляторных стратегий» . Международный журнал права и информационных технологий . 28 (3): 217–242. DOI : 10.1093 / ijlit / eaaa015 . ISSN 0967-0769 . 
  11. Рианна Моррис, Дэвид З. (21 января 2014 г.). «Биткойн - это не просто цифровая валюта. Это Napster для финансов» . Удача . Проверено 7 ноября 2018 .
  12. ^ Schulpen, Рубен RWHG (1 августа 2018). «Умные контракты в Нидерландах - Тилбургский университет» . uvt.nl . Университет Твенте . Проверено 26 октября 2019 года .
  13. ^ Mik, Элиза, Смарт Контракты: Реквием (7 декабря 2019). Журнал договорного права (2019) Том 36 Часть 1, стр. 72
  14. ^ J Cieplak, S Leefatt, «Смарт-контракты: умный способ автоматизации производительности» (2017) 1 Georgia L & Tech Rev 417
  15. ^ Governatori, Гвидо; Идельбергер, Флориан; Милошевич, Зоран; Риверет, Регис; Сартор, Джованни; Сюй, Сивэй (2018). «О юридических контрактах, императивных и декларативных смарт-контрактах и ​​системах блокчейн». Искусственный интеллект и право . 26 (4): 33. DOI : 10.1007 / s10506-018-9223-3 . S2CID 3663005 . 
  16. ^ Бутерин, Виталик (7 августа 2015). «Ethereum - на публичных и публичных блокчейнах» . Ethereum.Org .
  17. ^ DJ Yaga и др., Обзор технологии блокчейн, Национальный / межведомственный отчет Национального института стандартов и технологий 8202, 2018 г., стр. 54, цитируется в Mik, Eliza, Smart Contracts: A Requiem (7 декабря 2019 г.). Журнал договорного права (2019) Том 36 Часть 1, стр. 71
  18. ^ Кашен, Кристиан. «Архитектура Hyperledger Blockchain Fabric» (PDF) . ibm.com .
  19. ^ Во, Хоанг Там; Кунду, Ашиш; Мохания, Мукеш (2018). «Направления исследований в области управления данными и аналитики блокчейна» (PDF) . Достижения в технологии баз данных - Расширение технологии баз данных (EDBT) . OpenProceedings. 21 : 446. Некоторые технологии распределенного реестра поддерживают дополнительную возможность, называемую интеллектуальным контрактом, которая до некоторой степени похожа на концепцию хранимой процедуры в классических реляционных базах данных. Смарт-контракты позволяют стандартизировать, автоматизировать и применять общие бизнес-процессы в бизнес-сети с помощью компьютерных программ для повышения целостности реестра.
  20. ^ Хакл, Стив; Бхаттачарья, Ритупарна; Белый, Мартин; Белофф, Наталья (2016). «Интернет вещей, блокчейн и приложения общей экономики» . Процедуры информатики . Elsevier BV 98 : 463. DOI : 10.1016 / j.procs.2016.09.074 . Во-первых, это общее количество BTC на входах транзакции должно покрывать общее количество BTC на выходах. Это правило ведет себя аналогично хранимой процедуре базы данных, за исключением того, что его невозможно обойти. Во-вторых, транзакции BTC используют криптографию с открытым и закрытым ключом. Это заставляет BTC действовать как база данных с общедоступной проверяемой схемой разрешений для каждой строки.
  21. ^ Makhovsky, Андрей (22 декабря 2017). «Беларусь принимает закон о криптовалюте, чтобы привлечь иностранных инвесторов» . Рейтер .
  22. ↑ Глава 9: Построение безопасного будущего, один блокчейн за раз , Объединенный экономический комитет Сената США , март 2018 г.
  23. ^ "Аризона HB2417 - 2017 - Пятьдесят третье законодательное собрание 1-го регулярного" . ЛегиСкан .
  24. ^ Хайман Гейл М., Дигести, Мэтью П. Законодательство Новой Невады признает терминологию блокчейна и смарт-контрактов Август 2017 г., Невада Юрист
  25. ↑ Том, Дэниел (22 сентября 2020 г.). «Умный контракт Билл Теннесси» (PDF) .
  26. ↑ Вайоминг, Законодательное собрание (26 февраля 2019 г.). «Вайоминг - Смарт-контракт» .
  27. ^ «Айова Хаус утверждает счета, чтобы облегчить широкополосный доступ, криптовалюту» . www.thegazette.com . Проверено 15 апреля 2021 .
  28. ^ Морган, Герберт Смит Freehills LLP-Чарли; Паркер, Крис; Ливингстон, Дороти; Найш, Ванесса; Тевендейл, Крейг. «Арбитраж цифровых споров в смарт-контрактах и ​​публикация правил разрешения цифровых споров от рабочей группы по юрисдикции Великобритании | Lexology» . www.lexology.com . Проверено 25 апреля 2021 .
  29. ^ a b c Солоро, Кевин; Канна, Рэндалл; Гувер, Дэвид (декабрь 2019 г.). Практическая разработка смарт-контрактов на Solidity и Ethereum: от основ до развертывания . Калифорния, США: О'Рейли. п. 73. ISBN 978-1-492-04526-7. Дата обращения 1 ноября 2020 .
  30. ^ а б Сергей, Илья; Нагарадж, Вайвасватха; Йоханссен, Якоб; Кумар, Амрит; Трунов, Антон; Хао, Кен Чан Гуань (10 октября 2019 г.). «Более безопасное программирование смарт-контрактов с помощью Scilla» . Труды ACM по языкам программирования . 3 (OOPSLA): 1–30. DOI : 10.1145 / 3360611 . ISSN 2475-1421 . 
  31. ^ Алхарби, Махер; ван Мурсель, Аад (26 августа 2017 г.). «Смарт-контракты на основе блокчейна: систематическое сопоставление» . Компьютерные науки и информационные технологии (CS & IT) : 125–140. arXiv : 1710.06372 . DOI : 10,5121 / csit.2017.71011 . ISBN 9781921987700.
  32. ^ Ворер, Максимилиан; Здун, Уве (20 марта 2018 г.). «Смарт-контракты: шаблоны безопасности в экосистеме эфириума и надежность» . 2018 Международный семинар по разработке программного обеспечения, ориентированного на блокчейн (IWBOSE) : 2–8. DOI : 10.1109 / IWBOSE.2018.8327565 . ISBN 978-1-5386-5986-1. S2CID  4567923 .
  33. ^ Перес, Даниэль; Лившиц, Вениамин (17 октября 2020 г.). «Уязвимости смарт-контрактов: уязвимость не подразумевает использования». arXiv : 1902.06710 [ cs.CR ].
  34. ^ а б Харц, Доминик; Ноттенбелт, Уильям (31 октября 2018 г.). «На пути к более безопасным смарт-контрактам: обзор языков и методов проверки». arXiv : 1809.09805 [ cs.CR ].
  35. ^ а б в Тюрин А.В.; Тюлуандин, IV; Мальцев ВС; Кириленко И.А.; Березун Д.А. (2019). «Обзор языков для безопасного программирования смарт-контрактов» . Труды Института системного программирования РАН . 31 (3): 157–176. DOI : 10.15514 / ИСП РАН-2019-31 (3) -13 . S2CID 203179644 . 
  36. ^ Янсен, Марк; Хдили, Фарук; Гуйя, Рами; Касем, Зияад (2020). «Должны ли языки смарт-контрактов быть полными по Тьюрингу?». Блокчейн и приложения . Достижения в интеллектуальных системах и вычислениях. Издательство Springer International. 1010 : 19–26. DOI : 10.1007 / 978-3-030-23813-1_3 . ISBN 978-3-030-23812-4. S2CID  195656195 .
  37. ^ Ацей, Никола; Бартолетти, Массимо; Чимоли, Тициана; Ланде, Стефано; Зунино, Роберто (2018), «SoK: разгадывая смарт-контракты Биткойна» (PDF) , 7-я Международная конференция по принципам безопасности и доверия (POST) , Европейские совместные конференции по теории и практике программного обеспечения
  38. ^ a b Ацей, Никола; Бартолетти, Массимо; Чимоли, Тициана (2017), «Обзор атак на смарт-контракты Ethereum» (PDF) , 6-я Международная конференция по принципам безопасности и доверия (POST) , Европейские совместные конференции по теории и практике программного обеспечения
  39. ^ а б Чаттерджи, Кришненду; Гохаршади, Амир Кафшдар; Пурдамгани, Араш (21 февраля 2019 г.). «Вероятностные смарт-контракты: безопасная случайность в блокчейне». arXiv : 1902.07986 [ cs.GT ].
  40. ^ Чэнь, Тай-юань; Хуан, Вэйнин; Куо, Бо-чун; Чанг, Хао (6 августа 2020 г.). «Метод создания безопасной случайности на блокчейне» . Проверено 28 августа 2020 .
  41. ^ Цзя, Чжифэн; Чен, Руи; Ли, Цзе (2019). «DeLottery: новая децентрализованная система лотереи, основанная на технологии блокчейн». Материалы 2-й Международной конференции по технологии и приложениям блокчейн 2019 . С. 20–25. DOI : 10.1145 / 3376044.3376049 . ISBN 9781450377430. S2CID  207880557 .
  42. ^ "рандао / рандао" . рандао. 10 июля 2020 . Проверено 10 июля 2020 .
  43. ^ Ник Сабо (1998). «Защищать права собственности с полномочиями владельца» . Архивировано из оригинала на 15 января 2014 года . Проверено 12 января 2014 года .
  44. ↑ Йорг Ф. Виттенбергер (2002). «Аскемос распределенный поселок» .
  45. ^ «Труды Международной конференции по развитию инфраструктуры для электронного бизнеса, электронного образования, электронной науки и электронной медицины в Интернете» (PDF) .
  46. ^ Мартин Мёбиус (2009). "Erstellung eines Archivierungskonzepts für die Speicherung rückverfolgbarer Datenbestände im Askemos-System" . Цитировать журнал требует |journal=( помощь )
  47. ^ Том-Стив Watzke (2010). "Entwicklung einer Datenbankschnittstelle als Grundlage für Shop-Systeme unter dem Betriebssystem Askemos" . Цитировать журнал требует |journal=( помощь )
  48. ^ RA Markus Heinker (2007). "Beweiswürdigung elektronischer Dokumente im Zivilprozess unter vergleichender Betrachtung von qualifizierten elektronischen Signaturen nach dem Signaturgesetz und dem Askemos-Verfahren" .
  49. ↑ Хэл Ходсон (20 ноября 2013 г.). «Биткойн выходит за рамки простых денег» . Новый ученый . Проверено 12 января 2014 .
  50. ^ Росс, Рори (2015-09-12). «Умные деньги: блокчейны - будущее Интернета» . Newsweek . Проверено 27 мая 2016 .
  51. ^ Уиган, Дэвид (2015-06-11). «Биткойн-технология подорвет деривативы, - говорит банкир» . IFR Asia . Проверено 27 мая 2016 .
  52. ^ Как технология блокчейн может изменить нашу жизнь
  53. ^ Блокчейн и ИИ придут, чтобы убить эти 4 бизнес-вертикали
  54. ↑ Пек, М. (28 мая 2016 г.). «Фонд Ethereum на основе блокчейна на 150 миллионов долларов открывается в тот момент, когда исследователи призывают к остановке» . IEEE Spectrum . Институт инженеров по электротехнике и радиоэлектронике .
  55. Перейти ↑ DuPont, Quinn (2017). «Эксперименты в алгоритмическом управлении: история и этнография« DAO », неудавшейся децентрализованной автономной организации» (PDF) . Архивировано из оригинального (PDF) 30 июля 2017 года . Проверено 29 июля 2017 года .
  56. ^ Кой, Питер; Хариф, Ольга (25 августа 2016 г.). «Это ваша компания на блокчейне» . Bloomberg Businessweek . Проверено 5 декабря 2016 .
  57. ^ Прайтишан, Пуратани; Пан, Лей; Ю, Цзяншань; Лю, Джозеф; Досс, Р. (2019). «Методы анализа безопасности уязвимостей смарт-контрактов Ethereum: обзор». arXiv : 1908.08605 [ cs.CR ].
  58. ^ Технический документ: Смарт-контракты и распределенная книга - юридическая перспектива , 5.
  59. ^ Технический документ: Смарт-контракты и распределенная книга - юридическая перспектива , 3.