Paima Studios 同 dcSpark 聯合創辦人 Sebastien Guillemot 週四宣佈，佢嘅開發團隊規模已經擴展至三倍，加快推進 Starstream 零知識虛擬機項目。簡短嘅社交媒體帖文透露，依家有四個全職開發人員投入呢個項目，標誌住資源大幅增加，努力令 Cardano 首個 zkVM 提早面世主網。
你要知道：
- dcSpark 現時有四位全職開發人員參與 Starstream zkVM（由一人擴展而來）
- 加速進度係因為五星期前 Cardano 創辦人 Charles Hoskinson 公開支持
- Starstream 致力於無需全網分叉下，解決 Cardano 智能合約限制
Guillemot 喺 X 平台發出一句 公告：「依家 Starstream 上有三個全職開發者（仲有我自己）……見到咁多關注，我哋決定加快進度，盡快帶佢上主網。」呢個訊息展現咗 Starstream 工作組內部資源重大重整。
發佈時間明顯有部署。五星期前 Charles Hoskinson 剛公開支持呢個工作組，話 Starstream 係「Cardano 未來核心組件」。雖然仲未有確實發佈日期，但團隊擴充暗示主網部署或會比預期更快實現。
技術創新針對 Cardano 核心限制
Starstream 係針對外界長期批評 Cardano 延伸-UTXO 架構嘅直接回應。開發者一直都難以喺現有框架下，建立有狀態同保障私隱嘅應用，因為每份合約狀態都要分散多個驗證器腳本。
延伸-UTXO 模型會將各合約狀態存為獨立未花費輸出，雖然帶來並行同可預測性，但對於長流程任務同高級加密運算就好複雜。傳統做法對於複雜、有狀態管理需求的應用始終未能奏效。
Input Output Global 研究團隊曾經探討過將遞歸 SNARK 加入 Plutus（Cardano 智能合約語言），不過多年開發都未能達到生產級水準。
Starstream 揀咗完全唔同做法，唔再用 Plutus。系統利用以 coroutine 為核心嘅 zkVM，編譯成 WebAssembly，離鏈執行，每個狀態轉移都包裝成簡明證明，由 Plutus 輕量外殼喺鏈上驗證。
按 Cardano Explorer 四月尾技術概覽：「Starstream 係一個無鏈屬性、基於 UTXO、零知識虛擬機，利用 coroutine 根本重構智能合約執行模式。」
Coroutines 帶嚟線性編程新模式
呢種 coroutine 結構賦予開發者 Cardano 之前冇嘅能力。一份線性程序可以執行至一半暫停，產生出一個 UTXO，連同資料同 bytecode 位置，等日後有新交易消耗果陣再重新運行。
Starstream 每個 yield 點都變成經加密保障嘅 checkpoint。當程式恢復執行時，只需「證明」而唔洗重跑缺失段，大大減少運算開銷，安全度依然有保障。
最終帶嚟一個機械狀態更改模型，UTXO 確定性得以保留，同時天生支援多步驟流程。如拍賣、借貸循環、鏈上遊戲等等都可行，唔洗擔心其他區塊鏈經常遇到嘅共享狀態競爭問題。
與 Cardano 用分階段硬分叉組合更新路線（由 Input Output Global 主導）不同，Starstream 係 opt-in 執行層，可以無需全網分叉直接接入 Cardano；故此能否主網落地，主要視乎審計、同行審查同開發工具進展。
市場背景同開發時間表
發稿時，ADA 報 $0.684，反映加密市場對區塊鏈基建推進步伐影響。Starstream 加速開發亦見到整個行業對零知識證明技術日益重視。
開發團隊擴充，顯示 dcSpark 認為而家推進高階基建專案機會難得。資源調配反映公司對技術可行性同市場需求有信心。
小結
Starstream 項目被認為係 Cardano 自 Alonzo 升級引入 Plutus 智能合約功能以嚟最重大的創新。開發人手增加至三倍，展現出 Starstream 團隊落實可生產級零知識虛擬機嘅決心，有望喺保留 UTXO 架構原則下大幅擴展 Cardano 應用可能性。