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

Развертывание смарт-контрактов в Бикини может быть проще — дизайнер Питер Летит (Питер Wuille) представила новый язык программирования, специально разработанный для использования.

Язык Miniscript призвана облегчить разработчикам создавать более полные смарт-контрактов в Бикини. Согласно Летает, сам он, Эндрю Камень (Эндрю Poelstra) и в этой комнате (Sanket Sanjalkar) работали в код около года. Несмотря на это, и был известен в сообществе разработчиков, Full отметил, что осмелился опубликовать языка в списке рассылки разработчиков только на этой неделе, потому что сейчас это достигло “точки, в которой я хотел бы привлечь больше внимания”.

Miniscript , созданный на базе языка смарт-контрактов Скрипт, который дает пользователям возможность указывать определенных условий, которые должны быть выполнены, прежде чем бикини можно и обойтись. Предложенный Full код повышает базовый язык на нескольких фронтах.

Например, разработчик отмечает, что использование кода становится более удобным. В качестве примера он приводит ситуацию, когда “пользователь может собирать монеты в любой момент, а пользователь B – через день”. Вот как эти правила применяются для кода Скрипта:

OP_EQUALVERIFY OP_CHECKSIGVERIFY <144> OP_CSV OP_ENDIF

И поэтому в Miniscript:

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

Miniscript основана в сценарии, а может “компилировать” на родном языке Бикини.

Новый кодекс получил одобрение от разработчиков из сообщества. Например, инженер Blockstream Расти Расселом (Rusty Russell написал в twitter:

“Это будет одна из тех технологий, которые нам существенно облегчит жизнь. Будет применяться незаметно, но жизненно необходимо”.

Есть много возможных вариантов использования языка, таких, как упрощение выполнения сложных сценариев в портфолио, как писал Эрик Ломброзо (Эрик Lombrozo). Или, как сказал Джимми сон, код, можно даже использовать для поддержки Lightning Network.

Сун сказал, что этот язык смарт-контрактов отличается от языка Solidity в Утверждает. Хотя и Холодная позволяет писать гораздо более типов смарт-контрактов, Miniscript, предоставляет более скромные возможности. Однако, по мнению Веревки, в лучшем случае, так как “упрощение и возможности для атаки”.

В версии кода, включают в себя две рабочие приложения на языке программирования C++ и Rust, который Летит называл “неполной”, и добавил:

“Благодаря крупное рандомизированное исследование экзамены, мы уверены, что язык дизайна и тестирования совместимы с существующими правилами консенсуса и стандартизации”.

В мае этого года, Питер Летит представил два BIP для будущего программного обеспечения Бикини.

Делитесь своим мнением на эту новость в комментариях ниже.

Вам также может понравиться