区块链每周摘要 — 2026年 5月 19日

Cardano 每周开发更新、Cardano 智能合约迎来端到端自动化形式化验证、Global Synchronizer：Canton 的去中心化骨干、Cosmos Stack Ledger 2026.1 实现 2,000+ TPS、更高稳定性与更清晰的升级流程、Lido…