Simplicity в Taproot

Simplicity — это формально верифицированный язык программирования над Bitcoin Script, который в данном случае выступает своего рода "ассемблером" в блокчейн протоколе (пример). Данный язык программирования смарт-контрактов является более безопасным по сравнению с Solidity (Ethereum), поскольку особое место в его разработке занимает формальное доказательство определений, алгоритмов и теорем.

В этом Taproot Report мы приведём свежую статью Simplicity: Taproot and Universal Sighashes, написанную в Blockstream Andrew Poelstra и Russell O’Connor. Авторы отмечают, что за чуть меньше чем год они проделали основную работу, продвигающую Simplicity в "промышленное" использование. Разработки ведутся в репозитории Elements (сайдчейн проект Blockstream) и связаны видимо с переходом к динамической федерации Liquid.

Но авторы также указали на существование новых примеров применения Simplicity поскольку функционал языка сильно вырос. Новое демо реализацию языка на Haskell, и показывает как создать транзакцию на адрес Taproot-Simplicity, отправить криптовалютун а него, и получить их обрано с помощью общей формы подписи. Они записали ролик в ASCII, из него можно скопировать все команды.

Simplicity ожидается к релизу на Liquid после завершения работы с набором инструментов для разработки смарт-контрактов: rust-miniscript, hal-elements и minsc.

RSK

Проект Rootstok попытался описать, как он смог бы получить преимущества от обновления Taproot протокола Биткоина. Значительная часть поста не содержала никаких технических деталей, однако, автор упомянул что peg-in и peg-out в сайдчейн RSK должны в итоге стать дешевле для пользователей. По всей видимости это достаточно оптимистичное предположение, поскольку изменение процедур ввода и вывода ликвидности в сайдчейн можно рассматривать как серьёзное обновление протокола. Такое обновление наверняка потребует нескольких лет.

Taproot Workshop

Внушительную коллекцию Jupiter тетрадок опубликовали Bitcoin Optech для работы со Schnorr подписями и Taproot в целом.

Внимания заслуживает каждый пример. Здесь подробно и со схемами разбирается протокол мультиподписи с использованием алгоритма Шнорра.

Ранняя статистика по Taproot

b10c попытался проанализировать пользователей Taproot на тестовой сети SigNet и пришёл к выводу что Taproot пока не популярен у разработчиков, либо основное тестирование многие проводят в режиме Regtest, т.е. на локальных машинах.

Мегатред о свойствах Taproot

Murch перечислил основные достоинства, которые может принести пользователям использование новых типов адресов и скриптов траты криптовалюты в блокчейне Биткоина. Среди прочих: более "экономный" мульсисиг и более компактные транзакции с одной подписью, использование исправленной кодировки bech32m, adaptor signatures — типы подписей, которые могут нести данные внутри себя, и позволяют также заменить HTLC на PTLC или Point Time Locked Contracts в Лайтнинге. Смотрите сами, Murch приводит также полезные ссылки.