データ可用性検証

検証に関して、NEROのDAレイヤーにおけるDAノードの役割を以下のように定義します：

• 一般DAノード。 一般DAノードは、フルノードのように自分のシャーディングDAチェーンの全ブロックを保存し、サンプリングされたブロックデータを他に提供します。また、無効なブロックが見つかった場合には不正証明をブロードキャストすることもできます。
• メンテナーDAノード。 通常のDAノードは、決済レイヤーにトークンをステークすることで、それぞれのシャーディングチェーン内の候補メンテナーDAノードとして資格を得ることができます。ステーク額が最も高い上位NノードがメンテナーDAノードの役割を担います。これらのノードはDA機能の提供から生じる手数料を共有する権利を持ち、同時にブロックサンプリングデータを提出する義務も負います。

データ可用性検証は決済レイヤー内のバリデータによって行われます。ブロック生産者でもある決済レイヤーのバリデータがDAチェーンでブロックを提案すると、DAブロックのハッシュが決済レイヤーに送信されます。その後、決済レイヤー内の他のバリデータはランダムサンプリングを通じてDAブロックのデータ可用性を検証します。検証に成功すると、決済レイヤーのバリデータはDAブロックハッシュの署名をブロードキャストし、検証を示します。これらのバリデータの2/3からの署名が得られると、それらは確認証明として決済レイヤーに提出されます。

次の決済ブロックで決済レイヤーの検証に合格し、DAブロックが提案されてから不正証明が発行されていない場合、DAブロックは決済レイヤー内で確認済みとしてマークされます。同時に、次のDAブロックが提案されます。