ステージ五の案内

このステージで考える問題

最初の四ステージでは作る能力を育てました。ここでは、公開した翌日に資金を失わないための能力を育てます。

二つの系統で進めます。

• インフラ：チェーン全体のデータを検索できるシステムにし、クロスチェーンの信頼の前提を理解し、アカウント抽象化で利用体験を改善します。
• 安全：コントラクトの脆弱性、プロトコルの経済攻撃、両方をつなぐ脅威モデルと不変条件を扱います。

重要な認識は、多くの損失は構文エラーではなく、状態の順序、権限の境界、攻撃が利益になる設計から生まれることです。

六つの章

このステージを終えると

自分のシステムの脅威モデルと不変条件を記述し、自動で検証できます。

ステージの成果物：脅威モデルと不変条件の一覧。Fuzzing テスト、監視、アラートを添えます。

学習のヒント

• T28 では、脆弱なコントラクトを自分で書き、自分で資金を引き出します。省略しないでください。一度体験することは、十本の分析を読むより深く学べます。
• T29 の費用計算は重要です。自分のプロトコルの攻撃費用を一度計算してください。計算できなければ、まだ境界を理解していません。
• このステージからは、すべての課題で、最も問題が起こりそうな項目を添えてください。