Miniscript сделает возможными полноценные смарт-контракты в Биткоине

Протокол Bitcoin, представленный Сатоши Накамото в 2008 году, был написан на языке С++ и дополнен скриптами (сценариями), с помощью которых возможно автоматическое выполнение некоторых действий, например, верификация подписей или мультиподписей. Инструкции записаны при помощи уникального языка сценариев Script, созданного специально для Биткоина. По Тьюрингу он неполный, что делает его безопаснее других популярных языков, простым в понимании и использовании.

И все же Script не лишен недостатков, главный из которых заключается в наличии некоторых противоречий, не позволяющих пользователям сети Биткоин полноценно использовать смарт-контракты. Наряду с известной проблемой масштабируемости, это стало причиной проведения официальных обновлений с целью улучшения кода, появления первых хардфорков и альткоинов.

Вкратце о смарт-контрактах

Смарт-контракт (от англ. smart — «умный») — самоисполняемый алгоритм, гарантирующий безопасный обмен активами без вмешательства третьей стороны. В нем записаны условия, после выполнения которых происходит завершение транзакции. Можно сказать, что блокчейн невозможен без смарт-контрактов.

Криптоэнтузиасты считают, что умные контракты впервые были внедрены в блокчейне «второго поколения» — Ethereum. Но блокчейн криптовалюты №1 тоже поддерживает их, ведь каждая транзакция в сети Биткоин — это простой смарт-контракт.

Язык Script

Script — название скриптового языка Bitcoin. Он создан на базе Forth и позволяет проводить безопасные транзакции. Его основные характеристики:

• Работает на основе стеков. Это обеспечивает компактность кода, его оптимизируемость и быстродействие.
• Обрабатывается слева направо.
• Не способен делать цикличные вычисления, не поддерживает петли.
• Обеспечивает повышенную безопасность.
• Лишен проблемы остановки, так как неполный по Тьюрингу.
• Лаконичный и простой. Содержит 256 инструкций, при этом рабочих — около 100. Есть большой резерв — 75 кодов.

Среди инструкций: условные (конструкции if/then), арифметические, логические, криптоинструкции. В большинстве случаев используется всего один скрипт — проверки подписей. Он заменяет третье лицо при проведении взаиморасчетов в сети Биткоин, гарантируя выполнение заранее оговоренных условий каждой стороной и не допуская двойные траты.

Новый язык Miniscript

Несмотря на все преимущества, Script не подходит для полноценных смарт-контрактов, так как не может гарантировать правильность их выполнения и безопасность. Поэтому группа разработчиков с 2018 года работала над созданием его улучшенной версии. Во главе команды трое:

1. Питер Вюлле — соучредитель Blockstream и разработчик Bitcoin Core.
2. Эндрю Поэлстра — математик и программист из Blockstream.
3. Санкет Саньялкар — опытный разработчик и криптоэнтузиаст.

20 августа 2019 был представлен новый язык — Miniscript. Чем он отличается от своего предшественника? Своей функциональностью, расширенными возможностями, а также удобочитаемостью.

Miniscript все еще нуждается в доработке, но профессиональные блокчейн-разработчики активно комментируют проект, возлагая на него большие надежды. По мнению программистов-экспертов, он может:

• поддержать и улучшить работу протокола Lightning Network;
• наладить совместимость криптокошельков;
• помочь в создании сложных смарт-контрактов (например, выполняющихся в определенное время);
• благоприятно повлиять на решение проблемы масштабируемости Биткоина.

По задумке, быстродейственный и простой в использовании Miniscript будет полностью совместим с консенсусом Bitcoin, и для его внедрения не потребуется вносить изменения.

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