Запуск Simplicity в Liquid Network с интеграцией ZK
Simplicity был запущен в сети Liquid 1 августа, позволяя использовать формально проверяемые смарт-контракты для Биткоина. Дизайн, ориентированный только на верификацию, позволяет валидаторам прогнозировать затраты на выполнение и формально доказывать поведение контрактов. Построенный на основе девяти математических комбинаторов, Simplicity избегает изменяемого состояния и соответствует модели UTXO в Биткоине. В сети Liquid разработчики могут создавать ковенанты, хранилища, управление с несколькими участниками и пороговые схемы. StarkWare интегрировала STARK-верификатор в Simplicity, открывая путь для ZK rollups, upchains и проверяемых нативных биткоин-приложений без изменений консенсуса. Разработчики могут прототипировать предложенные опкоды, такие как OP_CAT и OP_VAULT, использовать высокоуровневый интерфейс SimplicityHL, компилятор, браузерный IDE и примеры контрактов на simplicity-lang.org. Этот запуск расширяет программируемость Биткоина, поддерживает корпоративные смарт-контракты и может повлиять на будущие обновления протокола.
Bullish
Эта новость является положительной, поскольку запуск Simplicity в сети Liquid повышает программируемость Биткойна и укрепляет инфраструктуру экосистемы. В краткосрочной перспективе это может стимулировать активность разработчиков в Liquid, увеличивая объем транзакций и спрос на LBTC. В долгосрочной перспективе формальная верификация и интеграция ZK снижают риски смарт-контрактов, привлекая предприятия и повышая доверие к сайдчейнам Биткойна, что поддерживает рост рынка и его принятие.