Себастьен Гийемо, соучредитель Paima Studios и dcSpark, в четверг объявил, что его команда разработчиков увеличилась втрое, чтобы ускорить проект виртуальной машины Starstream с нулевым знанием. Краткое сообщение в социальных сетях показало, что теперь на инициативе работают четыре штатных разработчика, что является значительным обязательством по привлечению ресурсов для вывода Cardano первой zkVM на основную сеть раньше запланированного срока.
Важное знать:
- dcSpark увеличила штат от одного до четырех штатных разработчиков, работающих над Starstream zkVM
- Ускорение произошло через пять недель после того, как основатель Cardano Чарльз Хоскинсон поддержал проект
- Starstream стремится решить ограниченности смарт-контрактов Cardano без необходимости сетевого форка
Двухкратное заявление Гийемо на платформе X содержало следующую фразу: «Теперь у нас работают 3 штатных разработчика над Starstream (в дополнение к моей персоне)... Мы ускоряем разработку, чтобы быстрее вывести её на основную сеть, учитывая весь интерес». Сообщение сигнализирует о значительном перераспределении внутренних ресурсов в новой рабочей группе Starstream.
Время, похоже, было выбрано намеренно. Чарльз Хоскинсон всего пять недель назад публично поддержал рабочую группу, назвав Starstream «ключевым компонентом будущего Cardano». Конкретная дата запуска не была объявлена, но увеличение персонала дает понять, что развертывание на основной сети может произойти раньше, чем предполагалось изначально.
Технические инновации, устраняющие основные ограничения Cardano
Starstream представляет собой прямой ответ на постоянную критику архитектуры extended-UTXO Cardano. Разработчики давно сталкиваются с трудностями при создании stateful, защищающих конфиденциальность приложений в текущей структуре Cardano, которая требует разбиения логики на несколько скриптов валидаторов.
Модель extended-UTXO хранит каждое состояние контракта внутри отдельных неиспользованных выходов. Этот дизайн обеспечивает параллелизм и детерминизм, но создает значительные сложности для долгосрочных рабочих процессов и сложных криптографических операций. Традиционные подходы оказались неадекватными для сложных приложений, требующих постоянного управления состоянием.
Исследовательские группы внутри Input Output Global изучали добавление рекурсивных SNARK в Plutus — язык смарт-контрактов Cardano. Однако производственно-готовая реализация оставалась неуловимой, несмотря на годы усилий в разработке.
Starstream выбирает принципиально иной подход, полностью уходя от Plutus. Система внедряет ориентированную на сопрограммы zkVM, которая компилируется в WebAssembly, исполняется вне сети и запечатывает каждый переход состояния внутри краткого доказательства, проверяемого в сети с помощью легкого обертки Plutus.
«Starstream — это независимая от блокчейна, основанная на UTXO, виртуальная машина с нулевым знанием, которая заново переосмысливает выполнение смарт-контрактов, используя сопрограммы в качестве основополагающего примитива», — гласит технический обзор, опубликованный на Cardano Explorer в конце апреля.
Сопрограммы позволяют линейную модель программирования
Архитектура сопрограмм дает разработчикам возможности, ранее недоступные на Cardano. Один линейный поток может приостановиться в середине исполнения, издать UTXO, содержащий как данные, так и точное положение байт-кода, а затем возобновить выполнение при совершении новой транзакции с этого выхода.
Каждая точка выхода в Starstream становится криптографически защищенной точкой фиксации. Когда программа возобновляет выполнение, ей нужно только доказательство, а не повторное выполнение приостановленного сегмента. Этот подход существенно уменьшает вычислительную нагрузку, не ослабляя гарантий безопасности.
В результате создается автомат конечных состояний, сохраняющий детерминизм UTXO, при этом нативно поддерживающий многопотоковые рабочие процессы. Аукционы, циклы кредитования и игры на блочной цепочке становятся возможными без конфликтов на уровне общего состояния, которые досаждают другим архитектурам блокчейнов.
В отличие от исторического подхода Cardano с тщательно инсценированными событиями комбинаторов хард-форков, возглавляемых Input Output Global, Starstream функционирует как уровень выполнения с возможностью отказа. Систему можно интегрировать с Cardano без необходимости сетевого форка, что делает её путь до основной сети в первую очередь зависящим от завершения аудита, взаимной рецензии и разработки инструментов.
Контекст рынка и временные рамки разработки
ADA торговалась на уровне $0,684 на момент написания, что отражает общие рыночные условия, влияющие на приоритеты разработки в блокчейне. Ускорение Starstream происходит на фоне увеличения институционального интереса к технологиям доказательства с нулевым знанием в секторе криптовалют.
Расширенная команда разработчиков предполагает, что dcSpark видит текущие рыночные условия как благоприятные для запуска передовых инфраструктурных проектов. Решения по распределению ресурсов обычно отражают уверенность как в технической возможности, так и в рыночном спросе на предлагаемые решения.
Заключительные мысли
Проект Starstream представляет собой крупнейшее новшество смарт-контрактов Cardano после обновления Alonzo, в котором были представлены возможности Plutus. Увеличение размера команды разработчиков втрое указывает на серьезное обязательство по доставке готовой к производству виртуальной машины с нулевым знанием, которая может в значительной степени расширить возможности применения Cardano, не компрометируя его принципы архитектуры UTXO.