Який ліміт смарт-контрактів?

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

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

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

Одним з ранніх прикладів смарт-контракту, який існує поза блокчейном, є послуги депонування. На початку 2010-х років це стало стандартним способом виконання транзакцій на темних веб-ринках, що вимагало незначного людського впливу, щоб мінімізувати вразливість для правоохоронних органів. Покупець розміщував кошти – зазвичай БТД – на депозитному рахунку та виконає смарт-контракт лише для вивільнення коштів, коли продукт буде доставлено. 

Впровадження смарт-контрактів залишалося нішевим і здебільшого теоретичним у роки після першої пропозиції Сабо. Однак після запуску блокчейну Ethereum у 2015 році смарт-контракти набули права. 

Проста ідея полягає в тому, що зі збільшенням складності смарт-контрактів ви можете створювати цілі децентралізовані програми на блокчейні (dApps). У випадку Defi, це дозволило створити торгівлю, кредитування, запозичення та деякі страхові послуги. Усі вони ґрунтуються на принципах недовіри без людського посередника.

Крім «Кодекс є законом»

Передісторія смарт-контрактів, мабуть, починається з книги Лоуренса Лессіга «Кодекс та інші закони кіберпростору» (1999). У ньому він стверджував, що в кіберпросторі комп’ютерний код багато в чому аналогічний реальним законам і навіть може замінити їх. Ця ідея виглядає дивною у 2023 році, коли Інтернет пронизує всі аспекти нашого життя, а уряди регулюють майже всі аспекти ділової та індивідуальної поведінки. Тоді це було радикально.

Проте книга Лессіга подарувала світові одну фразу з довгою спадщиною: «кодекс — це закон». Зараз це часто використовується як скорочення, щоб описати, як математика та код можуть усунути неоднозначність і маніпуляції. Не всі погоджуються, що це так просто.

«Як ми всі бачили с Місяць/Terra, Celsius і FTX минулого року та Mango DAO нещодавно – код досягає своїх меж, і зловмисники можуть використовувати вороже захоплення, хаки або інші зловмисні переваги», – каже Ніколас Біагош, співініціатор Q Блокчейн, визначальним девізом якого є «Поза кодексом — закон».

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

Розумні контракти мають недоліки 

Однією з професій, яка потрапляє в поле зору максималістів розумних контрактів, є професія юриста. Навіщо вам бюрократична (а дехто може сказати, що корумпована, залежно від того, де ви знаходитесь) ієрархія арбітражу, коли ви можете просто виконувати судові рішення в коді; по суті, змінюючи ідею Лессіга про те, що код є законом кіберпростору. Чому б не зробити код реальне право?

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

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

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

«Кодекс не може врахувати кожну ситуацію. І люди мають унікальну здатність мислити ретроспективно, судити про наміри та визначати, чи відповідають певні дії правилам чи суперечать їм. Вихід за рамки «код — це закон» не означає відмову від використання коду як основного рівня управління в Web3. Це означає використання коду та людської мови разом».

За іронією долі, люди — це відсутня частина

Подібно до торгових автоматів, смарт-контракти також не можуть відповідати складності людських суспільств, у яких вони діють. Вони не є «розумними», як ми їх зазвичай розуміємо, каже Каїн Цао, провідний член КСС та GoDao. "Вони не можуть виконувати транзакції автоматично, зберігати складні структури даних, виконувати складні обчислення, і це дорого, це короткострокові проблеми». 

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

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

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

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