本文へ移動
Financial Context Wiki

データ可用性サンプリング（DAS）

確率的なデータ可用性サンプリング、消失訂正符号化、コミットメント、サンプリングモデル、PeerDAS のセルと列、カストディ、ピアの独立性、再構築の限界を検証優先で解説します。

更新日

教育目的の情報であり、投資またはセキュリティに関する助言ではありません。DAS の結論は確率的であり、厳密な符号化、サンプリング、ネットワーク、クライアント、フォークおよび敵対者の前提に左右されます。

直接の答え

データ可用性サンプリングでは、ノードがプロトコルで定められた、認証済みかつ消失訂正符号化済みのデータ単位の一部を要求し、コミットされた対象が再構築できるほど十分に公開されたかを確率的にローカル判断します。対象全体をダウンロードする必要はありません。サンプリングの成功によって信頼度が高まるのは、指定された符号化、再構築閾値、標本選択、ピアの多様性、時間制約、敵対者モデルの下に限られます。

KZG 証明やセル証明は、返された単位をコミットメントに結び付けますが、十分な数の他の単位が存在することまでは証明しません。ローカルでのサンプリング合格は、ネットワーク全体での再構築、実行の妥当性、コンセンサスのファイナリティ、ロールアップの決済、利用者の退出、恒久的なアーカイブを自動的に証明するものではありません。PeerDAS は、フォーク固有の列、セル、カストディグループ、サンプリング、ネットワーク、フォーク選択規則を持つ具体的な Ethereum の設計であり、現行パラメータは普遍的な DAS 定数ではありません。

仕組み

  1. 対象と仕様の正確なスナップショットを固定します。チェーン、ネットワーク、フォーク、クライアント、仕様改訂、スロット、ブロックルート、blob コミットメント、元データと拡張後の次元、セル、行、列、カストディグループの定義、ノードが下すべき可用性判断を記録します。
  2. 符号化と再構築の規則を検証します。消失訂正拡張アルゴリズム、コミットメント方式、元の単位数と符号化後の単位数、対象の復元に必要な最小単位数、不正な拡張を拒否する方法を記録します。再構築を妨げるほどの単位が秘匿された場合に検出可能な領域が生じて初めて、サンプリングには意味があります。
  3. 標本母集団と手順を定義します。母集団の大きさ、利用不能または秘匿された集合、標本数、復元抽出か非復元抽出か、乱数源、重複排除、カストディ義務、ピア選択、タイムアウト、再試行を記録します。カストディ割当と無作為標本は異なる証拠です。
  4. 計算前に確率モデルを明示します。固定秘匿割合を f、独立かつ一様な復元抽出の回数を s とする簡略モデルでは、P_miss = (1 - f)^s です。非復元抽出では有限母集団の組合せ比を用います。ピア間の相関、偏った乱数、エクリプス攻撃、適応的な応答、再試行の選別があれば、この単純なモデルは成り立ちません。
  5. プロトコルの期限内に多様なピアから取得します。正規のヘッダーと blob の包含、コミットメント、インデックス、KZG セル証明、応答バイト列を検証し、欠落、無効、遅延した応答を分けて記録します。同じ列を繰り返し要求したり、同一の制御基盤に問い合わせたりしても、新たな独立証拠にはなりません。
  6. 対象プロトコルのローカル可用性規則とフォーク選択規則を適用し、その後にネットワークへの伝播と再構築、実行の妥当性、安全および確定済みのコンセンサス状態、提供の保持期間、アーカイブ状態を別々に記録します。ローカル合格を、プロトコルが保証していない主張に格上げしてはいけません。
  7. データ秘匿、不正な符号化、無効な証明、エクリプス攻撃と Sybil 攻撃、選択的または適応的な応答、相関サンプリング、ピアとサブネットの分断、タイムアウト、プルーニング、パラメータと blob スケジュールの変更、再編成、クライアント間の不一致を演習します。収集単位から実際に再構築し、要求、応答、証明、バージョン、アーカイブの証拠を保存します。

計算例

  • 独立な復元抽出。 簡略モデルで単位の 50% が秘匿され、ノードが独立かつ一様な復元抽出を 30 回行うとします。見逃し確率は 0.5^30 = 0.0000000009313225746、検出確率は 99.9999999069% です。これは説明用モデルであり、稼働中の PeerDAS や他ネットワークのサービス保証ではありません。
  • 見逃し確率の目標設定。 同じ独立モデルで秘匿割合が 25% のとき、見逃し確率を 0.000001 以下にするには、標本数は ceil(log(0.000001) / log(0.75)) = 49 です。48 回では見逃し確率が 0.75^48 = 0.0000010067940558701114 で目標を上回りますが、49 回なら 0.75^49 = 0.0000007550955419025835 です。
  • 非復元抽出。 有限母集団に 128 列があり、64 列は提供可能、64 列は秘匿されているとします。異なる列を非復元で 8 本抽出して秘匿集合をすべて見逃す確率は C(64,8) / C(128,8) = 0.0030958642767920487、検出確率は 99.6904135723% です。これは 0.5^8 = 0.00390625 と異なり、一様な選択と静的な秘匿をなお仮定しています。
  • Fulu パラメータのスナップショット。 2026-08-12 時点で確認した Fulu 仕様では、NUMBER_OF_COLUMNS = 128、SAMPLES_PER_SLOT = 8、NUMBER_OF_CUSTODY_GROUPS = 128、CUSTODY_REQUIREMENT = 4 です。最小サンプリング比率は 8 / 128 = 6.25%、最小カストディ比率は 4 / 128 = 3.125% です。ノードが 12 グループをカストディし、標本数が 8 と 12 の大きい方なら、要求比率は 12 / 128 = 9.375% です。これらはバージョン依存のプロトコルパラメータであり、永続的またはプロトコル横断的な保証ではありません。

リスク

  • 間違ったチェーン、ネットワーク、フォーク、スロット、ブロック、データ対象をサンプリングすること。
  • 古い、非正規、または再編成で置き換えられたヘッダーとコミットメントを信頼すること。
  • 不正または誤って消失訂正拡張されたデータを用いること。
  • 無効な KZG 証明、セル証明、包含証明を受け入れること。
  • コミットメントの真正性を可用性の証明とみなすこと。
  • 脅威モデルに対して標本数が不足すること。
  • 復元抽出の式を非復元抽出に使う、またはその逆。
  • 偏った、予測可能な、または操作可能な乱数を使うこと。
  • 重複単位や再試行を独立標本として数えること。
  • 相関するピア、サブネット、カストディグループ、制御基盤から抽出すること。
  • サンプラーを隔離するエクリプス攻撃や Sybil 攻撃を受けること。
  • 標本選択の判明後に選択的または適応的な応答を許すこと。
  • タイムアウト、輻輳、クライアント障害をデータ秘匿と誤認すること。
  • 決定論的なカストディ割当を無作為サンプリングと混同すること。
  • 再構築閾値に合わない秘匿割合を仮定すること。
  • CPU、メモリ、帯域幅、実装上の制約により再構築できないこと。
  • ゴシップ、要求応答、サブネット、クロスシーディングが機能しないこと。
  • ローカル合格をネットワーク全体の可用性と復元可能性に外挿すること。
  • DAS を実行の妥当性、コンセンサスのファイナリティ、決済、退出と混同すること。
  • 保持、アーカイブ、フォールバック、フォーク、blob スケジュール、パラメータ変更を見落とすこと。

よくある誤解

  • 一度サンプリングに成功すれば、対象全体が利用可能だと証明される。
  • KZG 証明やセル証明そのものがデータ可用性証明である。
  • 要求を増やせば、必ず独立した証拠が増える。
  • DAS は実行を検証し、チェーンを確定させる。
  • 現在利用可能なデータは恒久的に保存される。

関連トピック

出典

ナビゲーション

Wiki を検索...