依頼するタイミング
コードを書く前
設計の変更は安く、デプロイ済みのコントラクトの変更は高くつきます。
大きなアップグレードの前
新しいモジュール、新しい統合、ステートの移行。
監査の前
先に設計を固めれば、監査で読むコードが減ります。
得られるもの
脅威モデル
誰が何を、どの資金で呼び出せ、何を得るのか。
アーキテクチャレビュー
信頼境界、アップグレード経路、管理者キー、外部統合。
経済設計レビュー
オラクル、インセンティブ、パラメータとその破綻パターン。
書面のレビュー
すべての問題を深刻度順に並べ、それを解消する変更を添えます。
進め方
- 01
スコープの打ち合わせ
設計と懸念点についての短い打ち合わせ。
- 02
レビュー
1~2 週間、体制:シニアリサーチャー2人。
- 03
ウォークスルー
チームの皆さんと、問題をひとつずつ確認します。
次は監査
レビュー済みの設計は、同じリサーチャーによるスマートコントラクト監査へ進みます。