Написання смарт-контрактів Bitcoin стане простіше завдяки новій мові кодування

Смарт-контракти Bitcoin — це хитрий звір, який важко приборкати, але нова мова полегшує їх написання, у певному сенсі демократизує їх.

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

ONE з цілей Minsc є зробити смарт-контракти «більш доступними для більшої кількості людей», — сказав Івгі CoinDesk. Це означає, що як розробники, так і користувачі можуть скористатися інструментами, створеними розробниками.

Рівень ONE: смарт-контракти «Скрипт».

Смарт-контракти вперше були описані Ніком Сабо в 1990-х роках. Він теоретизував спосіб автоматизації юридично обов’язкових контрактів, укладених між людьми.

Типові приклади смарт-контрактів на Bitcoin включають заборону на витрачання 0,1 BTC до 2021 року або вимогу, щоб більше ніж ONE особа підписала транзакцію, перш ніж гроші зможуть фактично переміститися. Розумні контракти також забезпечують роботу других рівнів протоколу Bitcoin , таких як Lightning Network, що може допомогти розширити Bitcoin , щоб охопити більше користувачів.

Поки що Bitcoin Script є мовою, яка робить можливими ці контракти.

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

Громіздкість Bitcoin Script була ONE із факторів, які спонукали Віталіка Бутеріна до розробки платформи Ethereum . Solidity, перша мова смарт-контрактів Ethereum, була розроблена таким чином, щоб розробникам її було набагато легше читати та, отже, використовувати. І це принесло свої плоди: Ethereum став основною платформою для розробників смарт-контрактів.

Читайте також: Як працюють розумні контракти Ethereum ?

Другий рівень: Miniscript

Miniscript, випущений у 2019 році Пітером Вуїлом, Ендрю Поельстрою та Санкетом Канджалкаром у Blockstream Research, відривається від цього питання за Bitcoin.

Читайте також: Pieter Wuille представляє «Miniscript», нову мову розумних контрактів для Bitcoin

«ONE з причин того, що ми не наближаємося до використання повного потенціалу Script, полягає в тому, що створення сценаріїв для нетривіальних завдань є громіздким. Важко перевірити їх правильність і безпеку, а ще важче знайти найекономічніший спосіб написання речей», — написали Вуїлле та Поелстра в публікація в блозі представивши Miniscript у вересні минулого року.

Miniscript пропонує мову, яку легше зрозуміти, ніж Script, із вбудованими гарантіями безпеки.

Крім того, якщо існує два різні способи написання одного контракту в Script, Miniscript може оцінити, який із ONE є «економнішим».

Зрештою комп’ютер компілює (або перетворює) міні-скрипт у Bitcoin -скрипт, у який, зрештою, потрібно записати код, щоб успішно заблокувати справжні Bitcoin з цими додатковими обмеженнями.

Третій рівень: Minsc

Minsc — це третій ярус CAKE. Він створений на основі Miniscript, використовуючи його властивості безпеки, але створюючи мову, яку розробникам ще легше читати та думати про неї, ніж Miniscript.

«Минск зосереджується на зручності використання та полегшенні висловлювання, розуміння та міркування про сценарії, використовуючи простий і знайомий синтаксис. Він додає додаткові функції зручності та «синтаксичний цукор», — сказав Івгі CoinDesk.

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

Отже, Minsc T додає нічого нового до Script, він лише полегшує використання.

«Це T дозволяє вам робити нічого, чого Miniscript ще T робить, подібно до самого Miniscript по відношенню до Bitcoin Script», — сказав Івгі.

Смарт-контракти Bitcoin і Minsc: куди вони підуть далі?

Minsc може полегшити розробникам додавання підтримки різноманітних смарт-контрактів. «Основна цільова аудиторія — це розробники, які хочуть створювати програми, які використовують Bitcoin Script у цікавий і просунутий спосіб», — додав Івгі.

Читайте також: RIF запускає мережу «Рівня 3» для масштабування смарт-контрактів, токенів на основі біткойнів

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

«Однак спочатку я передбачаю, що використання буде переважно експериментальним і освітнім. Minsc може стати чудовим інструментом для людей, які хочуть краще зрозуміти Bitcoin Script, а також для викладачів, які викладають технічні аспекти Bitcoin», — сказав Івгі.

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