卡达诺发布2030年网络扩容战略：莱奥斯迈向主网部署

Input Output Global（IOG）正式披露其面向2030年的网络可扩展性发展蓝图，目标是将当前月均约80万笔的交易吞吐量提升至最高2700万笔。该计划以“卡达诺莱奥斯（Leios）”为核心引擎，标志着生态进入深度演进阶段。

莱奥斯原型向主网成熟化跃迁的技术路径

为实现系统稳定性与可部署性的双重保障，IOG将莱奥斯从早期原型推向具备生产级条件的成熟状态。开发流程严格遵循软件就绪水平第5至8级标准，涵盖设计、构建、测试与强化全流程管控。

共识重构与账本范式革新：发布候选版本成关键节点

项目推进的核心环节为“发布候选版本”，期间将实施共识组件的大规模重构，并引入名为“迪杰斯特拉账本时代”的新型区块结构。这一架构变革被视为卡达诺底层哲学的重塑，引发行业高度关注。

形式化验证驱动系统可信度：从功能完备到可预测性

IOG计划基于Agda语言完成形式化规范验证，并将其集成至主节点实现中。此机制旨在确保智能合约与共识逻辑在复杂环境下保持一致行为，是提升主网容错能力的关键手段。

构建高置信度体系：多维度压力测试与参数毕业机制

为达成“高置信度”目标，团队将并行开展参数探索、持续压力测试及对抗性测试，深入分析时序波动与规模边界问题，并建立与系统成熟度相匹配的“参数毕业”流程。

硬分叉就绪准备：非时间点，而是系统性工程

“实现莱奥斯硬分叉能力”并非指实际分叉发生时刻，而是全面完成启用前的准备工作，包括客户端接口稳定、技术文档独立化、开发者社区协同、治理脚本更新以及应急响应预案制定。