Розумний контракт

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Смарт-контракт (англ. Smart contract — “розумний контракт”) — комп'ютерний протокол, який спрощує, верифікує, або забезпечує дотримання переговорів, або виконання договору, перевіряє непотрібні пункти договору. Смарт-контракти, зазвичай, мають інтерфейс користувача і часто слідують логіці договірних положень. Прихильники розумних контрактів стверджують, що таким чином багато видів договірних положень може бути здійснено частково або повністю, самостійно або вдвох. Смарт-контракти спрямовані на забезпечення безпеки, яка перевершує традиційне договірне право, а також на зменшення операційних витрат.

В реальному світі панівне охоплення в реалізації смарт-контрактів здобула DAO, розподілена автономна організація[en] для венчурного фінансування, яка була запущена у травні 2016 року.

Історія[ред. | ред. код]

Словосполучення «смарт-контракт» було створено комп'ютерним вченим Ніком Сабо в 1996 році, для підкреслення того, що він називає «високорозвинені практики» договірного права і пов'язаних з діловою практикою в розробці електронних протоколів торгівлі, між незнайомими людьми в Інтернеті. У 1996 році Сабо описував його так:

« Нові інституції і нові способи формалізації відносин цих інституцій сталі можливі завдяки цифровій революції. Я називаю ці контракти «розумними» тому що вони набагато більш функціональні, ніж їхні неживі паперові предки. Не передбачається використання штучного інтелекту. Смарт-контракти це набір обіцянок у цифровому форматі, включно з протоколами за якими сторони виконують ці обіцянки.
Оригінальний текст(англ.)
New institutions, and new ways to formalize the relationships that make up these institutions, are now made possible by the digital revolution. I call these new contracts «smart», because they are far more functional than their inanimate paper-based ancestors. No use of artificial intelligence is implied. A smart contract is a set of promises, specified in digital form, including protocols within which the parties perform on these promises. [1]
»

Сабо, натхненний дослідником Девід Чаумом[en], також мав широке очікування того, що специфікації на основі чіткої логіки і перевірки, або виконання через криптографічні протоколи та інші механізми цифрової безпеки, може являти собою різке поліпшення в порівнянні з традиційним контрактом, навіть для деяких традиційних видів договірних положень, які можуть бути передані під владу комп'ютерних протоколів.[2]

У документі 2013 року, Марк Міллер[en] та інші підкреслювали можливості[en] як основи безпеки розумних контрактів, на відміну від Чаума та інших дослідників в криптографічної фінансової спільноти, які використовують сучасні криптографічні протоколи[3], щоб забезпечити безпеку і конфіденційність цифрових грошей, облікових даних, підписання контракту, аукціонів, а також інших комерційних механізмів.

Кілька формальних мов були розроблені та запропоновані для визначення договірних положень.[4][5][6] IEEE провів два семінари з електронним укладенням договорів.[7]

Останнім часом галас навколо блокчейну[8], смарт-контрактів використовується в основному в сенсі загального розуміння цілі, що відбувається на блокчейні.[9] У цій інтерпретації смарт-контракт не обов'язково має відношення до класичної концепції договору, але може бути будь-якою комп'ютерною програмою.

Питання безпеки[ред. | ред. код]

Смарт-контракт як «комп'ютеризований протокол транзакцій, який виконує умови контракту[10],» то не по своїй природі "розумний", а як окремий атрибут типу контракту.[11] Блок ланцюг, на основі смарт-контракта, видно всім користувачам зазначеного блоку. Проте, це призводить до помилок, в тому числі дірок в системі безпеки, які видно всім, але не може бути швидко виправлено.[12] Таким чином, була успішно виконана атака на DAO в червні 2016 року вартістю 50 млн USD у Ethereum, в той час, як розробники намагалися прийти до вирішення цієї проблеми. Обробка задачі на блокчейні вимагала часу, за який хакер може отримати доступ до ресурсів, і зняти кошти з DAO контракту.

Винагорода та виконання[ред. | ред. код]

Сабо передбачає, що смарт-контракт це інфраструктура, яка може бути реалізована шляхом тиражованих реєстрів активів[13] та виконання контрактів з використанням криптографічного хеш-ланцюга і Візантійської відмовостійкої винагороди. Кожен вузол у мережі рівноправних вузлів виступає як заголовок реєстру і умовна порука, що виконує зміни права власності та автоматично відзначає правила, що регулюють ці операції, і перевіряє ту ж роботу інших вузлів. Аскемос реалізував цей підхід в 2002 році, використовуючи схему як мову сценаріїв контракту.

Криптовалюти, такі як bitcoin впровадили спеціальні випадки таких реєстрів, де майно гроші. Bitcoin і багато з його спін-оффів містять механізми для того, щоб мати більше можливостей спільної власності і виконання контрактів. Код підтримки це прихована частина протоколу Bitcoin, на основі імовірної та анонімної (за рахунок доказу роботи на основі візантійського) винагороди.

Одна з пропозицій для використання Bitcoin для реєстрації активів і виконання контракту називається «кольорові монети».[14] Реєстрація доменного імені реєстру здійснюється в Namecoin; реєструємо назви для потенційно довільних форм власності, поряд з виконанням контракту, реалізовані в Crypti, Ripple, Mastercoin і Ethereum.[15][16] NXT[17] реалізує право власності на доказі власності, частки в базовій валюті.

Смарт-контракти можуть бути реалізовані за допомогою рікардіанському шаблону[en] проектування контракту.[18][19]

Додатки можуть включати в себе фінансові інструменти, такі як облігації, акції та похідні, договорів по забезпеченню, а також інші документи і угоди, де вузли можуть стежити за розвитком подій, на яких зумовлені розумні правила контракту. Переваги смарт-контракту як еквіваленту звичайного фінансового інструменту гіпотетично включають зведення до мінімуму ризику контрагента, скорочення термінів розрахунків, а також підвищення прозорості.[20] UBS UBS експериментував з "розумними" облігаціями, які використовують bitcoin блок-ланцюг,[21] в якому платіжні потоки гіпотетично могли б бути повністю автоматизовані, створюючи самостійно оплачуваний інструмент.[22]

У популярній культурі[ред. | ред. код]

У романі Постійність (роман)[en] (2002) Карл Шредер відрізняє «економіку прав», в якому всі фізичні об'єкти є нано-мічені договірними вимогами, з тим, що оплата може застосовуватися для всіх видів використання службової інформації, наприклад, військова місія в глибокому космосі повинна постійно виправдовувати співвідношення витрат і вигод своєї місії на кораблі або він перестане працювати.[джерело?]

Примітки[ред. | ред. код]

  1. Nick Szabo -- Smart Contracts: Building Blocks for Digital Markets. www.fon.hum.uva.nl. Процитовано 2017-07-29. 
  2. Nick Szabo. Formalizing and Securing Relationships on Public Networks. First Monday. 
  3. Miller, Van Cutsem, and Tulloh (2013). Distributed Electronic Rights in JavaScript. ESOP'13 22nd European Symposium on Programming. 
  4. Welcome to ERights.Org. erights.org. 
  5. A Formal Language for Analyzing Contracts. vwh.net. 
  6. [1]
  7. http://tab.computer.org/tcec/cec04/programWEC.html
  8. https://www.google.ch/trends/explore?q=blockchain
  9. http://www.multichain.com/blog/2015/11/smart-contracts-slow-blockchains/
  10. Tapscott, Don; Tapscott, Alex (May 2016). The Blockchain Revolution: How the Technology Behind Bitcoin is Changing Money, Business, and the World. с. 72, 83, 101, 127. ISBN 978-0670069972. 
  11. https://medium.com/blockchain-hub/to-fork-of-not-to-fork-a9b077718fe3#.xk7ojtacq
  12. Peck, M. (28 May 2016). Ethereum’s $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt. IEEE Spectrum. Institute of Electrical and Electronics Engineers. 
  13. Nick Szabo (2005). Secure Property Titles with Owner Authority. Процитовано January 12, 2014. 
  14. Hal Hodson (20 November 2013). Bitcoin moves beyond mere money. New Scientist. Процитовано 12 January 2014. 
  15. Ethereum: A Next-Generation Generalized Smart Contract and Decentralized Application Platform. Процитовано 12 January 2014. 
  16. http://blockgeeks.com/guides/what-is-ethereum-a-step-by-step-beginners-guide
  17. Bitcoin Descendant NXT Features 100% New Code, Green Mining, Decentralized Trading, More. Yahoo Finance. 23 December 2013. Процитовано 12 January 2014. 
  18. Grigg (2015). The Sum of all Chains - Lets Converge. Coinscrum. 
  19. Clack et al (2016). Smart Contract Templates: foundations, design landscape and research directions. 
  20. Blockchain Technology: Preparing for Change. Accenture. 
  21. Ross, Rory (2015-09-12). Smart Money: Blockchains Are the Future of the Internet. Newsweek. Процитовано 2016-05-27. 
  22. Wigan, David (2015-06-11). Bitcoin technology will disrupt derivatives, says banker. IFR Asia. Процитовано 2016-05-27. 

Див. також[ред. | ред. код]

Посилання[ред. | ред. код]