Aller au contenu
Plateforme privée et indépendante.Plateforme privée et indépendante : gratuite pour les clients, financée par une commission des prestataires.Financement
smart-contract.com

Annuaire par blockchain

Audit et développement de smart contracts sur Cosmos

Développer et auditer dans l'écosystème Cosmos : chaînes applicatives, Cosmos SDK, contrats CosmWasm, messagerie IBC, principaux risques et préparation.

Cosmos est un écosystème de blockchains indépendantes, souvent appelées chaînes applicatives, construites avec des composants open source communs et reliées par le protocole Inter-Blockchain Communication (IBC). Un projet peut déployer des smart contracts sur une chaîne existante ou construire sa propre chaîne. Ce choix détermine ce qui doit être audité : le code des contrats seul, ou aussi les modules et la configuration de la chaîne.

Développer sur Cosmos

Les chaînes sont construites avec le Cosmos SDK en Go et utilisent CometBFT pour le consensus. La logique de la chaîne réside dans des modules, tandis que les chaînes qui activent CosmWasm permettent de déployer des smart contracts écrits en Rust et compilés en WebAssembly. IBC permet de faire circuler tokens et messages entre chaînes via des canaux, avec accusés de réception et délais d'expiration.

  • Langages : Go pour les modules de chaîne, Rust pour les contrats CosmWasm
  • Outils : le Cosmos SDK, les bibliothèques CosmWasm et son framework de tests multi-contrats
  • Certaines chaînes font aussi tourner une EVM, ce qui ajoute les risques propres à l'EVM au périmètre

Ce que regardent les auditeurs

  • Le traitement IBC : accusés de réception, expirations et remboursements, validation des canaux et de l'origine des tokens
  • CosmWasm : sous-messages et traitement des réponses, autorisation des messages d'exécution, droits de migration des contrats
  • Les modules de chaîne : code non déterministe, paniques dans les hooks de bloc pouvant arrêter la chaîne, boucles non bornées et mesure du gas
  • La gouvernance et les changements de paramètres qui modifient le comportement des modules
  • L'arithmétique, les arrondis et la gestion des dénominations entre chaînes

Avant de demander des devis

  • Précisez si vous livrez des contrats CosmWasm, des modules SDK ou une chaîne complète, avec les versions du SDK et de CosmWasm
  • Décrivez les flux IBC, les chaînes partenaires et le comportement attendu en cas d'expiration
  • Fournissez les tests, y compris les simulations multi-contrats ou multichaînes
  • Listez qui détient les droits de gouvernance, d'administration et de migration

Auditeurs de smart contracts sur Cosmos

  • Blaize

    Informations publiquesUkraine

    Société ukrainienne de développement blockchain dotée d'une activité d'audit de sécurité dédiée

    • Développement
    • Audit

    Ethereum · Polygon · Arbitrum · Solana · Sui · +4 autres

  • CertiK

    Informations publiquesÉtats-Unis

    Sécurité Web3 : audits manuels de smart contracts, vérification formelle et tests d'intrusion

    • Audit
    • Tests d'intrusion

    Ethereum · BNB Chain · Polygon · TON · Cosmos

  • Coinspect

    Informations publiques

    Sécurité Web3 : audits de smart contracts, de protocoles L1/L2 et de code, tests d'intrusion

    • Audit
    • Tests d'intrusion

    Ethereum · BNB Chain · Polygon · Optimism · ZKsync · +2 autres

  • FuzzingLabs

    Informations publiquesFrance

    Société française de sécurité offensive qui audite blockchains et smart contracts par fuzzing

    • Audit

    Solana · Ethereum · NEAR · Starknet · Sui · +3 autres

  • Halborn

    Informations publiques

    Sécurité blockchain : audits de smart contracts, revues de L1, tests d'intrusion et conseil

    • Audit
    • Tests d'intrusion

    Ethereum · Solana · Cosmos

  • Least Authority

    Informations publiquesAllemagne

    Cabinet berlinois qui audite smart contracts, protocoles cryptographiques et systèmes ZK

    • Audit

    Ethereum · Polygon · Cosmos · Solana · Avalanche

  • Oak Security

    Informations publiquesAllemagne

    Société de sécurité Web3 basée à Munich : audits EVM, Solana, Cosmos, Substrate et Starknet

    • Audit
    • Tests d'intrusion

    Ethereum · Solana · Cosmos · Polkadot · Starknet · +2 autres

  • OtterSec

    Informations publiques

    Société de sécurité blockchain : audit de couches 1, wallets, DeFi et bridges, tests d'intrusion

    • Audit
    • Tests d'intrusion

    Solana · Ethereum · Sui · Aptos · Cosmos · +1 autres

  • Rather Labs

    Informations publiquesÉtats-Unis

    Société d'ingénierie Web3 et IA, équipe à Buenos Aires, qui développe et audite des smart contracts

    • Développement
    • Audit

    Ethereum · Arbitrum · Base · Optimism · Polygon · +5 autres

  • Security Research Labs

    Informations publiquesAllemagne

    Cabinet berlinois de recherche en sécurité : smart contracts, runtimes de blockchains et bridges

    • Audit
    • Tests d'intrusion

    Ethereum · Cosmos · Solana · Polkadot

  • Shieldify

    Informations publiquesBulgarie

    Société bulgare de sécurité Web3 : audits de smart contracts à la mission ou par abonnement

    • Audit
    • Tests d'intrusion
    • Développement

    Ethereum · Solana · ZKsync · Avalanche · BNB Chain · +1 autres

  • Trail of Bits

    Informations publiquesÉtats-Unis

    Société de sécurité qui audite smart contracts, nœuds et bridges, éditrice de Slither et Echidna

    • Audit
    • Tests d'intrusion

    Ethereum · Arbitrum · Optimism · Solana · Sui · +4 autres

  • Zellic

    Informations publiques

    Évaluations de sécurité : smart contracts, circuits ZK, blockchains de niveau 1 et applications web

    • Audit
    • Tests d'intrusion

    Ethereum · Solana · Aptos · Sui · Cosmos

  • Zokyo

    Informations publiquesÉmirats arabes unis

    Audits de smart contracts et de protocoles, tests d'intrusion, conformité et développement, Dubaï

    • Audit
    • Tests d'intrusion
    • Développement

    Ethereum · Solana · Polygon · Arbitrum · Optimism · +9 autres

Développeurs de smart contracts sur Cosmos

  • Blaize

    Informations publiquesUkraine

    Société ukrainienne de développement blockchain dotée d'une activité d'audit de sécurité dédiée

    • Développement
    • Audit

    Ethereum · Polygon · Arbitrum · Solana · Sui · +4 autres

  • Rather Labs

    Informations publiquesÉtats-Unis

    Société d'ingénierie Web3 et IA, équipe à Buenos Aires, qui développe et audite des smart contracts

    • Développement
    • Audit

    Ethereum · Arbitrum · Base · Optimism · Polygon · +5 autres

  • Shieldify

    Informations publiquesBulgarie

    Société bulgare de sécurité Web3 : audits de smart contracts à la mission ou par abonnement

    • Audit
    • Tests d'intrusion
    • Développement

    Ethereum · Solana · ZKsync · Avalanche · BNB Chain · +1 autres

  • Zokyo

    Informations publiquesÉmirats arabes unis

    Audits de smart contracts et de protocoles, tests d'intrusion, conformité et développement, Dubaï

    • Audit
    • Tests d'intrusion
    • Développement

    Ethereum · Solana · Polygon · Arbitrum · Optimism · +9 autres

Décrivez votre projet une fois. Comparez en toute confiance.

Recevez des devis comparables de développeurs vérifiés, puis sécurisez votre code avec un auditeur indépendant.

Recevoir des devis

Gratuit pour les clients. Sans engagement.