Solana est une blockchain à haut débit conçue pour une faible latence et l'exécution parallèle des transactions. Ses smart contracts, appelés programmes, suivent un modèle très différent de l'EVM : l'expérience acquise sur Ethereum ne se transpose pas directement. Choisir Solana, c'est travailler avec des spécialistes Rust et prévoir un audit centré sur la façon dont les comptes sont transmis et validés.
Développer sur Solana
Les programmes sont sans état : les données vivent dans des comptes distincts que chaque transaction doit lister explicitement, et le programme doit vérifier que chaque compte reçu est bien celui qu'il attend. Les programmes s'appellent entre eux par des invocations inter-programmes et contrôlent des comptes dérivés de leur propre adresse (program derived addresses, ou PDA). Ils sont évolutifs par défaut grâce à une autorité de mise à jour, qui peut être conservée, transférée ou supprimée.
Langage : Rust, compilé pour l'environnement d'exécution Solana
Framework : Anchor, qui génère une grande partie du code de validation des comptes
Tokens : les programmes de tokens SPL, dont le programme plus récent à extensions
Non compatible EVM
Ce que regardent les auditeurs
La validation des comptes : vérification du propriétaire et du signataire, confusion de types entre comptes, substitution d'un compte légitime par celui d'un attaquant
Les PDA : conception des seeds, gestion du bump, collisions entre types de comptes
Les invocations inter-programmes : appel du bon identifiant de programme et privilèges transmis
L'arithmétique et la précision sur les montants, avec des arrondis en faveur du protocole
L'autorité de mise à jour, la fermeture et la réinitialisation de comptes, les limites de calcul sur les opérations lourdes
Avant de demander des devis
Précisez si le programme utilise Anchor ou Rust natif, et la version d'Anchor
Décrivez chaque instruction avec les comptes attendus et leurs contraintes
Fournissez des tests couvrant les cas d'échec, pas seulement les parcours nominaux
Indiquez qui détient l'autorité de mise à jour et si le programme sera rendu immuable
Auditeurs de smart contracts sur Solana 4 Pologne Software house de Wrocław : développement blockchain, analyse onchain et conformité crypto
Ethereum · Arbitrum · Base · Polygon · BNB Chain · +4 autres
A Singapour Société de sécurité basée à Singapour qui audite des programmes Solana (Anchor, Pinocchio, Rust)
AB Tchéquie Société pragoise d'audit Solana et EVM, éditrice des outils de fuzzing Wake et Trident
AL États-Unis Société de sécurité blockchain : audits, fuzzing, vérification formelle et tests d'intrusion
Solana · Ethereum · Sui · Aptos · BNB Chain
B Ukraine Société ukrainienne de développement blockchain dotée d'une activité d'audit de sécurité dédiée
Ethereum · Polygon · Arbitrum · Solana · Sui · +4 autres
Audits de smart contracts associant revue manuelle et vérification formelle avec Certora Prover
C Suisse Cabinet d'audit de smart contracts à Zurich : DeFi, stablecoins, bridges et L1/L2
Ethereum · Solana · Starknet · Sui · Aptos
C Argentine Sécurité et développement blockchain en Argentine : audits Solidity, Rust, Clarity, Soroban
Ethereum · Solana · Polkadot
C Singapour Société de sécurité : audits manuels de smart contracts, tests d'intrusion et scanner SolidityScan
Audits de smart contracts, tests d'intrusion et formation à la sécurité, éditeur d'Aderyn et Solodit
Ethereum · ZKsync · Arbitrum · Avalanche · BNB Chain · +8 autres
EL Royaume-Uni Studio de développement onchain à Londres : smart contracts, dApps, lancements de tokens et de NFT
Ethereum · Base · Solana · Polygon · Avalanche
F France Société française de sécurité offensive qui audite blockchains et smart contracts par fuzzing
Solana · Ethereum · NEAR · Starknet · Sui · +3 autres
Audits de smart contracts avec fuzzing d'invariants, tests d'intrusion hors chaîne et audits de SDK
H Estonie Sécurité et conformité blockchain depuis l'Estonie : audits, tests d'intrusion, MiCA et DORA
Sécurité blockchain : audits de smart contracts, revues de L1, tests d'intrusion et conseil
Ethereum · Solana · Cosmos
KS Suisse Société suisse de cybersécurité avec une activité d'évaluation blockchain et des rapports publics
LA Allemagne Cabinet berlinois qui audite smart contracts, protocoles cryptographiques et systèmes ZK
Ethereum · Polygon · Cosmos · Solana · Avalanche
Cabinet spécialisé dans l'audit de smart contracts et de programmes Solana, et le développement
Ethereum · Solana · Optimism · Arbitrum · Base
M Espagne Société espagnole consacrée à la blockchain : tokenisation d'actifs réels et smart contracts
Ethereum · Polygon · BNB Chain · Arbitrum · Solana
M Îles Caïmans Audit orienté DeFi : revue de conception, audit de smart contracts et suivi de sécurité continu
N Allemagne Société allemande d'audit Solana et de blockchains, avec tests d'intrusion et formations
N Royaume-Uni Ingénierie et recherche blockchain à Londres ; Nethermind Security audite des smart contracts
Ethereum · Starknet · ZKsync · Solana
OS Allemagne Société de sécurité Web3 basée à Munich : audits EVM, Solana, Cosmos, Substrate et Starknet
Ethereum · Solana · Cosmos · Polkadot · Starknet · +2 autres
Société de sécurité blockchain : audit de couches 1, wallets, DeFi et bridges, tests d'intrusion
Solana · Ethereum · Sui · Aptos · Cosmos · +1 autres
Équipe de chercheurs en sécurité à distance auditant des smart contracts EVM, Solana et Move
Ethereum · Solana · Arbitrum · Optimism · Base · +3 autres
Ingénierie blockchain : développement et audit de smart contracts sur EVM, Solana et Cardano
Ethereum · Solana · Cardano
Société de sécurité Web3 : audits de smart contracts, analyse économique et tests d'infrastructure
Ethereum · Solana · Polygon · TON · Avalanche · +3 autres
Cabinet d'audit de smart contracts qui propose aussi tests d'intrusion de dApps et surveillance
Ethereum · NEAR · BNB Chain · Polygon · Optimism · +8 autres
RL États-Unis Société d'ingénierie Web3 et IA, équipe à Buenos Aires, qui développe et audite des smart contracts
Ethereum · Arbitrum · Base · Optimism · Polygon · +5 autres
Spécialiste des méthodes formelles : audits de sécurité, fuzzing et vérification formelle
Équipe de sécurité Web3 qui audite smart contracts, dApps et blockchains, axée couches 2 Bitcoin
Ethereum · Arbitrum · BNB Chain · Solana · Polygon · +3 autres
Société de sécurité Solana : audits, vérification formelle et suivi après déploiement
SR Allemagne Cabinet berlinois de recherche en sécurité : smart contracts, runtimes de blockchains et bridges
Ethereum · Cosmos · Solana · Polkadot
S Bulgarie 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
S Allemagne Société Web3 de Flensburg : audit de smart contracts, tests d'intrusion, développement, conformité
Développement Audit Tests d'intrusion Ethereum · Arbitrum · Optimism · Base · Polygon · +8 autres
Audits de sécurité du code et audits économiques de protocoles Web3, en Solidity, Rust et Move
Ethereum · Arbitrum · Polygon · Base · Optimism · +4 autres
TO États-Unis Société de sécurité qui audite smart contracts, nœuds et bridges, éditrice de Slither et Echidna
Ethereum · Arbitrum · Optimism · Solana · Sui · +4 autres
V Viêt Nam Société de sécurité qui audite smart contracts, protocoles et cryptographie, avec tests d'intrusion
Ethereum · BNB Chain · Solana · Avalanche · Polygon · +1 autres
Z Pologne Société polonaise de sécurité : audits de smart contracts, pentest de dApps et revues de sécurité IA
Audit Tests d'intrusion Développement Ethereum · Arbitrum · Polygon · BNB Chain · Base · +4 autres
Évaluations de sécurité : smart contracts, circuits ZK, blockchains de niveau 1 et applications web
Ethereum · Solana · Aptos · Sui · Cosmos
Z É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 Solana 4 Pologne Software house de Wrocław : développement blockchain, analyse onchain et conformité crypto
Ethereum · Arbitrum · Base · Polygon · BNB Chain · +4 autres
B Ukraine Société ukrainienne de développement blockchain dotée d'une activité d'audit de sécurité dédiée
Ethereum · Polygon · Arbitrum · Solana · Sui · +4 autres
B Pologne Studio logiciel varsovien spécialisé dans les produits Web3, smart contracts en Solidity et ink!
C Argentine Sécurité et développement blockchain en Argentine : audits Solidity, Rust, Clarity, Soroban
Ethereum · Solana · Polkadot
EL Royaume-Uni Studio de développement onchain à Londres : smart contracts, dApps, lancements de tokens et de NFT
Ethereum · Base · Solana · Polygon · Avalanche
L Australie Studio produit de Brisbane : smart contracts, protocoles DeFi et produits Web3 complets
Ethereum · Base · Arbitrum · Optimism · Polygon · +1 autres
L Bulgarie Société bulgare d'ingénierie blockchain : smart contracts, protocoles et produits onchain
Ethereum · Polygon · Base · Solana · NEAR · +1 autres
LL Suisse Studio suisse de développement blockchain : produits Web3 et fintech sur EVM, HyperEVM et Solana
Cabinet spécialisé dans l'audit de smart contracts et de programmes Solana, et le développement
Ethereum · Solana · Optimism · Arbitrum · Base
M Espagne Société espagnole consacrée à la blockchain : tokenisation d'actifs réels et smart contracts
Ethereum · Polygon · BNB Chain · Arbitrum · Solana
ML États-Unis Société d'ingénierie blockchain : protocoles, tokenisation et paiements pour les institutions
Ethereum · ZKsync · Solana · Polkadot
N Royaume-Uni Ingénierie et recherche blockchain à Londres ; Nethermind Security audite des smart contracts
Ethereum · Starknet · ZKsync · Solana
Ingénierie blockchain : développement et audit de smart contracts sur EVM, Solana et Cardano
Ethereum · Solana · Cardano
RL États-Unis Société d'ingénierie Web3 et IA, équipe à Buenos Aires, qui développe et audite des smart contracts
Ethereum · Arbitrum · Base · Optimism · Polygon · +5 autres
R Ukraine Partenaire d'ingénierie Web3 : smart contracts prêts pour l'audit sur EVM, Solana et Bitcoin
Ethereum · Polygon · BNB Chain · Arbitrum · Base · +6 autres
RF Pologne Software house de Cracovie avec une activité blockchain : smart contracts, DeFi, dApps, bridges
Ethereum · Solana · Polygon · BNB Chain · Avalanche
S Bulgarie 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
S Allemagne Société Web3 de Flensburg : audit de smart contracts, tests d'intrusion, développement, conformité
Développement Audit Tests d'intrusion Ethereum · Arbitrum · Optimism · Base · Polygon · +8 autres
Z Pologne Société polonaise de sécurité : audits de smart contracts, pentest de dApps et revues de sécurité IA
Audit Tests d'intrusion Développement Ethereum · Arbitrum · Polygon · BNB Chain · Base · +4 autres
Z É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
Z Estonie Équipe d'ingénierie crypto senior : consensus L1, zero-knowledge, mécanismes DeFi et stablecoins
Ethereum · Solana · NEAR · Arbitrum · Base · +1 autres