Написание смарт-контрактов Bitcoin станет проще с новым языком программирования

Смарт-контракты Bitcoin — сложная штука для укрощения, но новый язык упрощает их написание, в некотором смысле демократизируя их..

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

ONE из целей Minsc — сделать смарт-контракты «более доступными для большего числа людей», — сказал Ивги CoinDesk. Это означает, что и разработчики, и пользователи могут воспользоваться инструментами, созданными разработчиками.

Уровень ONE: «Скриптовые» смарт-контракты

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

Типичные примеры смарт-контрактов на Bitcoin включают запрет на трату 0,1 BTC до 2021 года или требование, чтобы транзакцию подписало более ONE человека, прежде чем деньги смогут фактически переместиться. Смарт-контракты также поддерживают вторые уровни протокола Bitcoin , такие как Lightning Network, что может помочь Bitcoin расшириться и охватить больше пользователей.

На данный момент язык Bitcoin Script делает эти контракты возможными.

Проблема в том, что с Bitcoin Script сложно работать. Он не похож на другие, более популярные языки программирования, к которым привыкли разработчики, что затрудняет понимание и написание кода. Из-за этого недостатка понимания легче совершить ошибку, что потенциально ставит Bitcoin под угрозу.

Громоздкость Bitcoin Script была ONE из факторов, побудивших Виталика Бутерина изначально разработать платформу Ethereum . Solidity, первый язык смарт-контрактов Ethereum, был разработан так, чтобы разработчикам было намного проще читать и использовать его. И это окупилось: Ethereum стал популярной платформой для разработчиков смарт-контрактов.

Читать дальше: Как работают смарт-контракты Ethereum ?

Уровень два: Минискрипт

Miniscript, выпущенный в 2019 году Питером Вюйле, Эндрю Поэлстрой и Санкетом Канжалкаром из Blockstream Research,чипы в этом вопросе за Bitcoin.

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

«ONE из причин, по которой мы даже близко не приблизились к использованию всего потенциала Script, является то, что на самом деле создание сценариев для нетривиальных задач является громоздким. Трудно проверить их правильность и безопасность, и еще труднее найти наиболее экономичный способ написания вещей», — написали Вюйле и Поэлстра в запись в блогепредставил Miniscript в сентябре прошлого года.

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

Кроме того, если существует два разных способа написания одного и того же контракта в Script, Miniscript может оценить, какой из ONE «более экономичный».

В конечном итоге компьютер компилирует (или преобразует) Miniscript в Bitcoin Script, на котором в конечном итоге и должен быть написан код для успешной блокировки настоящего Bitcoin с этими дополнительными ограничениями.

Уровень три: Минск

Minsc — это третий ярус CAKE. Он строится на основе Miniscript, используя его свойства безопасности, но создавая язык, который разработчикам еще проще читать и понимать, чем Miniscript.

«Minsc делает акцент на удобстве использования и упрощении выражения, понимания и рассуждений о скриптах, используя простой и знакомый синтаксис. Он добавляет дополнительные удобные функции и «синтаксический сахар»», — рассказал Ивги CoinDesk.

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

Таким образом, Minsc T добавляет ничего нового в Script, а просто упрощает его использование.

«Он T позволяет вам делать ничего, что Miniscript уже T делает, аналогично тому, как сам Miniscript относится к Bitcoin Script», — сказал Ивги.

Смарт-контракты Bitcoin и Минск: куда они пойдут дальше?

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

Читать дальше: RIF запускает сеть «Уровня 3» для масштабирования смарт-контрактов и токенов на основе биткоинов

Если больше разработчиков в конечном итоге смогут добавить поддержку этих смарт-контрактов, больше пользователей (возможно, даже неосознанно) смогут использовать эти более сложные контракты.

«Однако изначально я ожидаю, что использование будет в основном экспериментальным и образовательным. Minsc может стать отличным инструментом для людей, желающих лучше понять Bitcoin Script, а также для преподавателей, обучающих техническим аспектам Bitcoin», — сказал Ивги.

Ivgi все еще находится в процессе добавления других функций в язык. Возможности смарт-контрактов Bitcoin, вероятно, будут расширяться еще больше,например с Taproot, вероятное обновление на горизонте Bitcoin. Minsc будет там, чтобы сделать эти контракты более простыми для создания.