AFBS-COSMOS-2026-01 · v1.0 · 30 octobre 2026 · Lecture ~6 min
Résumé
Cet audit couvre neuf chaînes Cosmos/CometBFT : Sei, Osmosis, Kava, Akash, Juno, Celestia, Agoric, Dymension et Namada. Les sources ont été fixées à un commit précis et vérifiées par blob SHA-1 ; les vérifications on-chain sont en lecture seule. Aucune transaction d’attaque n’a été exécutée.
Dans les surfaces examinées, aucune voie sans permission ne permet de voler des fonds ou de créer de la monnaie. Ce résultat ne signifie pas que « Cosmos est sûr » : plusieurs surfaces ne sont pas couvertes, et les risques P1/P2 décrits ci-dessous sont réels. P1/P2 désignent des pertes ou des incohérences comptables non directes, pas des voies sans permission permettant un vol.
Périmètre
- Sei — precompiles EVM ↔ Cosmos, EndBlock, OCC ;
- Osmosis — concentrated liquidity, arrondis, récompenses ;
- Kava — CDP, hard, earn, auction, swap ;
- Akash — bme, escrow, market ;
- Juno — feeshare, stream, drip, feepay, feemarket et modules associés ;
- Celestia — fibre, minfee, blob, zkism ;
- Agoric — ERTP, Zoe, fast-usdc ;
- Dymension — eibc, forward, delayedack ;
- Namada — MASP, nullifier, value balance par actif.
Résultats principaux
| Chaîne | Résultat | Risque principal |
|---|---|---|
| Kava | Aucun vol direct | P1 — créances irrécouvrables supprimées au lieu d’être comptabilisées ; la dette fantôme continue de produire des intérêts, supportés par les derniers déposants. |
| Akash | Aucun vol direct | P2 — paiement et comptabilisation séparés dans escrow ; des erreurs avalées peuvent produire un double paiement. |
| Sei | Aucun double registre | P2 — EndBlock avale des erreurs de règlement ; dérive possible de la supply. |
| Celestia | Flux financiers cohérents | R3/R4 — le payeur fibre n’est pas lié au signataire ; Finalize/ReCheck sautent la vérification de signature. |
| Osmosis | Pas de perte de principal | Récompenses : forfeit qui reste dans le pool, contournement de l’uptime par retrait de liquidité. |
| Juno | Aucun défaut direct | 4 Low ; la propriété du revenue share suit l’admin (design). |
| Agoric | Pas de double claim | Risque sur la propagation du mint presence et les upgrades de vat ; vault absent de ce commit. |
| Dymension | Pas de P0/P1/P2 | P3 uniquement ; eibc signer = payeur, delayedack sans double dépense observée. |
| Namada | Conservation par actif | Le cœur MASP tient ; la confiance restante porte sur la table de décodage et la gouvernance. |
Ce que ce rapport ne prouve pas
Le résultat « 0 voie directe » ne vaut que pour les surfaces examinées. Ne sont pas couverts : le SDK et le consensus in-tree de Sei, l’OCC, la majorité des modules Osmosis, SwingSet/vat d’Agoric, les circuits et la conversion de Namada, l’ordre de sélection/settlement PFF de Celestia, ainsi que plusieurs sous-modules de Kava, Akash, Juno et Dymension.
Aucune de ces chaînes ne doit être présentée comme « entièrement auditée » sur la base de ce rapport.
Méthode
Sources fixées à un commit précis, fichiers récupérés par blob et vérifiés par SHA-1. Les vérifications on-chain sont des appels de lecture ; aucune transaction d’attaque, aucun PoC local n’a été exécuté. Les risques P1/P2 sont des pertes ou des incohérences de comptabilité, pas des voies sans permission permettant un vol direct.
Divulgation
Le rapport technique complet reste restreint. Pour les équipes et les partenaires : security@frblockchain.icu. Ne pas envoyer de clé privée, de seed ou de secret d’exploitation.