イーサリアムのシャーディング実装において、データの可用性を検証するために用いられる技術はどれか。

DASは、ノードがデータの一部をランダムにチェックすることで、全体のデータが存在することを保証する。