AFBS-COSMOS-2026-01 · v1.0 · 2026 年 10 月 30 日 · 阅读约 6 分钟
摘要
本次审计覆盖 9 条 Cosmos/CometBFT 链：Sei、Osmosis、Kava、Akash、Juno、Celestia、Agoric、Dymension、Namada。源码固定到具体 commit，逐文件用 blob SHA-1 校验；链上检查均为只读调用，未执行攻击交易。
在已检查范围内，没有发现无权限盗币或凭空铸币路径。这不等于“Cosmos 已经安全”：还有多个面未覆盖，下面的 P1/P2 风险是真实存在的。P1/P2 指非直接的损失或记账不一致，不是无权限盗币路径。
范围
- Sei — EVM ↔ Cosmos 预编译、EndBlock、OCC；
- Osmosis — 集中流动性、取整、奖励；
- Kava — CDP、hard、earn、auction、swap；
- Akash — bme、escrow、market；
- Juno — feeshare、stream、drip、feepay、feemarket 及相关模块；
- Celestia — fibre、minfee、blob、zkism；
- Agoric — ERTP、Zoe、fast-usdc；
- Dymension — eibc、forward、delayedack；
- Namada — MASP、nullifier、按资产价值平衡。
主要结果
| 链 | 结论 | 主要风险 |
|---|---|---|
| Kava | 无直接盗币 | P1 — 坏账被删除而不是记账；幽灵债务继续计息，损失由最后撤出的存款人承担。 |
| Akash | 无直接盗币 | P2 — escrow 付款与记账分离；吞错可能形成重复支付面。 |
| Sei | 无双账本 | P2 — EndBlock 吞掉结算错误，可能导致供应量漂移。 |
| Celestia | 资金流自洽 | R3/R4 — fibre 付款人不绑定交易签名人；Finalize/ReCheck 跳过签名校验。 |
| Osmosis | 无本金损失 | 奖励层：forfeit 留在池中；撤空流动性可绕过 uptime 罚没。 |
| Juno | 无直接缺陷 | 4 条 Low；feeshare 收益权随 admin 转移（设计）。 |
| Agoric | 无重复领取 | 风险在 mint presence 传播与 vat 升级；vault 包在该 commit 不存在。 |
| Dymension | 无 P0/P1/P2 | 仅 P3；eibc 签名者即付款方，delayedack 未见双花。 |
| Namada | 按资产守恒 | MASP 核心成立；剩余信任在解码表与治理边界。 |
这份报告不能证明什么
“0 条直接路径”只适用于已检查范围。未覆盖：Sei 的 in-tree SDK 与共识、OCC，Osmosis 的大部分模块，Agoric 的 SwingSet/vat 层，Namada 的电路与转换，Celestia 的 PFF 入选/结算次序，以及 Kava、Akash、Juno、Dymension 的多个子模块。
不能因为这份报告就把上述任何一条链描述为“已完整审计”。
方法
源码固定到具体 commit，按 blob 抓取并用 SHA-1 校验；链上检查使用只读调用，未执行攻击交易，也没有本地 PoC。P1/P2 是损失或记账不一致，不是无权限直接盗币路径。
披露
完整技术报告仍受限。团队与合作伙伴请联系：security@frblockchain.icu。请勿发送私钥、助记词或利用细节。