Генеральный директор Blockstream Адам Бэк предложил внедрить ковенантные опкоды в качестве возможного «последнего софт-форка» для сети Bitcoin. По его мнению, использование таких инструментов вместе с методами формальной верификации повысит безопасность языка Bitcoin Script и позволит сократить количество будущих обновлений протокола.
Ковенанты представляют собой правила, ограничивающие способы расходования монет в будущем. В отличие от текущих функций Bitcoin Script, которые в основном проверяют права на трату средств, ковенанты позволяют скриптам влиять на дальнейшее перемещение активов. Бэк выступает за модульные опкоды как универсальные инструменты.
На текущий момент предложения CTV (BIP 119) и OP_CAT (BIP 347) находятся на стадии черновиков или сигнальных предложений. По состоянию на начало октября 2026 года эти технологии тестируются в сети Signet, но еще не были внедрены в основную сеть Bitcoin.
Позиция Бэка перекликается с развитием языка смарт-контрактов Simplicity, созданного Blockstream и запущенного в сайдчейне Liquid в 2025 году. Simplicity изначально проектировался с учетом формальной верификации, что позволяет разработчикам математически подтверждать корректность работы контрактов до их запуска.
