D.A.G.G.E.R.をミツバチのアナロジーで解剖する

2023年12月17日 09:14

この記事はGenesysGoによる「Dissecting D.A.G.G.E.R. & The Bee Analogy」を日本語に機械翻訳したものです。

はじめに

この記事では、GenesysGoのDirected Acyclic Gossip Graph Enabling Replication Protocol（D.A.G.G.E.R.）を「ミツバチのアナロジー」を通して解析します。技術的な詳細については、D.A.G.G.E.R.のライトペーパーを参照してください。D.A.G.G.E.R.を体験したい方は、ハンマーテストネットゲームを試してみてください。

ミツバチのアナロジー

D.A.G.G.E.R.のミツバチのアナロジーでは、オペレーターは勤勉な蜂で、イベントは花です。各花（イベント）には、ユニークな花粉（メタデータ）があり、それは蜂（オペレーター）によって収集されます。蜂が草原（分散）に散らばっているとき、それぞれが重要な活動（モジュール）を行う能力を持っています。

コミュニケーションモジュール

蜂（オペレーター）は、花（イベント）の存在と場所について互いにコミュニケーションを取ります。これは、オペレーターが他のオペレーターとイベントに関する情報を交換する方法に似ています。

Verifier（サブモジュール）

Verifierでは、蜂（オペレーター）は収集した花粉（トランザクション）の品質とユニークさを検証します。これは、オペレーターが受信したトランザクションの真正性とユニークさを検証することに似ています。

Forester（サブモジュール）

Foresterでは、蜂（オペレーター）は花粉（トランザクション）を効率的な保存のためにハニカム（メルクルツリー）に整理します。これは、オペレーターがトランザクションを効率的な保存と検証のためにメルクルツリーにパッキングすることを表しています。

Graph Module

グラフモジュールでは、蜂（オペレーター）は収集した花粉（メタデータ）に基づいて、花（イベント）を訪問する順序を共同で決定します。これは、オペレーターがグラフを分析してイベントの合意された順序を導き出す方法を反映しています。

最終的な合意への導入「ハニー」

さらに、蜂（オペレーター）が正しい花粉（イベントEがイベントXを強く認識する）を見つけたと確信したい場合、それは特定の花（イベント）への道を花粉の軌跡（親関係と自己親関係）をたどって戻ります。蜂（オペレーター）が探索を終え、特定の花粉（メタデータ）を見つけ、イベントから特定の花粉への経路を確認し、訪問した花の三分の二以上にそれが含まれている場合、その蜂は花粉が強く存在する、または「強く認識される」と結論付けます。

巣（システム）が合意に達するためには、蜂（オペレーター）の大多数が花（イベント）の訪問順序に同意する必要があります。

この蜂のようなプロセスは非同期です。各蜂（オペレーター）は、特定の花粉（メタデータ）を独立して探し、蜂の巣（D.A.G.G.E.R.システム）の花の訪問順序に関する合意に貢献します。蜂の巣の花の訪問順序と花粉の品質に関する集合的な知識は、全ての蜂に共有され、知られている検証可能な台帳のようなものです。この場合、ハニーは合意されたトランザクションリストを表します。