Cardano Dev Firm ускоряет развертывание Starstream: почему это важно

Starstream: Ускорение разработки zkVM для Cardano

Себастьен Гийемо, соучредитель Paima Studios и dcSpark, сегодня днем всколыхнул сообщество разработчиков Cardano на X, представив краткий отчет о проделанной работе: «Сейчас над Starstream работают 3 штатных разработчика (помимо меня)... Мы ускоряем разработку, чтобы быстрее вывести его в мейннет, учитывая весь интерес».

Это сообщение, хотя и состоит всего из двух предложений, сигнализирует о значительном перераспределении ресурсов в пока еще малочисленной рабочей группе Starstream и позволяет предположить, что первая виртуальная машина с нулевыми знаниями (zkVM) Cardano может появиться в мейннете раньше, чем ожидалось ранее. О целевой высоте блока или жестком окне запуска пока не сообщается, но ускорение произошло спустя всего пять недель после того, как основатель Чарльз Хоскинсон публично поддержал рабочую группу, назвав проект «основным компонентом будущего Cardano».

Starstream важен, потому что он решает самую распространенную проблему, связанную с расширенной электронной книгой eUTXO от Cardano: сложность создания приложений с сохранением конфиденциальности без дробления логики на десятки скриптов валидаторов. В модели eUTXO от Cardano каждый фрагмент состояния контракта живет внутри своего собственного неизрасходованного вывода. Такая конструкция обеспечивает параллелизм и детерминизм, но усложняет длительные рабочие процессы и продвинутую криптографию.

Почему Starstream важен для Cardano

Исследовательские группы внутри IOG изучали возможность добавления рекурсивных SNARK в Plutus, но производственная реализация оставалась труднодостижимой. Ответ Starstream заключается в том, чтобы полностью выйти за пределы Plutus и встроить корути ориентированная на zkVM, которая компилируется в WebAssembly, выполняется вне цепочки и запечатывает каждый переход состояния в краткое доказательство, проверяемое на цепочке легкой оберткой Plutus.

"Starstream - это виртуальная машина с нулевым знанием, не зависящая от цепи, основанная на UTXO, которая переосмысливает исполнение смарт-контрактов, используя корутины в качестве основополагающего примитива, - говорится в оригинальном техническом обзоре, опубликованном на Cardano Explorer в конце апреля.

Корутины дают разработчикам то, чего у них никогда не было: единую линейную программу, которая может приостановить выполнение, выдать UTXO, содержащий как данные, так и точную позицию байт-кода, а затем возобновить работу, когда новая транзакция потратит этот вывод. Таким образом, точка выхода в Starstream становится криптографически защищенной контрольной точкой; когда программа просыпается, ей нужно только доказать, а не повторно выполнить приостановленный сегмент.

В результате получается машина состояний, которая сохраняет детерминизм UTXO и при этом поддерживает многоступенчатые рабочие процессы, такие как аукционы, циклы кредитования или игры на цепи, и при этом не требует разделения состояния.

Примечательно, что Cardano исторически проходила через тщательно срежиссированные хардфорки с помощью комбинатора Хоскинсона, управляемого вводом-выводом (IOG); Starstream, напротив, создается как слой исполнения по выбору, который может быть привит к Cardano без общесетевого форка, что делает его путь в мейннет ограниченным только аудитом, экспертной оценкой и инструментарием.