Paima Studios 與 dcSpark 聯合創辦人 Sebastien Guillemot，於星期四宣佈其開發團隊人數已增至三倍，以加快 Starstream 零知識虛擬機（zkVM）項目進度。簡短的社交媒體貼文透露，現時已有四名全職開發者正投身於這項計劃，顯示 Starstream 團隊投入大量資源，期望 Cardano 首個 zkVM 能提前登陸主網。
重點資訊：
- dcSpark 由一名增至四名全職開發人員參與 Starstream zkVM
- 加速進度是在 Cardano 創辦人 Charles Hoskinson 支持此項目五個星期後發生
- Starstream 期望在無需全網升級的情況下，解決 Cardano 智能合約限制
Guillemot 在 X 平台以兩句話 宣佈：「我們現在有三位全職開發人員在做 Starstream（加上我自己）⋯⋯我們正加快開發，希望盡快主網上線，回應大家的關注。」這反映 Starstream 工作小組已重新分配大量內部資源。
這次時機極有深意。五星期前，Charles Hoskinson 曾公開支持 Starstream，形容其為「Cardano 未來的核心組件」。雖然未有公布具體上線日期，但團隊擴充顯示主網發布或會較原先預期更快。
技術創新針對 Cardano 核心限制
Starstream 是針對外界一直批評 Cardano extended-UTXO 架構的直接回應。過往，開發者一直難以在 Cardano 現有架構內創建有狀態及保護私隱的應用程序，因為必須將邏輯分散在多個 validator 腳本之中。
Extended-UTXO 模式會將每份合約狀態儲存在獨立的 unspent output 內。雖帶來平行和可預測優點，但對於需長時間運行及高級密碼學操作的流程造成複雜挑戰。傳統做法難應對對狀態管理有高度要求的複雜應用。
Input Output Global 的研究團隊亦曾探索將 recursive SNARKs 加入 Plutus，但多年來始終未能實現可用於實際生產的版本。
Starstream 方法完全跳出 Plutus，嶄新思維。其系統採用以 coroutine 為核心的 zkVM，可編譯為 WebAssembly，於鏈下執行，每次狀態轉移都會封裝成簡潔證明，由輕量的 Plutus 包裝器於鏈上驗證。
技術概覽於四月底於 Cardano Explorer 發布稱：「Starstream 是一個鏈無關、以 UTXO 為基礎的零知識虛擬機，重新定義了智能合約的執行方式，把 coroutine 作為基本單元。」
協程引進線性編程模式
Coroutine 架構令開發者可以實現過去在 Cardano 無法做到的功能。單一線性程序可隨時暫停，產生包含數據及確切 bytecode 位置的 UTXO，待下筆交易消耗該輸出時再繼續執行。
Starstream 每個 yield 點都變成加密驗證的檢查點。當程序恢復，只需證明而非重跑暫停部分，大大減低資源消耗，同時保留安全性。
此舉於保有 UTXO 可預測性的同時，原生支援多步驟狀態流程。拍賣、借貸循環及鏈上遊戲等都毋須理會其他區塊鏈常見的共享狀態問題。
相比 IOG 以往循序漸進硬分叉的歷史做法，Starstream 屬自選執行層，毋須全網分叉即可部署到 Cardano，進駐主網主要取決於審計、同行評審及開發工具完善情況。
市場背景與開發時間表
ADA 發稿時報價 $0.684，反映加密市場波動影響區塊鏈發展部署優次。Starstream 加速正值業界及機構對零知識證明技術關注升溫。
開發團隊擴大，顯示 dcSpark 認為現時市況有利推動高端基礎設施項目。資源分配決定一般反映對技術實現及市場需求的信心。
總結
Starstream 項目被視為 Cardano 自 Alonzo 升級引入 Plutus 以來最重要的智能合約突破。開發團隊規模擴充，顯示對推出達生產級水平的零知識虛擬機的承諾，有望顛覆 Cardano 生態、更大幅度拓展其應用潛力，同時維持 UTXO 架構原則。