用語集

スマートコントラクトリスクとは?

上級 · 読了時間:12分
What Is Smart Contract Risk?

スマートコントラクトリスクとは、入金・承認・相互作用の時点であなたが意図していなかった結果を、オンチェーンのプログラム挙動、その依存関係、そのオラクル、またはその管理者/アップグレード権限が生み出すことで、価値を失う——あるいは価値への利用可能なアクセスを失う——可能性です。 スマートコントラクトリスクは、「チェーンがコインを忘れた」ことではありません。

定義

スマートコントラクトリスクとは、入金・承認・相互作用の時点であなたが意図していなかった結果を、オンチェーンのプログラム挙動、その依存関係、そのオラクル、またはその管理者/アップグレード権限が生み出すことで、価値を失う——あるいは価値への利用可能なアクセスを失う——可能性です。

平易に言うと:

スマートコントラクトリスクは、「チェーンがコインを忘れた」ことではありません。 あなたが権限を与えたコード——あるいは入金後にルールを書き換え得るコード——が、その自身の論理のもとで価値を動かし、凍結し、誤って値付けし、または抜き取るリスクです。

カストディは誰が使えるかを問います。スマートコントラクトリスクは、触れるプログラムが何を許されているか、世界について何を仮定しているか、そして後から誰がそのルールを変えられるかを問います。

取引における意味

本当の取引の問い

この枠について、コントラクト、信頼面(オラクル、アップグレード、管理者)、そしてそれらの面が失敗してもなお生き残れる損失の形を、私は名前で挙げられるか——それとも「監査済み/高TVL/馴染みのロゴ」を測定の代わりに扱っていないか?

入金ごと、承認面ごとに答えてください。アップグレードのあと、オラクル変更のあと、サイズが跳ねたあとに、もう一度答えてください。あらゆるDeFi相互作用に同じスローガンを当てはめることこそ、本ページが残していく「認識だけの罠」です。

ひとつに潰されがちな二つのメーター

市場全体の「ハック」見出しDeFiプロトコル枠
ドル損失をしばしば支配するもの鍵、署名者、ウォレット基盤、フロントエンド、管理者の侵害プロトコルの論理と経済的仮定
インシデント件数をしばしば支配するもの混在;コードバグはなお頻繁論理、アクセス制御、オラクル、会計経路
トレーダーの誤り損失の話をすべて「コントラクトは危険だからDeFiを避ける」と読む監査バッジをすべて「コードリスクは閉じた」と読む
有用な応答会場と鍵のためのカストディメーターを保つ入金のためのコントラクト/オラクル/アップグレードメーターを保つ

どちらのメーターも本物です。混ぜると誤ったヘッジになります。CeFiの鍵盗難がニュースを埋めたからといってすべてのプロトコルを過小サイズにするか、「今年盗まれた価値の大半は鍵だった」からといってボルトを過信するかです。

近年の業界集計の有界な読み方:市場全体では、インフラと鍵の侵害がしばしば大半の価値を占めます。一方で、DeFiプロトコル損失の内部では、論理がしばしば損失質量の大半を占めます。両方の事実を使ってください。一方を選んで他方を捨てないでください。

分類法(クラスであり、単一の「ハックされた」旗ではない)

クラス壊れるもの損失の現れ方
アクセス制御特権関数が誤った当事者から呼べるミント、一時停止、アップグレード、価格設定、抜き取り経路が開く
ビジネスロジック意図したルール ≠ コード化されたルール誤った報酬、誤った担保計算、壊れた清算またはミント/償還
リエントランシ/外部呼び出し状態が確定する前に制御が渡される繰り返し出金、関数横断の再入、フックのコールバック
算術/丸め/シェア固定小数点、手数料、シェア、または準備金の数学がずれる静かな価値漏出;極端状態が1wei誤差を増幅する
オラクル/薄い流動性安全論理が動かせる、または古い価格を信頼する水没した借入、不公正な清算、膨らんだ担保
フラッシュローン増幅同一トランザクションの資本が弱い仮定を破るまで押す根のバグはすでにあった;一時資本がそれを支払わせた
プロキシ/アップグレード可能性実装、または初期化/管理者経路が弱い論理の書き換え、未初期化の請求、ストレージ破損
Griefing/DoSきれいな「盗み」なしに可用性または退出が塞がれる出金が詰まる、清算が詰まる、分配がリバートする

OWASP風のTop 10リストは年ごとに順位が入れ替わります。アクセス制御、ビジネスロジック、オラクルは上位近くに留まります。フラッシュローンが介在する経路とプロキシ/アップグレードの区分は、実務の面として上がってきました。リストを監視メニューとして扱い、ビンゴカードとしては扱わないでください。

二次の面(経験あるサイズが本当に死ぬところ)

教科書のリエントランシだけがメーターではありません。玩具サイズを離れると、次の二次経路のほうが通常より重要です。

  1. コンポーザビリティ — あなたのボルト自体は問題なくても、一度も見直していないピアプール、ラッパー、またはブリッジを基準にシェアを値付けするまで大丈夫に見えます。
  2. 監査スコープの隙間 — 「監査済み」プロトコルの多くの事後分析では、攻撃経路が公開監査スコープのすべての外にあり、またはレポートが一度も扱わなかった依存/keeper/フォワーダーにありました。
  3. 未検証または不一致のバイトコード — UI名 ≠ エクスプローラー上のアドレス ≠ プロキシがいま指している実装。
  4. 見直し窓口のないアップグレード — タイムロックなし、単一EOAのアップグレーダー、または入金後の静かな実装差し替え。
  5. 緊急一時停止を信頼として扱うこと — 一時停止は抜き取りを止められますが、退出も閉じ込められます。スイッチを誰が持つかは、リスク価格の一部です。
  6. 部分抜き取り vs 全額抜き取り — あるバグは丸めを削り、あるものはプールを空にし、あるものは転送せずに資金を凍結します。平均的な見出しではなく、最悪の信頼できる形に合わせてサイズしてください。
  7. 古い「安全」なコントラクト — 古いデプロイは再び狙われます。インセンティブがそのアドレスになお残るなら、年齢は安全の後光ではありません。

ウォレット優先の会場に残る面

ウォレット優先の取引(edgeXのような会場を含む)は、あなたの承認が資金を動かすとき、「会社残高のIOU」リスクを下げます。それでもコントラクトリスクは、次のときに現れます。

  • あとからトークンを引き出せるspenderを承認する
  • ボルト、ブリッジ、またはストラクチャード商品に入金する
  • マッチングまたは決済が、あなたがマップしていないアップグレードまたはオラクル経路を持つコントラクトに依存する
  • 複製されたフロントエンドが、あなたが検証したアドレスとは別のアドレスに対する署名を求める

チェックリストが「ノンカストディアルか?」だけを問うなら、あなたはなお古いメーターの上にいます。

計算シーン(スローガンではなく判断)

A — フラッシュローン圧力下の丸め。

プールの出金数学が、極端なティックで誤った方向に丸めます。通常フローは問題なく見えます。同一トランザクションで借りた資本がその状態へプールを押し、差分を抜き取り、ローンを返済し、LPを不足させます。フラッシュローンは増幅器でした。バグは会計でした。

B — アクセス制御だった「オラクルハック」。

価格更新はkeeper/フォワーダー経路を通る想定です。弱いフォワーダーが攻撃者に`setPrices`へ到達させます。悪いマークを書き、それに対して開いて閉じ、去ります。フィードのブランドが根ではありませんでした。誰がフィードを書けるかが根でした。

C — 監査済みボルト、スコープ外の依存。

三つの監査PDFがドキュメントサイトにあります。抜き取りは、それらのレポートが一度もスコープしなかったライブラリヘルパーまたはブリッジ検証器を使います。「監査されていた」は真実であり、不完全でした。どのコミット、どのファイル、どの経済経路か、そしてその後何が変わったかを問ってください。

D — プロキシの初日 vs 二年目。

実装が凍結され、マルチシグ+タイムロックが公開されていたときに入金サイズを決めました。六か月後、短い窓口と新しいロール付きのアップグレードが入ります。同じプロキシアドレス;違う信頼面です。昨年のテーゼを引き継がず、再アンダーライトするか退出してください。

モニタリング(何を反証するか)

バッジではなく、確認できる事実に対して、重要なコントラクト枠ごとに採点してください。

モニター合格の見え方不合格の見え方
アドレスマッププロキシ vs 実装 vs spenderを名前で挙げられる「サイトのコントラクト」、未検証
権限マップアップグレード、一時停止、ミント、オラクル書き込みのロールが分かっている説明できない単一の神キー「owner」
アップグレード経路タイムロック/マルチシグ/差分公開の文化静かなEOAアップグレード
オラクル設計サイズが必要とするところで集約/TWAP/鮮度/偏差上限清算のための薄いプールからの同一txスポット
監査衛生スコープ、日付、コミットハッシュ;バウンティがなお生きているロゴの壁;スコープなし;レポート後にコードが動いた
コンポーザビリティ枠が依存する外部プール/ブリッジが分かる名前を挙げられない入れ子のラッパー
アローワンス面最小権限;定期的な取り消しあらゆるルーターへの永久の無制限承認
退出ドリル最近小さな出金が通った入金だけの筋肉記憶
インシデント姿勢一時停止がスコープ済み;監視;公開ポストモーテムの習慣安全性の証明としてのTVL

条件付き既定(ここから始め、その後調整)

  1. コントラクトアドレスと、誰がアップグレードできるかを名前で挙げられないなら → その枠をスケールしない。
  2. 安全上重要な価格付けが同一トランザクションの薄いプールのスポットを読むなら → 証明されるまで清算/ミント/償還経路を敵対的として扱う。
  3. 唯一の安心がスコープもコミットもない「監査済み」なら → 監査をメーターではなくマーケティングとして値付けする。
  4. 入金後にアップグレードが入ったなら → 連続性を仮定せず、再アンダーライトする。
  5. フラッシュローン規模の資本が、依存するオラクルまたはシェア数学を動かせるなら → その資本が現れる前提でサイズする。
  6. ホット取引とプロトコル入金が無制限承認を共有しているなら → 同じ週のうちに面を分ける。
  7. サイズが急に上がったなら → UIが変わっていなくてもマップをやり直す。

設計の動き

  1. 取引フロートの承認と、待機プロトコル入金を分ける。
  2. 「接続して祈る」より、既知の出典から貼り付ける検証済みアドレスを優先する。
  3. 各プロトコル枠を、生き残れる損失の形(削り取り vs 空にする vs 凍結)で上限する。
  4. スケールする前に、小さな出金をリハーサルする。
  5. 古い無制限アローワンスをスケジュールどおり取り消す。
  6. コントラクトアドレス、アップグレード方針、監査スコープを公開する会場とプロトコルを好む——そのうえで、なお自分のモニターを回す。
  7. 短いストレス順を書く:アップグレードまたはオラクル警報が鳴ったら、どの枠を先に退出するか。

この枠組みの限界

本ページは、ビルダー向けの専門監査、形式検証、またはインシデント対応の代わりにはなりません。あらゆるチェーン、ブリッジ、またはL2ファイナリティの癖を値付けもしません。フィッシングを無視して悪意あるspenderに署名すれば、枠を救えません。近隣のメーター——カストディ、承認、MEV、プロトコル vs プラットフォーム vs ユーザーリスク——はなお当てはまります。あらゆるオンチェーン損失をひとつの語に潰すのを止めるために、この分類法を使ってください。

混同しないでください

  • カストディリスク — 支出権限/カウンターパーティ対オペレーターの失敗;プロトコル入金と積み重なるが、同じメーターではない。
  • トークン承認リスク — あとからの引き出しを可能にし得るアローワンス;しばしばコントラクトリスクへの入口であり、搾取ツリー全体ではない。
  • 価格リスク — コード挙動と制御がそのままでも、マークは動き得る。
  • 流動性/スリッページリスク — 市場でサイズを退出できないこと ≠ プログラム論理によるボルトの抜き取り、凍結、または誤値付け。
  • MEV/サンドイッチ — 取引まわりの順序付けと抽出;オラクル/スワップ設計に触れ得るが、なお論理バグの同義語ではない。

次のステップに進みますか?

このページの公式リンクから登録または取引に進めます。

edgeXで取引を始める

免責事項

本コンテンツは学習を目的としたものであり、投資助言ではありません。デジタル資産やデリバティブの取引にはリスクが伴います。取引の前に商品内容を理解し、ご自身の状況を踏まえてご判断ください。