未検証コントラクトで本当に負けるもの

検証ソースがなければブラックボックス。まだ分かるものと、降りる時機。

検証ソースがあれば罠を読めます。未検証なら、シミュレーション、バイトコードの見当、deployerの実績を信じることになります。手札は弱いです。

検証が効く理由

ソースがあれば、blacklist、pause、mint、fee hookを平文で探せます。なくても関数は存在できます。監査とスキャナーはバイトコードの型から推測します。巧妙な詰め込みは推測が外します。

まだ見られるもの

売却シミュレーション: 今、買い+売りの経路は通るか。

シミュレーションや直近スワップで観測したbuy taxとsell tax。