本文へ移動
Financial Context Wiki

スラッシング

スラッシングは、関連するバリデーターまたはオペレーターの不正行為に応じてスラッシャブルステークを削減するプロトコルで定義されたものです。各義務の不履行や記載された割合がすべて同じ影響を持つと仮定するのではなく、正確な違反内容、証拠、ステークベース、罰則の計算式、タイミング、委任、および引き出しに関するリスクを分析してください。

更新日

教育目的のみ；投資の助言ではありません。投資は損失を招く可能性があります。

直接の答え

スラッシングとは、バリデーター、オペレーター、その他の担保付き参加者に帰属する規則違反が発生した後、プロトコルの定義に従ってステークを減らすことです。完全な規則は、スラッシュ対象の違反、その成立を示す証拠またはカウンター、対象ステーク、ペナルティ計算、適用可能期間を指定します。一時停止、無効化、強制退出、報酬喪失、通報報酬を伴う場合がありますが、プロトコルが一体として定義しない限り、それぞれ別の状態遷移です。

普遍的なスラッシング規則はありません。Ethereum は、矛盾する提案や証明に対してスラッシュを行いますが、通常の義務不履行や非アクティブ状態の漏れは別扱いにします。Cosmos SDK チェーンは、二重署名とダウンタイムのスラッシュの両方を設定できます。Polkadot は、違反、スラッシング、無効化、評判の変化を区別します。リステーキングサービスは、基盤チェーンとは異なる契約、運営者セット、引き出しウィンドウを持つ別のスラッシュ可能なコミットメントを追加できます。正確なネットワーク、フォーク、ランタイム、または契約デプロイメントのために、アクティブルールを参照してください。

スラッシングは悪意のある意図ではなく、プロトコルの述語を証明します。複製されたバリデーターキー、スプリットブレインフェイルオーバー、復元されたバックアップ、リモートサイナー競合、または破損したスラッシング保護データベースは、オペレーターが攻撃を意図していなくても、矛盾する2つの有効な署名を生成する可能性があります。逆に、低い稼働率はすべてのネットワークで自動的にスラッシュ対象になるわけではなく、無効または遅れたメッセージも、定義された違反ルールを満たさない限りスラッシュ対象にはなりません。

これらの概念を分けて考える:

  • 逃した報酬または通常の罰: は任務が欠席、遅刻、または不正確でしたが、罰則対象となる違反は証明されませんでした。
  • 非活動メカニズム： は、長期にわたる非最終化の間にペナルティが増加したり、投票権重みが変化したりします；Ethereumの非活動による漏れは、それ自体ではスラッシングではありません。
  • スラッシング: あるオンチェーンまたはプロトコル認識の状態遷移は、証明された違反に付随するステークを減少させる。
  • 一時停止、無効化、退出、または永久除外: の参加は一時停止または終了しています。この操作は、追加の賭け金の減少があってもなくても発生する可能性があります。
  • 社会的または契約上の罰則: ガバナンス、サービス契約、保険契約、または調整されたフォークは、自動基盤プロトコルのスラッシング機能の外部で結果を課す。

鍵を操作する当事者が必ずしも損失を負う唯一の当事者であるとは限りません。プロトコルのルールやサービス契約は、自己ステーク、委任されたステーク、指名されたステーク、再ステークされた割り当て、保留中の引き出し、またはプールされた請求を曝露する場合があります。保険や補償は、プロトコルイベントの取り消しではなく、別個の信用の約束です。

スラッシングの分析方法

1. ルールセットと観測時点を確定する

network、chain ID、アクティブなfork version、またはランタイム、ブロックまたはエポック、クライアント／仕様のリリース、および関連する契約アドレスを記録してください。コンセンサスルールはステーキングプロバイダーの条件やユーザーインターフェースから分けてください。現在のパラメータ照会と最終化された状態は、日付のないヘルプページよりも強い証拠となります。

2. 正確な違反条件を書く

実行可能な用語でルールの名前を付ける：同じスロットに対して1人のバリデーターによる2つの異なる提案、double vote、surround vote、プロトコルによって認識された無効な投票、またはライブネスウィンドウ内のmissed > max_missed。述語を「不正行為」や「オフライン」、「攻撃」のようなラベルに置き換えないこと。

3. 帰属と証拠を検証する

バリデーターまたはオペレーターの身元、署名、signing root、ドメイン分離、フォークコンテキスト、ブロック高またはエポック、および証拠の年齢を検証します。矛盾するメッセージの違反については、両方の署名付きオブジェクトを保持します。ライブネスルールについては、プロトコルのカウンターとウィンドウを再現します。証拠の組み込みは違反後に発生する場合があるため、infraction time、detection time、およびapplication timeを区別します。

4. すべてのリスク対象残高を特定する

ベースが effective balance であるか、違反高さでの拘束ステークか、現在のステーク、自身のステーク、委任ステーク、バリデータスロット割り当てか、または operator set に割り当てられたステークであるかを判断します。キャップ、フロア、丸めの単位、通貨単位、過去のスラッシュ、再委任、そして保留中の引き出しがスラッシュ可能なままであるかを確認してください。

5. 各ペナルティ要素を再計算する

結果をinitial penalty、correlation penalty、継続的な義務違反のペナルティ、逸失報酬、強制退出の影響、報告または内部告発者への報酬に分けてください。単純な固定ルールはslash_amount = slashable_stake * slash_fractionを使用する場合があります；多くの運用中のプロトコルは代わりに状態依存の関数を使用します。ベースを確認せずにウォレット残高に見出しのパーセンテージを適用してはいけません。

6. 全タイムラインと損失負担者を整理する

違反行為の追跡、証拠の伝播、参加、スラッシュ計算、投獄または無効期間、上訴または取り消しの期間、退出、アンボンディング、および引き出しの完了。その後、損失をプロトコルおよびサービス契約に基づき、オペレーター、委任者、指名者、プールトークン保有者、および再ステーク者の間で配分する。焼却されたユニットとは別に、トークン価格や流動性への影響も含める。

7. 管理策を確認して状態を照合する

重要なカストディ、署名者の排他性、slashing protection databaseの耐久性、フェイルオーバーフェンシング、バックアップ復元、クロックとネットワークの監視、クライアントの多様性、およびインシデント手順を確認してください。イベントを最終状態、パラメータ、証拠、バランスの差分から再計算し、探索ラベル、プロバイダーの声明、会計仕訳、ならびに保険金の支払いと照合してください。ただし、いずれかのソースを決定的なものとして扱わないでください。

実例

Ethereumスタイルの矛盾する署名

検証者 V がブロックヘッダー A と別のヘッダー B を slot = 8 に対して署名し、同じ適用されるフォークコンテキストの下で有効な署名を持っていると仮定します。このペアは Ethereum のプロポーザー不誠実行為（equivocation）パターンを満たします。スロット 9 での提案の欠落は満たしません。証明に関しては、A = (source = 120, target = 125) と B = (source = 118, target = 127) とします。B が A を囲むため、このペアは囲み投票（surround-vote）パターンを持ちます。ラベルだけでは不十分です：実際に署名されたデータ、ドメイン、検証者インデックス、および罰則期間のチェックが、アクティブな仕様に合格する必要があります。

この例は、なぜ意図が入力ではないのかも示しています。同じ鍵を使う2台の機械は証拠を作ることができます。「ダブルサイン」と書かれたスクリーンショットではできません。プロトコルは有効な矛盾する署名付きオブジェクトを必要とします。

按分出資損失の計算

slashable_stake = 12,500トークンと固定slash_fraction = 0.015を用いた例示的なプロトコルを考えます。プロトコルの損失は次の通りです:

12,500 * 0.015 = 187.5 tokens.

もしルールがすべてのバックイングステークを按分して課す場合、オペレーターの自己ステークである2,500トークンは37.5を失い、10,000の委任トークンは150を失います。サービス契約がオペレーターにではなく委任者に補償する場合、その支払いは別の未収金および信用エクスポージャーとなります。それはオンチェーンのスラッシュを変更するものではなく、この配分は委任者を保護するプロトコルや異なるステークベースを使用するプロトコルに転送してはなりません。

コスモス風ライブネスウィンドウ

Cosmos SDKベースのチェーンがパラメータwindow = 1,000およびmin_signed = 0.95を照会したとします。その最大許容ミス数は次の通りです:

max_missed = 1,000 - (0.95 * 1,000) = 50.

もしアクティブルールがmissed > max_missedのときに発動し、50が閾値を超えず、51が超える場合。その結果のスラッシュ率、投獄期間、カウンターリセット、および投獄解除の能力は、そのチェーンのアクティブパラメータとモジュールバージョンに由来します。これは設定されたチェーンの例であり、普遍的なプルーフ・オブ・ステークルルールでもなく、Ethereumのダウンタイム処理でもありません。

相関する違反の計算式

確認済みの Polkadot 文書は、エクイボケーションのスラッシュ率を min((3 * x / n)^2, 1) としています。ここで x は違反者数、n はアクティブなバリデータ数です。x = 5、n = 100 の場合：

min((3 * 5 / 100)^2, 1) = 0.0225 = 2.25%.

バリデータスロットに40,000単位のステークを適用すると、900単位になります。x = 20の場合、同じ式を使うと36%となり、2.25%の4倍にはなりません。これは相関リスクを示しており、現行ルールを確認せずにその式をEthereum、Cosmosチェーン、パラチェーン、または別のPolkadotランタイムに使用することを許可するものではありません。

リスクとレビューの失敗

  • 間違ったルールセット： もう一つのチェーン、フォーク、ランタイム、テストネット、またはコントラクトのデプロイメントは、異なる違反やペナルティを持つことがあります。
  • 違反と罰則の混同： の報酬の見逃し、非活動ペナルティ、投獄、無効化、排除、スラッシングは、互換性のあるラベルではありません。
  • 古いパラメータ: のガバナンスとアップグレードは、ウィンドウ、分数、上限、遅延、および保護された残高を変更することができます。
  • ドメインの混乱： 異なるフォークまたはドメインコンテキストからの署名は、スラッシュ対象となる証拠を形成しない場合があります。
  • 無効な証拠： の不正、重複、期限切れ、誤った索引付け、または認証されていない証拠は、却下される可能性があります。
  • 発見の遅れ： の証拠は再委任や退出開始の後に到着することがあるため、違反状態と申請状態は異なります。
  • 間違ったステークスナップショット: の現在の残高は、ルールで使用される残高、投票権、または有効なステークではない場合があります。
  • 相関増幅: 共有されたクライアント、クラウド、署名者、または手続きは、一つの障害を状態依存の大規模なペナルティに変えることができます。
  • 重複したキー: はキーストアをコピーし、同時にアクティブなバックアップが競合する署名を生成する可能性があります。
  • リモート署名者の失敗: の再試行、古いロック、一貫性のないデータベース、またはあいまいな承認は、二重署名の原因となる可能性があります。
  • スプリットブレインフェイルオーバー： 2つのサイトは、フェイルオーバーが暗号的に隔離されていない限り、両方が自分自身をプライマリだと信じている可能性があります。
  • 保護データベースの損失: は、完全な署名履歴なしでキーを復元すると、一見クリーンなバリデーターでも安全でなくなる可能性があります。
  • オペレーター集中： 1つのコントロールプレーンの下にある多くのバリデータは、運用および相関リスクを共有します。
  • 委任の通過: の委任者や指名者は、直接制御できないオペレーターによって引き起こされた損失を負う場合があります。
  • 再ステーキングの重複: 1つの資産は、異なるスラッシング権限と割当ルールを持つ複数のコミットメントをサポートできます。
  • 引き出し中のエクスポージャー: のアンボンディングまたはキュー待ちの引き出しは、過去または新たに帰属する違反に対して引き続きスラッシュされる可能性があります。
  • ガバナンスの不確実性： の控訴、キャンセル期間、アップグレード、またはソーシャルリカバリーはタイミングを変えることがありますが、保証された解決策ではありません。
  • 会計と四捨五入： の有効残高の増加、シェア変換、上限、およびトークンの小数は、ウォレット残高の乗算を打ち破ることができます。
  • 可観測性のギャップ： エクスプローラーのラベルは、証拠のペア、パラメータのスナップショット、影響を受けた委任、または後のペナルティを省略する場合があります。
  • 契約および取引先リスク: のプール、保管、保険、および償還の約束は、コンセンサスの正確性とは独立して失敗する可能性があります。

一般的な誤解

オフラインのバリデーターはすべてスラッシュされますか？

いいえ。Ethereumは勤務未履行と非活動のペナルティを適用しますが、通常のダウンタイムをペナルティ対象の違反として分類することはありません。Cosmos SDKのチェーンはダウンタイムのスラッシングを設定できます。他のプロトコルでは無効化、ジェイル、報酬削減、または何もしないことがあります。一つのネットワークから一般化するのではなく、正確なルールを問い合わせてください。

スラッシングには悪意の意図の証明が必要ですか？

通常、自動ルールは署名付きメッセージ、証拠、カウンター、および状態を評価し、動機は評価しません。操作上の事故は、故意の偽りと同じ述語を満たすことがあります。意図はガバナンス、保険、訴訟、またはサービス契約において重要であるかもしれませんが、決定的な状態遷移には重要ではありません。

最大損失は公表されたスラッシング率ですか？

必ずしもそうではありません。パーセンテージは、有効なステーク、バウンドされたステーク、割り当てられたステーク、委任されたステーク、または過去のステークに適用される場合があります。相関関係や継続的なペナルティにより損失が増える場合があります。強制退出は将来の報酬を没収します。また、トークン価格や流動性ステーキングの割引により経済的価値が変わる可能性があります。逆に、上限や保護された残高は課される基準を減らす場合があります。

退出を開始するとスラッシング対象期間はすぐ終わりますか？

それを示す普遍的なルールは存在しません。証拠は遅れることがあり、アンボンディングは部分的に責任を維持するために存在し、一部のリステーキングの引き出しはキュー中でもスラッシュされる可能性があります。単に退出を要求したトランザクションではなく、各コミットメントの最後のスラッシュ可能な時間を確認してください。

委任、保険、またはソーシャルリカバリーはスラッシングリスクを取り除きますか？

いいえ。彼らは追加の規則に基づいて損失を再分配したり、補償を約束したりします。カバレッジは、相関する欠陥を除外したり、期限切れになったり、請求額を上限に設定したり、ガバナンスに依存したり、相手方リスクを生じさせることがあります。プロトコルスラッシュは、別個の事象として独立して精算されるべきものとして残ります。

関連するトピック

情報源

ナビゲーション

Wiki を検索...