Смарт-контракт (англ. Smart contract— “розумний контракт”) — комп'ютерний протокол, який спрощує, верифікує, або забезпечує дотримання переговорів, або виконання договору, перевіряє непотрібні пункти договору. Смарт-контракти, зазвичай, мають інтерфейс користувача і часто слідують логіці договірних положень. Прихильники розумних контрактів стверджують, що таким чином багато видів договірних положень може бути здійснено частково або повністю, самостійно або вдвох. Смарт-контракти спрямовані на забезпечення безпеки, яка перевершує традиційне договірне право, а також на зменшення операційних витрат.
В реальному світі панівне охоплення в реалізації смарт-контрактів здобула DAO, розподілена автономна організація для венчурного фінансування, яка була запущена у травні 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.
Сабо, натхненний дослідником Девід Чаумом, також мав широке очікування того, що специфікації на основі чіткої логіки і перевірки, або виконання через криптографічні протоколи та інші механізми цифрової безпеки, може являти собою різке поліпшення в порівнянні з традиційним контрактом, навіть для деяких традиційних видів договірних положень, які можуть бути передані під владу комп'ютерних протоколів.
У документі 2013 року, Марк Міллер та інші підкреслювали можливості, як основи безпеки розумних контрактів, на відміну від Чаума та інших дослідників в криптографічної фінансової спільноти, які використовують сучасні криптографічні протоколи, щоб забезпечити безпеку і конфіденційність цифрових грошей, облікових даних, підписання контракту, аукціонів, а також інших комерційних механізмів.
Кілька формальних мов були розроблені та запропоновані для визначення договірних положень. IEEE провів два семінари з електронним укладенням договорів.
Останнім часом галас навколо блокчейну, смарт-контрактів використовується в основному в сенсі загального розуміння цілі, що відбувається на блокчейні. У цій інтерпретації смарт-контракт не обов'язково має відношення до класичної концепції договору, але може бути будь-якою комп'ютерною програмою.
Питання безпеки.
Смарт-контракт як «комп'ютеризований протокол транзакцій, який виконує умови контракту» то не по своїй природі "розумний", а як окремий атрибут типу контракту. Блок ланцюг, на основі смарт-контракта, видно всім користувачам зазначеного блоку. Проте, це призводить до помилок, в тому числі дірок в системі безпеки, які видно всім, але не може бути швидко виправлено. Таким чином, була успішно виконана атака на DAO в червні 2016 року вартістю 50 млн USD у Ethereum, в той час, як розробники намагалися прийти до вирішення цієї проблеми. Обробка задачі на блокчейні вимагала часу, за який хакер може отримати доступ до ресурсів, і зняти кошти з DAO контракту.
Винагорода та виконання.
Сабо передбачає, що смарт-контракт це інфраструктура, яка може бути реалізована шляхом тиражованих реєстрів активів та виконання контрактів з використанням криптографічного хеш-ланцюга і Візантійської відмовостійкої винагороди. Кожен вузол у мережі рівноправних вузлів виступає як заголовок реєстру і умовна порука, що виконує зміни права власності та автоматично відзначає правила, що регулюють ці операції, і перевіряє ту ж роботу інших вузлів. Аскемос реалізував цей підхід в 2002 році, використовуючи схему як мову сценаріїв контракту.
Криптовалюти, такі як bitcoin впровадили спеціальні випадки таких реєстрів, де майно гроші. Bitcoin і багато з його спін-оффів містять механізми для того, щоб мати більше можливостей спільної власності і виконання контрактів. Код підтримки це прихована частина протоколу Bitcoin, на основі імовірної та анонімної (за рахунок доказу роботи на основі візантійського) винагороди.
Одна з пропозицій для використання Bitcoin для реєстрації активів і виконання контракту називається «кольорові монети». Реєстрація доменного імені реєстру здійснюється в Namecoin; реєструємо назви для потенційно довільних форм власності, поряд з виконанням контракту, реалізовані в Crypti, Ripple, Mastercoin і Ethereum. NXT реалізує право власності на доказі власності, частки в базовій валюті.
Смарт-контракти можуть бути реалізовані за допомогою рікардіанському шаблону проектування контракту.
Додатки можуть включати в себе фінансові інструменти, такі як облігації, акції та похідні, договорів по забезпеченню, а також інші документи і угоди, де вузли можуть стежити за розвитком подій, на яких зумовлені розумні правила контракту. Переваги смарт-контракту як еквіваленту звичайного фінансового інструменту гіпотетично включають зведення до мінімуму ризику контрагента, скорочення термінів розрахунків, а також підвищення прозорості. UBS експериментував з "розумними" облігаціями, які використовують bitcoin блок-ланцюг, в якому платіжні потоки гіпотетично могли б бути повністю автоматизовані, створюючи самостійно оплачуваний інструмент.
У популярній культурі.
У романі Постійність (2002) Карл Шредер відрізняє «економіку прав», в якому всі фізичні об'єкти є нано-мічені договірними вимогами, з тим, що оплата може застосовуватися для всіх видів використання службової інформації, наприклад, військова місія в глибокому космосі повинна постійно виправдовувати співвідношення витрат і вигод своєї місії на кораблі або він перестане працювати.
Коментарі
Дописати коментар