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

Розумні контракти незабаром можуть отримати поштовх у Bitcoin , оскільки відомий програміст Пітер Вуїлле представив нову мову кодування, розроблену спеціально для їх використання.

Опубліковано розробнику Bitcoin список розсилки У понеділок мова «Miniscript» має на меті полегшити програмістам написання «розумних контрактів» або умов для витрачання біткойнів. Програмісти Wuille, Andrew Poelstra та Sanket Sanjalkar працювали над кодом приблизно рік, сказав Wuille.

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

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

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

"мініскрипт," з іншого боку, ґрунтується на цій мові програмування, удосконалюючи її кількома способами. ONE полягає в тому, що її BIT легше розглядати та міркувати, як стверджував Вуїл на прикладі, що "це дозволяє A брати монети в будь-який час, а B через [ONE] день".

Ось як ці правила реалізовані в сценарії біткойна:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <hash160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Потім те саме в Minscript:

or_d(c:pk(A),and_v(vc:pk_h(B),older(144)))

Miniscript будується на основі Script і може «компілюватися» до рідної мови біткойна.

Нова мова викликає аплодисменти розробників у спільноті. Інженер з освітлення Blockstream Расті Рассел, наприклад, твітнув: "Це буде ONE з тих, "Як, у біса, ми це робили до цього?!" технології. Несексуальні та життєво важливі».

Існує багато потенційних випадків використання, наприклад, полегшення реалізації таких складних сценаріїв у гаманці, як написав у Twitter Ерік Ломброзо. Або, як викладач Bitcoin Джиммі Сонг описано, його можна навіть використовувати для підтримки мережі блискавок.

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

Сонг стверджує, що це краще, тому що це зменшує «складність» і «поверхню атаки».

У цей випуск включено дві робочі реалізації на мовах програмування C++ і Rust, які Wuille назвав «розробкою», додавши:

«Завдяки широкомасштабним рандомізованим тестам ми переконалися, що мовний дизайн і пов’язані свідки сумісні з існуючими правилами консенсусу та стандартності».

Зображення Wuille через архіви CoinDesk