Paima Studios 與 dcSpark 共同創辦人Sebastien Guillemot 於週四宣布，為了加快 Starstream 零知識虛擬機專案的進度，開發團隊已擴增為三倍。目前有四位全職開發者參與這項計畫，顯示出團隊為推動 Cardano 首個 zkVM 於主網提前上線投入了大量資源。
重點整理：
- dcSpark 由1位全職開發者增至4位，全力投入 Starstream zkVM
- 加速計劃發生在 Cardano 創辦人 Charles Hoskinson 公開支持五週後
- Starstream 致力於解決 Cardano 智能合約限制，無需全網硬分叉
Guillemot 在 X 平台發表的兩句聲明表示：「我們目前有3位全職開發者（加上我本人）致力於 Starstream……由於外界高度關注，我們正加速開發，讓它更快上主網。」這番話透露 Starstream 工作小組已進行內部資源重新調配。
此舉時機明顯。五週前，Charles Hoskinson 曾公開支持該小組，並稱 Starstream 是「Cardano 未來核心組件」。雖未公布確切上線日期，但人力倍增，代表主網部署時間很可能會提前。
技術創新針對 Cardano 核心問題
Starstream 是 Cardano 擴展 UTXO 架構爭議的直接回應。開發者長期困擾於現有結構下，必須將邏輯分散到多個驗證器腳本中，難以建立具備狀態和隱私的應用。
extended-UTXO 模型將每段合約狀態儲存在個別未花費輸出中，確保並行性與決定性，但造成長時工作流程與高階加密運算的困難。傳統方法對需要長期管理狀態的複雜應用來說力有未逮。
Input Output Global 旗下研究團隊曾嘗試將遞迴 SNARKs 加入 Cardano 智能合約語言 Plutus，然而經多年努力，仍未有可用成品。
Starstream 顛覆傳統，完全脫離 Plutus。系統內嵌以 coroutine 為核心的 zkVM，可編譯成 WebAssembly，於鏈外執行，並將每次狀態轉換封裝成簡潔證明，透過輕量級 Plutus 包裝合約於鏈上驗證。
按照四月下旬 Cardano Explorer 上的技術簡介：「Starstream 是一套鏈無關、基於 UTXO 的零知識虛擬機，透過 coroutine 重新想像智能合約的執行方式。」
Coroutine 實現線性編程模式
coroutine 架構賦予開發者 Cardano 先前無法實現的能力。單一線性程式可在執行中暫停，產生同時包含資料和位元碼位置的 UTXO，當有新交易花費該輸出時可繼續執行。
在 Starstream，每個 yield 點都成為加密安全的檢查點。恢復執行時只需提出證明，無需重跑暫停片段，大幅降低運算成本，同時維持安全保障。
最終成果是既保有 UTXO 決定性的狀態機，同時原生支援多步驟流程。拍賣、放貸循環、鏈上遊戲等難度大幅降低，不用像其他區塊鏈那樣面臨共用狀態產生的競爭問題。
不同於 Cardano 過去由 Input Output Global 主導的分段硬分叉模式，Starstream 採用自主選擇的執行層，無須全網硬分叉即可整合進 Cardano。主網上線關鍵在於通過審計、社群審查及開發配套工具。
市場背景與開發時程
截稿時 ADA 價格為 0.684 美元，反映整體市場情緒對區塊鏈開發優先順序的影響。Starstream 加速推動正值機構投資人對零知識證明技術興趣大增之際。
開發團隊擴編顯示 dcSpark 認為現有市場環境適合推出高階基礎建設。資源分配通常反映團隊對技術可行性與市場需求信心。
結語
Starstream 項目被認為是自 Alonzo 升級導入 Plutus 能力以來 Cardano 最重要的智能合約創新。開發團隊規模增至三倍，展現打造可量產的零知識虛擬機決心，有望在不動搖 UTXO 架構原則下，為 Cardano 打開嶄新應用可能性。