✅✅✅
В августе 2019 года разработчик и программист и создатель SegWit, Питер Вюлле представил новый язык программирования смарт-контрактов для Биткоина - Miniscript. Давно хотел рассказать о нем, но руки не доходили более детально разобрать его.
Miniscript - язык программирования для смарт-контрактов Bitcoin.
⬇️⬇️⬇️
Я много писал о смарт-контрактах на Ethereum, да в целом. Для начала о смарт-контрактах чуть подробнее
здесь.
Про решение MAST для увеличения гибкости смарт-контрактов, а также масштабируемости и приватности сети Биткоин
здесь.
Теперь про новый язык...В криптопространстве уже существуют смарт-контракты для биткоина. О чем я тоже успел написать ранее😏Сеть биткойн-платформы
RootStock для смарт-контрактов .
Почти год он с Эндрю Поэлстра из BlockStream и Санкет Саньялкар?, работали на кодом и решили опубликовать код, так как пришло время привлечь к нему внимание.
Язык биткоина позволяет программировать транзакции “if-then-else”, но он не обладает полнотой по Тьюрингу.
Полная по Тьюрингу - это термин, который подразумевает способность ЭВМ выполнять любые задачи. Одним из примеров «полноты» считается EVM. Полнота по Тьюрингу показывает на присутствие инструментов, требуемых для решения конкретной задачи. Их наличие гарантирует самостоятельную работу системы. Подавляющее большинство существующих сегодня сетей блокчейн (в том числе и криптовалюты Биткоин) не имеют такой способности. Их контракты просты по структуре. По сути, это транзакции, исполнение которых происходит с небольшой задержкой.
Язык Miniscript призван облегчить программистам создание более полноценных смарт-контрактов в Биткоине.
Биткоин упрощает пороговые подписи и мультиподписи, и их использование было заторможено из-за запутанности биткоин-скрипта. Эта технология является языком программирования базового уровня, и она не приспособлена для использования подписей из-за своих простых принципов работы.
Miniscript оптимизирует сценарий и делает его более структурированным, так как код может быть написан для понимания условий траты биткоина. Он создан на базе языка смарт-контрактов Script – языке смарт-контрактов биткоина, который позволяет указать определенные условия, при которых может состояться трата криптовалюты.
Miniscript построен поверх языка Script.
Miniscript не вызывает проблем, так как язык программирования не привнёс в систему ничего нового. Обработка скрипта реструктурирует функциональность, которая уже существовала в коде и делала его более доступным.
Идет работа над расширением структуры Miniscript для поддержки будущих изменений скриптов, которые могут быть включены в кодовую базу биткоина.
Тут сложно, но очень важно...😄
Miniscript, по словам Велле, представляет собой новый способ написания структурированных скриптов, обеспечивающий возможность проведения различных видов статического анализа, создания генерических подписей и модифицируемого набора условий для выполнения смарт-контрактов.Для полного погружения в суть и перспективу MiniScript есть статья на английском языке. Так как я такой себе кодер и программист мне сложно переводить на технически-русский язык. Оставляю тем, кому интересно
здесь.
Сегодня Miniscript доступен в имплементациях для языков
C++ и
Rust.