Розробник Bitcoin Core запропонував Sapio – новий мову смарт-контрактів для Биткоина

Учасник команди Bitcoin Core Джеремі Рубін працює над новою мовою смарт-контрактів для Биткоина, який збільшить користувачів контроль над своїми BTC.

Джеремі Рубін (Jeremy Rubin) продемонстрував новий мову Sapio в суботу на презентаційної зустрічі RecklessVR у віртуальній реальності, до якої багато членів аудиторії приєдналися в гарнітурах VR. Він планує випустити мову програмування в рамках своєї нової дослідницької організації Judica.

Фіксують стан смарт-контракти (stateful smart contracts) дають користувачам можливість зберегти гроші – їх не можна витрачати, поки не будуть виконані певні умови, в тому числі багатоступінчасті. Смарт-контракти частіше за все пов’язують з блокчейном Эфириума, який має гнучкий мову програмування Solidity, що полегшує написання фіксують стан смарт-контрактів.

Не всі знають, що Биткоин також підтримує кілька різних типів смарт-контрактів. Наприклад, включають вимогу, щоб більш ніж одна людина підписав транзакцію, перш ніж її можна буде витратити (мультиподписные транзакції). Вони широко застосовуються в технологіях SegWit і Lightning Network. Але порівняно з Эфириумом смарт-контракти Биткоина менш функціональні і більш громіздкі у створенні, або не фіксують стан – тобто умови виконуються або відразу, або не виконуються зовсім. Досі це означало, що існує менше варіантів для розробки смарт-контрактів для Биткоина.

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

Нові можливості

Вже сьогодні Sapio може працювати для смарт-контрактів Биткоина. Але більшість таких типів контрактів, на думку Рубіна, ще не доступні в мережі. Він створював Sapio спеціально для BIP CHECKTEMPLATEVERIFY (CTV). Це зміна, якщо воно буде прийнято, може привнести в мережу Биткоина більше функцій смарт-контрактів, і користувачі зможуть захищати свої BTC новими способами.

У своєму виступі Рубін назвав CTV «простою системою угод для Биткоина». Ідея угод, яка існує вже давно, полягає в тому, щоб додати заходів безпеки, наприклад, передбачити додаткові правила переміщення BTC, запобігаючи відправку кріптовалюти на всі адреси, крім декількох дозволених.

«На практиці це означає, що система дозволяє вам виконувати більш складні смарт-контракти і визначати, як можна витратити BTC», – сказав Рубін.

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

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

Зараз прототип мережевого сховища BTC вже доступний і був запропонований
раніше, але створювати їх за допомогою CTV буде набагато простіше, вважає Рубін.

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

Блокчейн як арбітр

Нещодавно створена Рубіном дослідницька організація Judica зосередиться на цьому наборі технологій. Він планує випустити інструменти, які, як він сподівається, «значно розширять економіку Биткоина». Слово «judica» в перекладі з латині означає «судження»: Рубін розглядає блокчейн Биткоина як «суддю», і хоче підштовхнути мережу до розвитку в цій якості.

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

При цьому Рубін стверджує, що Биткоин поки дуже обмежений у своїх можливостях в цій області.

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

В рамках Judica Рубін планує випустити Sapio «разом з проектами для безлічі смарт-контрактів», реалізованих на його мові. Оскільки Judica все ще перебуває на ранній стадії розвитку, Рубін сказав, що шукає фінансування та інших розробників, готових приєднатися до його ініціативи.

Розгортання CTV і Sapio

Поки неясно, коли (і якщо) CTV буде розгорнуто, пояснив Рубін у своєму виступі. Це велике зміна Биткоина, тому може знадобитися деякий час, перш ніж операційний код стане придатним для використання.

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

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

На думку Рубіна, три роки – занадто великий термін. Він назвав цю тимчасову оцінку «сумною» і сказав: «Мені важко стверджувати, що це важлива розробка, над якою потрібно працювати, якщо вона не буде реально використовуватися принаймні ще три роки».