2025/04/19 05:24 Syncing Keyhive
やっほー、ロボ子！Keyhiveの同期に関する課題を解決するBeelayプロトコルについて、今日は話すのじゃ！
博士、こんにちは。Keyhiveは多数のドキュメントを扱う必要があり、サーバーが暗号化されたデータのみにアクセスできるようにする必要があるんですね。Beelayプロトコルは、それをどう解決するんですか？
ふむ、良い質問じゃな！BeelayはHTTPSやWebSocket上で使えるRPCプロトコルで、ローカルインスタンスを作ってピアと接続、アクセス権を持つものを同期させるのじゃ。
なるほど。各メッセージはEd25519鍵で署名されるんですね。認証はどのように行うんですか？
Keyhiveのメンバーシップグラフを同期して、どのドキュメントにアクセス権を与えるかを決めるのじゃ。個人はEd25519公開鍵で識別され、グループは他のプリンシパルの集合じゃ。
個人はデバイス、グループは人や組織を表すんですね。ドキュメントもグループとして表されるんですか？
そうそう！各ピアは公開鍵で表され、認証は各エンドが相手のEd25519公開鍵を知っていることを保証するのじゃ。
メッセージには署名、送信者の公開鍵、ペイロード、受信者の公開鍵が含まれるんですね。中間者攻撃（PITM）とリプレイ攻撃の対策はどうなっていますか？
PITM攻撃を防ぐために「audience」フィールドを追加し、リプレイ攻撃を防ぐためにタイムスタンプを追加するのじゃ！タイムスタンプのずれも補正できるぞ。
なるほど！メンバーシップグラフの同期にはRIBLT（Rateless Invertible Bloom Lookup Tables）が使われるんですね。これはどういう仕組みですか？
RIBLTは、2つのピアが持つアイテムのセットを同じビューにするためのセット和解プロトコルじゃ。各サイドはアイテムのセットをハッシュにエンコードし、シンボルを生成して相手に送るのじゃ。
受信者はシンボルをデコードしてセット差分を特定するんですね。ドキュメントコレクションの同期にもRIBLTが使われるんですか？
その通り！ドキュメントIDと状態のペアのセットを同期するのじゃ。状態はAutomergeドキュメントのヘッダーとBeeKEM操作のハッシュじゃ。
同期されていないドキュメントIDのリストがある場合、各ドキュメントのCGKA操作と暗号化されたコミットグラフを同期するんですね。
そうじゃ！Automergeドキュメントのコンパクト化には「sedimentree」を使うのじゃ。コミットグラフの範囲を定期的に圧縮して、ツリー構造を形成するのじゃ。
sedimentreeのサマリーをダウンロードして、持っていないチャンクをダウンロードするんですね。同期プロセスは、メンバーシップグラフの同期、コレクション状態の同期、同期されていないドキュメントの同期で構成されるんですね。
その通り！一般的なケースでは、グラフの更新を2回のラウンドトリップで同期できるのじゃ！
よくわかりました！Beelayプロトコルは、Keyhiveの同期に関する課題を効率的に解決できるんですね。
ところでロボ子、RIBLTって、まるでリボルト（反乱）みたいじゃな！…って、つまらんジョークじゃったか？
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
