Polkadot のコア コントリビューターであり、DF の助成金受給者である @MLabs10 は、リレー チェーンのセキュリティと信頼性を確保するために、GRANDPA プロトコルの正式な検証を行っています ✅

GHOST ベースの再帰的祖先導出プレフィックス合意 (GRANDPA) は、Polkadot のコンセンサス メカニズムの重要なコンポーネントです。これにより、非同期、説明責任、安全なファイナリティが可能になります。

Cardano エコシステムからの貴重な経験を持つ MLabs は、このイニシアチブに対して 3 つのアプローチを採用しています:

🔹 序文 - 証明を初期構造化し、より扱いやすい補題に分割する

🔹 安全性 - GRANDPA プロトコルの安全性を証明し、ネットワークに害を及ぼすことなく機能することを保証する

🔹 活性 - プロトコルがあらゆる状況下で効果的に動作し続けることを保証する

👉 詳細については、@MLabs10 をフォローし、@Web3foundation の発表を確認してください。