Чому розумні контракти потребують кмітливих людей

Професор Майкл Майнеллі є виконавчим головою Z/Yen Group і головний радник Long Фінанси. Боб МакДауолл є партнером Z/Yen, а також головою комітету з Політика та Фінанси штату Олдерні, Нормандські острови.

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

Наскільки розумний ваш код?

Так званий "розумні контрактиВиконувані фрагменти коду, які зберігаються у спільному розподіленому журналі для майбутнього виконання, прив’язують людей і платежі до дій і результатів.

Комп’ютерний науковець Нік Сабо просуває цей термін з початку 1990-х років і описує перенесення «високорозвинених» практик договірного права в розробку протоколів електронної комерції між незнайомцями в Інтернеті. Інтерес до терміну «розумний контракт» останнім часом зріс відповідно до інтересу до Bitcoin і блокчейнів.

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

Тут ми проводимо різницю між розумними контрактами та «тупим кодом».

Комп'ютерний код може бути надзвичайно дурним. Частини коду — це Учні Чарівника, які виконують те, що ми вважали нашими вимогами під час написання коду, не звертаючи уваги на зміни в наших намірах.

Автор Ларрі Нівен пояснює:

"Це те, що стосується людей, які думають, що вони ненавидять комп'ютери. Що вони насправді ненавидять, так це паршивих програмістів".

Код, вбудований у взаємні розподілені книги, є реальним і корисним, а іноді й небезпечним. Якщо цей код написаний для імітації контрактів реального світу, його, мабуть, доцільніше було б назвати «кодовим контрактом».

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

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

Ідеї ​​знову спливають

Комп’ютерний код поводиться очікуваним чином без лінгвістичної неоднозначності Human мов.

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

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

Спрайти — це не більше ніж код, розміщений у розподіленій незмінній структурі даних, і їх можна запускати з фрагментів мов Python, Lisp або Go, вбудованих у блокчейн і рекурсивно записуючих у нього.

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

Введіть Ethereum

Розумні контракти, на відміну від спрайтів, мають тенденцію використовувати спеціалізовану архітектуру.

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

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

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

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

Переваги здаються очевидними. Швидша та дешевша бюрократія та адміністрування. Менше помилок і суперечок. Обсяг паперової роботи для підтримки транзакцій має зменшитися. Рутинні завдання обробки транзакцій зникнуть.

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

Контрактні обмеження

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

Розумні контракти були запропоновані, наприклад, для обробки Ринки прогнозів на виборах у США. Невже програмісти забули про «підвішені чади»? Чи існує якась «біжечка» рішень Верховного суду США, до якої програма може отримати доступ, щоб вирішити, хто виграв ставку на виборах у США? немає

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

Що тоді робить розумний контракт? Зачекайте? Заповнити, тобто вгадати? Повернутися до втручання Human ? Тож, напевно, чудово перемістити фінансові структури в код на блокчейнах? Сторони можуть чітко бачити, до чого вони зобов’язуються, і дозволяти коду вирішувати результати та запускатися, коли він вирішить, що це потрібно.

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

Багато способів стати легальними

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

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

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

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

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

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

Такі моделі викликають запитання: «Як я знаю, що код буде робити те, що він говорить?» І «Коли кодекс T робить того, що я хотів, як це зупинити та, якщо необхідно, передати проблему в руки експертів, посередників, арбітрів і юристів?»

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

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

Не так швидко

Отже, що ми прогнозуємо? Принаймні в NEAR перспективі «тупі та короткострокові контракти» будуть переважати над «розумними довгостроковими контрактами» з трьох причин. По-перше, якщо виконуваний контракт має термін служби близько одного дня, тоді взаємний розподілений реєстр не піддається довгостроковому саботажу чи зриву.

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

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

Ринки могли б стати більш стабільними, але учасники ринку чинили б рішучий опір значному зниженню кредитного плеча та, як наслідок, падінню ринку.

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

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

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

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

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

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

Деякі приклади сфер застосування, які можуть бути придатними зараз, включають:

• Торгівля правом власності на цифрові активи на онлайн-ринках із самопосиланням або на основі маркерів

Право власності на цифрову власність через Інтернет можна встановити в одноранговому децентралізованому середовищі. Це середовище поширюється на токени попереднього продажу, що представляють право власності на квитки, товари, продукти та підписки.

Розумні контракти або спрайти можуть знайти тут свої «найрозумніші» області застосування NEAR часом.

• Торгівля правами голосу

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

Nasdaq тестуватиме Технології блокчейн, щоб «краще керувати та оптимізувати процес голосування за довіреністю». Розумні контракти або спрайти можуть значно покращити корпоративне управління, оскільки інституційні агенти (пенсійні фонди) розподіляють права голосу між кінцевими бенефіціарами (пенсіонерами), щоб притягнути до відповідальності керівництво компанії.

• Управління ідентифікацією

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

Блокчейн лежить в основі смарт-контрактів, оскільки реалізація контракту не вимагає прямої участі Human після того, як смарт-контракт став частиною блокчейну, що робить ці контракти «розумними».

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

Ця стаття була спочатку опублікована Z/Yen Group і було перевидано тут з дозволу автора.

Образ ювеліра через Shutterstock