Paima Studios和dcSpark的联合创始人Sebastien Guillemot周四宣布， 为加速Starstream零知识虚拟机项目的发展，他的开发团队人数已增加了两倍。 短短的社交媒体帖子透露，现在有四名全职开发人员参与这一计划， 标志着资源的重大承诺，旨在提前把Cardano的第一个zkVM推向主网。
需要了解的是：
- dcSpark的Starstream zkVM团队已从一名开发人员扩大到四名全职开发人员
- 加速进程始于卡尔达诺创始人Charles Hoskinson在五周前对该项目的支持
- Starstream旨在解决Cardano智能合约的局限性，无需进行全网分叉
Guillemot在X平台上的两句公告中指出： “我们目前有3名全职开发人员正在开发Starstream（加上我本人） ...我们正在加快开发速度，鉴于大量的关注，目标是让它更快地上线主网。”这表明在新生的Starstream工作组中 正在进行大幅的内部资源重新配置。
发布的时间显得有意为之。Charles Hoskinson仅在五周前公开支持了这一工作组， 称Starstream是“Cardano未来的核心组成部分”。虽然尚未宣布具体上线日期， 但人员的增加提示上向主网的部署可能会比最初预计的更快实现。
技术创新解决Cardano的核心限制
Starstream直接回应了对Cardano扩展UTXO架构持续的批评。开发者长期以来 一直在努力解决在Cardano现有框架下构建有状态、隐私保护应用程序的困难， 这需要将逻辑分散在多个验证器脚本中。
扩展UTXO模型将每一块合约状态存储在个别的未消费产出中。这种设计 提供了并行性和确定性，但给长时间运行的工作流和高级加密操作带来了重大复杂性。 传统方法被证明不足以应对需要持续状态管理的复杂应用。
Input Output Global内部的研究团队探讨了将递归SNARKs加入Cardano智能合约语言Plutus的方法。 然而，尽管经过多年开发努力，一个可投入生产的实现仍未成型。
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项目代表了自Alonzo升级引入Plutus功能以来， Cardano最重要的智能合约创新。 三倍的开发团队规模表明了兑现生产就绪的零知识虚拟机的严肃承诺， 它可能在不牺牲其UTXO架构原则的情况下根本性地扩展Cardano的应用可能性。