Наскільки розумні контракти близькі до впливу на закон реального світу?

Джош Старк є юристом і керівником операційного та юридичного відділу Ledger Labs, консалтингова фірма та група розробників блокчейну.

У цій Погляди Старк зосереджується на «розумних контрактах» як альтернативній формі юридичної угоди, міркуючи про те, як вони можуть вплинути на його галузь.

За останній рік концепція «розумного контракту» знову привернула увагу в юридичних і бізнес-колах.

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

У цьому контексті "розумний контракт" стосується конкретно використання комп’ютерного коду для формулювання, перевірки та виконання угоди між сторонами. У той час як типовий контракт складається з використанням природної мови, умови розумних контрактів виражені в коді, подібному до мови програмування, як-от javascript або HTML.

Контракт потім «виконується» комп’ютером – враховуючи умови угоди та набір визначених вхідних даних, розумний контракт забезпечує дотримання власних умов.

Читачі, знайомі з Технології блокчейн, знають, що термін «розумний контракт» часто використовується в більш загальному значенні для позначення будь-якого сценарію або програми, яка працює в блокчейні. Однак для цілей цієї статті ми зосереджуємося на вужчому значенні, описаному вище: використання коду замість традиційних договірних угод між сторонами.

Точка походження

Термін «розумний контракт» вперше був популяризований комп’ютерним науковцем Ніком Сабо в його статті «Ідея розумних контрактів» 1997 року. Торговий автомат, як він описав, є найпростішою формою «розумного контракту» — механічного пристрою, призначеного для передачі права власності на товар (цукерку) за умови певного введення (1,50 долара). Оскільки машина сама «контролює» власність – будучи фізично запечатаною – вона здатна забезпечити виконання умов «контракту».

Розширюючи концепцію, Сабо припустив, що комп’ютерний код можна використовувати замість механічних пристроїв для полегшення набагато складніших транзакцій цифрової власності. Замість того, щоб передавати право власності на цукерку, смарт-контракт може передати право власності на нерухомість, акції чи інтелектуальну власність. Програма визначала б, які «вхідні дані» необхідні для виконання контракту – такі речі, як оплата, голоси членів правління чи будь-яка інша умова, яка може бути виражена кодом.

Розглянемо базовий опціонний контракт. Контракт опціону колл дає власнику право купити певний цінний папір за визначеною ціною. У нашому прикладі ALICE купує наш «контракт на розумні опціони» у Боба. Контракт дає ALICE право придбати 100 акцій Acme Inc у Боба за визначеною ціною 50 доларів за акцію. Контракт має термін дії, після якого ALICE більше не має права купувати акцію за визначеною «страйковою ціною».

Виражений у псевдокоді простий «контракт смарт-опціонів» може виглядати так:

опція контракту {

strikePrice = 50 доларів США

тримач = ALICE

продавець = Боб

актив = 100 акцій Acme Inc.

expiryDate = 1 червня 2016 р

функція вправа ( ) {

Якщо відправник повідомлення = власник, і

Якщо поточна дата < expiryDate, тоді

власник надсилає ($5000) продавцю та

продавець надсилає (актив) власнику

}

У першому розділі контракту смарт-опціонів визначаються відповідні умови – базовий актив, ціна виконання, особи кожної сторони та термін дії. Потім функція, яку ми назвали «вправа», дозволяє власнику ініціювати покупку акцій за ціною виконання в будь-який момент до закінчення терміну дії.

Функція спочатку перевіряє, чи є суб’єкт, який її ініціює («Відправник повідомлення»), власником, а потім перевіряє, чи закінчився термін дії контракту.

Якщо і те, і інше вірно, тоді контракт негайно виконується шляхом передачі готівки від власника до продавця, а також активів від продавця до власника відповідно до умов контракту.

Два виклики

Донедавна смарт-контракти були лише теорією. Загалом існувало дві основні проблеми, які необхідно було вирішити, перш ніж смарт-контракти можна буде використовувати в реальному світі.

По-перше: як розумний контракт фактично контролюватиме реальні активи, щоб він міг забезпечити виконання угоди? Торговий автомат, якщо повернутися до прикладу Сабо, контролює власність, фізично закріплюючи її всередині себе. Але як код міг зробити те саме?

У нашому опціонному контракті вище функція «здійснення» передає гроші та активи між двома сторонами. Як комп’ютерна програма може контролювати реальні активи, такі як готівка та акції?

По-друге: якому комп’ютеру можна було б довірити «виконання» цих умов у спосіб, на який могли б покластися обидві сторони? Сторони мають узгодити не лише код свого контракту, а й комп’ютер, який інтерпретує та виконує цей код. Має існувати як мінімум спільний стандарт і використовуватися таким чином, щоб його могла перевірити кожна сторона – в ідеалі, не вимагаючи від сторін фізичної перевірки відповідного комп’ютера.

Введіть блокчейн

За останні кілька років з’явилися шляхи вирішення обох цих проблем. Нові дослідження та розробки навколо Технології блокчейн можуть стати основою для того, щоб смарт-контракти стали реальністю в NEAR майбутньому.

Першим використанням Технології блокчейн стала цифрова валюта Bitcoin, яка стала відомою завдяки своєму таємничому творцю та раптовому зростанню ціни наприкінці 2013 року. Протягом останніх кількох років «блокчейн», що лежить в його основі, інтенсивно вивчався та адаптувався для розширення його використання за межі простих цифрових валют. Стартапи, спільноти з відкритим кодом і великі фінансові установи вдосконалюють і розширюють Технології з метою ONE дня використовувати її для полегшення обміну повністю цифровими активами.

Блокчейн — це авторитетна база даних. Це база даних, яка, завдяки тому, як вона підтримується та оновлюється, має дуже високі властивості довіри. Блокчейни не контролюються однією стороною. Немає жодної компанії, організації чи особи, яка має остаточний контроль над блокчейном.

Натомість блокчейн підтримується, оновлюється та захищається мережею комп’ютерів-учасників.

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

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

Таким чином блокчейни утворюють основу для запису та передачі повністю цифрових активів.

Оскільки блокчейн завжди зберігається в синхронізації, існує лише ONE справжній запис про право власності – це важливо, щоб запобігти спробам подвоїти витрати своїх активів, надсилаючи їх кільком сторонам одночасно, проблема, яка перешкоджала попереднім спробам створити цифрові активи. Оскільки неможливо редагувати блокчейн після того, як він був належним чином оновлений, сторони мають математично підкріплену впевненість, що записи про їхнє право власності збережуться в майбутньому.

Нові рішення

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

По-перше, смарт-контракти вимагають комп’ютерного коду для контролю реальних активів. Забезпечуючи повністю оцифровані активи, блокчейни дозволяють коду здійснювати контроль над власністю. У блокчейні контроль над активом означає контроль криптографічного ключа, який відповідає даному активу, а не будь-якому фізичному об’єкту.

Таким чином, у наведеному вище прикладі опціонний контракт міг би сам контролювати базові активи, а не депонований агент. Коли викликається функція "exercise", операція коду передасть активи без допомоги Human .

По-друге, смарт-контрактам потрібен «надійний комп’ютер», який би виконував умови контракту. Це сам блокчейн. Блокчейни, які розробляються сьогодні, — це не тільки бази даних, але й розподілені комп’ютери, які можуть виконувати код, а також реєструвати право власності на активи.

Наш приклад «розумного варіанту» сам буде завантажений і збережений у блокчейні, і буде виконаний блокчейном, коли йому буде надано відповідну вказівку.

Ті самі властивості, які роблять блокчейни ідеальними для реєстрації права власності на активи, також роблять їх ідеальними для виконання смарт-контрактів. Після того, як код контракту завантажено та записано в блокчейн, сторони можуть бути впевнені, що контракт неможливо змінити та що він працюватиме, як очікувалося.

Майбутній вплив

Розумні контракти на блокчейні можуть бути не такими далекими, як ми очікуємо.

Банки, біржі та інші фінансові установи активно розвивають технології блокчейну, які дозволять їм зберігати та торгувати реальними активами через системи блокчейну. Nasdaq у партнерстві з блокчейн-стартапом Chain розробив і почав тестувати платформу для торгівлі акціями на приватному ринку.

Блокчейн нового покоління з відкритим кодом називається Ethereum прагне стати основою для нової галузі нетрадиційної децентралізованої торгівлі. Консорціум із 43 банків, які працюють з блокчейн-компанією R3, має розпочату роботу на спільній галузевій платформі, заснованій на Технології блокчейн, спеціально розробленій для полегшення фінансових угод.

Через кілька років фінансові Ринки можуть торгувати повністю цифровими активами в блокчейн-мережах, а умови цих торгів будуть закріплені кодом.

Вплив не обмежиться фінансовими контрактами, хоча це найбільш очевидні випадки використання. У міру розробки методів, які дозволяють реєструвати інші типи власності та здійснювати транзакції в блокчейні, кількість можливих застосувань для смарт-контрактів зростатиме.

Якщо розумні контракти колись набудуть широкого застосування, вони можуть змінити характер корпоративних і комерційних операцій. Переваги програмного забезпечення, які зробили революцію в багатьох галузях – автоматизація, передбачуваність і швидкість – нарешті можуть бути використані в сегментах юридичної галузі.

Представлення договірних умов у коді, а не природною мовою, може внести ясність і передбачуваність угод. Смарт-контракт можна перевірити на будь-якому наборі вхідних даних – іншими словами, на будь-якому наборі суттєвих фактів, які він сприймає як вхідні дані – дозволяючи юристам з обох сторін угоди точно знати, як контракт виконуватиметься з кожним можливим обчислювальним результатом.

У нашому простому прикладі Smart Option, наведеному вище, кожен з ALICE та Боба міг «запустити» контракт у змодельованому середовищі, де перевіряються всі можливі вхідні дані. Хоча це непотрібно в такому простому прикладі, уявіть собі контракт із тисячами вхідних даних і сотнями вкладених операторів «якщо-тоді», як це зазвичай буває в багатьох складних фінансових угодах.

Вони також можуть бути перевірені на всі можливі вхідні дані, визначені в коді. Подібно до того, як розробники програмного забезпечення «налагоджують» свій власний код, тестуючи його за будь-яких можливих обставин, юристи можуть перевіряти контракти, даючи кожній стороні угоди чіткіше зрозуміти їхній ризик – і, можливо, вимагаючи менше оплачуваних годин.

Порушення, а не заміна

Звичайно, смарт-контракти ніколи повністю не замінять право природної мови.

Багато типів угод ніколи не можуть бути повністю виражені в коді або виконані комп’ютером – наприклад, ті, які передбачають роботу Human , а не обмін дематеріалізованими активами.

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

Поки що смарт-контракти все ще є науковою фантастикою.

Але вперше ми маємо Технології , яка може бути використана для комерційного використання. Хоча до цього дня ще можуть залишитися роки, юристам було б розумно розглянути, як ці інновації можуть вплинути на їхній бізнес.

До того часу, коли смарт-контракти стануть життєздатними, юридичні фірми повинні сподіватися, що у них є відповідні юристи.

Щоб глибше зануритися в розумні контракти, прочитайте нашу останню версію Звіт CoinDesk Research.

Соціальні мережі Джошем у Twitter тут.

Зображення коду через Shutterstock