卡尔达诺忙碌的一周：Lace 2.0、Leios 和 Voltaire 现场投票

随着网络进入关键的过渡阶段，卡尔达诺生态系统度过了激动人心的一周。从期待已久的 Lace 2.0 发布到通过高保证工具对智能合约进行形式化验证，“Cardano 2026”愿景正在迅速从理论白皮书转向生产就绪代码。

截至 2026 年 5 月 1 日，社区正在经历双轨演变：由 Ouroboros Leios 和 Mithril 协议主导的大规模扩容推动，以及伏尔泰时代的历史性治理里程碑。随着 6 月份“van Rossem”硬分叉即将到来，本周的发展报告强调了这个网络不仅在增长，而且从根本上走向成熟。

财务提案和 DRep 投票

卡尔达诺向自给自足的生态系统过渡的核心是 2026 年预算流程。本周，Input Output (IO) 正式公布了其财务提案，概述了战略路线图，要求筹集 4680 万美元来完成卡尔达诺的核心基础设施。

​为了确保透明度，团队发布了 2025 年第四季度至 2026 年第一季度的综合交付报告。这份报告作为之前融资的“成绩单”，显示 IO 成功完成了 18 项承诺中的 16 项。值得注意的胜利包括推出 USDCx（第一周就铸造了超过 1500 万枚代币）以及 LayerZero 的整合，将 Cardano 连接到 160 多个区块链和 800 亿美元的跨链资产。

社区目前正处于高风险审查期。 IO 一直在举办一系列 X Spaces 来分解复杂的提案，包括 Cardano 升级、开发人员体验和高保证。对于利益相关者来说，最紧迫的截止日期是 2026 年 5 月 24 日，届时授权代表 (DRep) 投票正式结束。该投票期允许社区决定哪些举措将定义网络发展的下一阶段。

Ouroboros Leios 和 1,000 TPS 目标

虽然治理占据了头条新闻，但技术“引擎室”的重点是吞吐量。 Leios 团队在原型稳定性方面达到了一个里程碑，恢复了测试套件和开发网络环境的一致性。

本周，该团队发布了第一个账本吞吐量基准，证实了交易处理的显着加速。根据初步模拟和 Linear Leios CIP，该协议的目标是将吞吐量提高 10 倍至 65 倍，有可能在 2026 年底前使 Cardano 的 TPS 达到 1,000 以上。

至关重要的是，正在完善实施，将“endorser-block”公告直接放入 Praos 区块标头中。这种与协议规范的技术一致性确保了卡尔达诺在加速的同时，不会牺牲已成为其标志的去中心化特性。该团队还更新了他们的交互式成本分析工具，为权益池运营商（SPO）提供了运行 Leios 协议的操作要求的更清晰的画面。

主网上生产就绪

与 Leios 一起，Mithril 协议已达到“生产就绪”状态。该团队最近发布了 2617.0 发行版，将 Mithril 签名者标记为发布主网网络的 1.0.0。

此版本引入了对 Cardano 节点 v.10.7.1 的支持，并包含静态构建的二进制文件以简化 SPO 的部署。除了主网发布之外，Mithril 的研究方面在递归 SNARK 电路方面也取得了快速进展。通过完成递归电路原型的黄金测试并增强STM库中的非递归证明器，Mithril正在向轻客户端可以在毫秒内验证整个链状态的未来迈进。

多链革命

对于普通用户来说，本周最大的新闻就是 Lace 2.0 的发布。此次更新将期待已久的 Lace Mobile 引入了 Android（iOS 支持目前正在筹备中），但真正的故事是“多链”转变。

Lace 2.0 不再只是卡尔达诺钱包；它是通往比特币生态系统的门户。用户现在可以在单一界面中管理卡尔达诺和比特币的资产。这种多链功能包括：

在两条链上发送和接收资产。

​随时随地进行原生质押和交换。

​通过无缝浏览器集成实现移动 DApp 连接。

​对 Midnight、Cardano 的 target="_blank" rel="nofollow noopener">PlutusCoreBlaster 和 CardanoLedgerAPIBlaster 的早期支持——支持智能合约的自动正确性证明。

这些工具采用 Lean 4 构建，允许开发人员使用任何表面语言（Aiken、Plutarch 或 Plinth）编写合约，导入编译后的字节码，并根据实际账本规则证明其属性。在演示过程中，该团队在 sellNFT 合约上使用了这些工具，并发现了之前未被发现的双重满足漏洞。

通过提供一种途径来证明合约只会执行其预期的操作，卡尔达诺有效地提高了 DeFi 安全的门槛