Securite des Contrats Intelligents.

Pratique consistant a concevoir, auditer et exploiter des programmes on-chain pour qu'ils ne puissent pas etre detournes afin de voler des fonds ou de violer les regles metier. Cette notion relève de la catégorie Web3 et blockchain en cybersécurité.

Pratique consistant a concevoir, auditer et exploiter des programmes on-chain pour qu'ils ne puissent pas etre detournes afin de voler des fonds ou de violer les regles metier.

Les contrats intelligents sont des programmes immuables qui detiennent des actifs sur des blockchains comme Ethereum, BNB Chain ou Solana. La securite des contrats intelligents analyse le code (Solidity, Vyper, Rust, Move) et ses incitations economiques pour detecter des vulnerabilites comme la reentrance, les debordements entiers, les erreurs de controle d'acces, le delegatecall non securise, la dependance aux oracles ou le MEV. Comme un contrat deploye n'est generalement pas patchable, la defense repose sur des bibliotheques surveillees (OpenZeppelin), la modelisation de menaces, la verification formelle, le fuzzing, les audits manuels, la gouvernance multisig, les mises a niveau a timelock, les disjoncteurs et la surveillance continue avec alertes on-chain.

Les défenses contre Securite des Contrats Intelligents combinent habituellement des contrôles techniques et des pratiques opérationnelles, comme détaillé dans la définition ci-dessus.

Noms alternatifs courants : Securite DeFi.