データ可用性レイヤー（DAL）- ゴールドスタンダード技術記録
DALは、ネットワーク全体でのトランザクションデータの公開アクセスと検証可能性を保証し、不正証明、ステート検証、およびロールアップ、シャーディング、モジュラーデータネットワークを含む監査を可能にします。
データ可用性レイヤー（DAL）は、最新のブロックチェーンアーキテクチャ、特にロールアップやシャーディングチェーンのようなスケーリングソリューションにおいて重要なコンポーネントです。その主な機能は、ステート遷移に関連するトランザクションデータが公開され、すべてのネットワーク参加者、または少なくともそのかなりのサブセットがアクセス可能であることを保証することです。このアクセス可能性は、トラストレスな検証を可能にする上で極めて重要です。DALがない場合、例えばロールアップは、基盤となるトランザクションデータを公開せずに、ステート遷移ルートをメインチェーン（レイヤー1）に投稿することができます。これにより、独立した検証者がステートを再構築し、不正な遷移に異議を唱えることができなくなります。堅牢なDALは通常、ライトノードが少量のランダムなピースを要求することで、すべてのデータが公開されたことを確率的に検証できるデータ可用性サンプリング（DAS）のようなメカニズムを採用しています。一部のノードが失敗したり悪意を持ったりした場合でもデータを再構築できるように、誤り訂正符号がよく使用されます。トレードオフには、データ伝播のオーバーヘッドとストレージ要件の増加がありますが、セキュリティとスケーラビリティの向上とバランスが取られています。DALは、データ配信と検証の複雑さを抽象化する基盤レイヤーとして機能し、それによって他のレイヤー（例：実行レイヤー）が計算とステート管理に集中できるようになります。
graph LR
Center["データ可用性レイヤー（DAL）- ゴールドスタンダード技術記録"]:::main
Pre_cryptography["cryptography"]:::pre --> Center
click Pre_cryptography "/terms/cryptography"
Rel_data_availability["data-availability"]:::related -.-> Center
click Rel_data_availability "/terms/data-availability"
Rel_advanced_propulsion_systems["advanced-propulsion-systems"]:::related -.-> Center
click Rel_advanced_propulsion_systems "/terms/advanced-propulsion-systems"
Rel_execution_layer["execution-layer"]:::related -.-> Center
click Rel_execution_layer "/terms/execution-layer"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧒 5歳でもわかるように説明
本の内容（トランザクションデータ）が誰でも借りて検証できる公開図書館のようなものです。たとえ図書館自体が非常に忙しく、本を管理するために特別な近道を使っていたとしても。
🤓 Expert Deep Dive
DALのアーキテクチャ設計は、その有効性とセキュリティ保証の中心となります。Celestiaのようなプロトコルは、実行とデータ可用性を分離するモジュラーアプローチを採用しています。この分離により、計算とデータ伝播の独立したスケーリングが可能になります。主要なメカニズムには、ライトクライアントがサブ線形帯域幅でデータ可用性に対する高い信頼を得られるようにするデータ可用性サンプリング（DAS）が含まれます。Reed-Solomonコードのような誤り訂正符号はデータブロブに適用され、全データのごく一部から再構築することを可能にします。この冗長性は、ネットワークパーティションや悪意のあるアクターに対する耐性を高めます。セキュリティモデルは、バリデーターの大多数が正直であるという仮定と、ライトノードが確率的に可用性を検証できるという仮定に基づいています。脆弱性は、データ伝播を標的とする洗練されたサービス拒否攻撃や、DAL自体のコンセンサス障害から生じる可能性があり、データ隠蔽攻撃につながる可能性があります。トレードオフは、データ冗長性と伝播のコストと、提供されるセキュリティ保証の間のものです。