スマートコントラクトの倫理的ハッキング「セキュリティ&監査」
このコースではSolidityとFoundry(ファウンドリーというフレームワーク)を使用し、Web3業界のプロトコルとプロジェクトの監査しながらスマートコントラクトに見つかるエクスプロイトを修正し、プロトコルがすべての資金を失うことや、悪意のある方法でプロトコルとやり取りする能力を避けること。
内容的には、"Red
Guild"「レッドギルド」とセキュリティ監査員が主導しており、ChainlinkやOpenZeppelinのリードデベロッパーも含まれています。これらの人々は、DEFIエコシステムでの重大な脆弱性を防ぐことで数十億ドルを節約しました。
このコースは、分散型金融(スワップ、ステーキング、フラッシュローン、AMM(自動市場メーカー)など)、ブリッジ、NFTまたは「ランダム性」のようなものを使用するその、ステーブルコイン、他のもの(DAOなど)の監査仕方とプロトコルとユーザーの資金を保護するためにそのセキュリティをどのように向上させるかのことについて学びます。
また、高度なテスト技術やソリディティ/アセンブリプログラミングを使用しながら、プロトコル開発者(クライアント)との対話方法や、コードの証明(Proof
of Code
(POC)、クライアントのプロトコルを悪用する方法のコードと問題を解決する方法の説明に使われているコード)や脆弱性の重大性の詳細を含むレポートの作成方法を学びます。
あまり知られていないと主要な脆弱性やそれらを防ぐ方法を学びます:フロントランニング、ロジックの誤解、リエントランシー攻撃、DOS攻撃、コンストラクタ攻撃、MEV、Proxyのストレージ攻撃、など...
注意: 初心者向けではない。
過去2年間にDefiでハッキングや盗難された金額:
- 2022年:38億ドルが盗まれた
- 2023年:30億ドルが盗まれた
Solidity・HuffとYul(アセンブリ言語)を使用し、
下記のテスト仕方を使用する:
- Staging・ステージング
- Static・静的
- Unit・ユニット
- Dynamic・動的
- Stateless Fuzzing test・ステートレスファズテスト
- Stateful Fuzzing test・ステートフルファズテスト
- Invariants test・インバリアントテスト
- Formal Verification test・形式的検証
言語: Solidity & Huff、Yul or Yul+ (Assembly言語)
使用ツール: Forge Foundry, Assembly, Chainlink, OpenZeppelin,
Remix, IPFS, NextJS, Markdown, Chisel, Anvil,
(テスト用のツールSlither, Aderyn, Mithril, Echidna ....)
(コースのGithubはこちら)
サイトを見る