Питер Вюйле представляет «Miniscript» — новый язык смарт-контрактов для Bitcoin

Смарт-контракты вскоре могут получить поддержку в Bitcoin , поскольку известный программист Питер Вюйле представил новый язык программирования, разработанный специально для их использования.

Опубликовано для разработчиков Bitcoin список рассылки В понедельник язык «Miniscript» призван облегчить программистам написание «умных контрактов» или условий для траты биткойнов. Программисты Вуйле, Эндрю Поэлстра и Санкет Санжалкар работали над кодом около года, сказал Вуйле.

Хотя эта информация уже была распространена за кулисами, Уилле сказал, что теперь он публикует ее в списке рассылки, поскольку она достигла «этапа, когда я хотел бы привлечь к ней больше внимания».

BIT отступая назад, «Script» — это язык смарт-контрактов в Bitcoin, который позволяет пользователям указывать определенные условия, которые должны быть выполнены, прежде чем Bitcoin может быть потрачен. Скажем, средства блокируются до определенного времени, прежде чем они могут быть потрачены. Или два человека должны подписать транзакцию, прежде чем деньги могут быть переведены, концепция называется «мульти-подпись».

Такая программируемость является новшеством, когда речь идет о цифровых деньгах, поскольку до появления Bitcoin T невозможно реализовать такие правила без доверия банку или аналогичному типу посредника.

"Минискрипт," с другой стороны, строится на основе этого языка программирования, улучшая его в нескольких отношениях. Во-ONE , его BIT легче рассматривать и рассуждать о нем, как утверждал Вюйле на примере, что "это позволяет A брать монеты в любое время, а B - через [ONE] день".

Вот как эти правила реализованы в скрипте биткойна:

OP_CHECKSIG OP_IFDUP OP_NOTIF OP_DUP OP_HASH160 <хэш160(B)>

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

Затем то же самое в Minscript:

или_d(c:pk(A),and_v(vc:pk_h(B),старше(144)))

Miniscript создан на основе Script и может «компилироваться» в родной язык биткоина.

Новый язык получает аплодисменты от разработчиков в сообществе. Инженер Blockstream Lightning Расти Рассел, например,твитнул: «Это будет ONE из технологий, вызывающих вопросы: «Как, черт возьми, мы делали это раньше?!». Непривлекательная и жизненно важная».

Существует множество потенциальных вариантов использования, например, упрощение внедрения сложных скриптов в кошельке, как написал в Твиттере Эрик Ломброзо. Или, как написал преподаватель Bitcoin Джимми Сонг описанный, его даже можно использовать для поддержки сети молний.

Размышляя об этом в более широком контексте языков блокчейна, Сонг отметил, что язык смарт-контрактов отличается от языка Solidity Ethereum, поскольку, в то время как Ethereum позволяет писать гораздо больше типов смарт-контрактов, Miniscript фактически ограничивает возможности.

Сонг утверждает, что это лучше, поскольку снижает «сложность» и «поверхность атаки».

В этот релиз включены две рабочие реализации на языках программирования C++ и Rust, которые Вюйле назвал «работой в стадии разработки», добавив:

«Благодаря широкомасштабным рандомизированным тестам мы уверены, что конструкция языка и связанные с ним свидетельства соответствуют существующим правилам консенсуса и стандартизации».

Изображение Вюйля из архивов CoinDesk