Пітер Вюлле представив Miniscript – новий мову смарт-контрактів для Биткоина

Розгортання смарт-контрактів Биткоине може стати простіше – розробник Пітер Вюлле (Pieter Wuille) представив нову мову програмування, розроблений спеціально для їх використання.

Мова Miniscript покликаний
полегшити програмістам створення більш повноцінних смарт-контрактів Биткоине. За словами Вюлле, він сам, Ендрю Поэлстра (Andrew Poelstra) і Санкет Саньялкар (Sanket Sanjalkar) працювали над кодом приблизно рік. Хоча про це і було відомо в співтоваристві розробників, Вюлле зазначив, що зважився опублікувати мову в розсилці для розробників тільки на цьому тижні, тому що зараз він досяг стадії, на якій я хотів би залучити до нього більше уваги».

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

Наприклад, розробник зазначає, що використання коду стало простіше. В якості прикладу він наводить ситуацію, коли «користувач А може забрати монети в будь-який час, а користувач Б – через один день». Ось як ці правила реалізовані коді Script:

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

А таким чином в Miniscript:

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

Miniscript побудований на основі Script і здатний «компілювати» на рідну мову Биткоина.

Новий код отримав схвалення розробників співтовариства. Наприклад, інженер Blockstream Рости Рассел (Rusty Russell) написав у Твіттері:

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

Існує багато потенційних варіантів використання мови, таких як спрощення реалізації складних скриптів в гаманці, як написав Ерік Ломброзо (Eric Lombrozo). Або, як зауважив Джиммі Сонг, код навіть можна використовувати для підтримки Lightning Network.

Сонг також сказав, що ця мова смарт-контрактів відрізняється від мови Solidity в Эфириуме. Хоча Эфириум дозволяє писати набагато більше типів смарт-контрактів, Miniscript пропонує більш скромні можливості. Однак, на думку Сонга, це на краще, так як «зменшує складність і можливості для атаки».

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