要旨：マルチエージェント確定的GLP（madGLP）は、非同期メッセージ送信のみで通信するエージェントとしてグラスルーツ・ロジック・プログラム（GLP）を実行し、公平な配信を前提としています。すなわち、送信されたすべてのメッセージは最終的に必ず届けられます。各エージェントは個人のスマートフォン上で動作し、その識別子は本人の公開鍵によって指定されます。グラスルーツ型プラットフォームは、ネットワーク以外にグローバルなリソースを必要としないため、エージェント間の通信はBluetooth Low Energyやローカルネットワーク、さらにはNAT越しのインターネットにおいて、誰でも運用可能なランデブー・サーバーを介して行われなければなりません。しかし、このようなネットワークがmadGLPに対して何を要求し、またプラットフォームがネットワークに対して何を要求するのかについては、これまで明確に定義されていませんでした。そこで本研究では、madGLPの下層に位置するネットワーキング層を規定します。GLPで実現可能なことはすべてGLPで実現され、この層が提供するのは、GLPではカバーできない部分――すなわちネットワークスタック、位置情報サービス、アプリケーションの証明、および暗号プリミティブ――に限られます。3つのトランスポート・アンダーレイは同一のインターフェースを共有します。PANおよびLAN上では、エージェントは自身の鍵と時間スロットから導かれる回転式の認識トークンを広報し、鍵を知る相手は接触前にそれを認識できる一方で、それ以外の者は追跡できません。未認識の接続に対して応答するかどうかは、GLPによって設定されるアンダーレイごとの信頼レベルに依存します。WAN上では、ランデブー・サーバーは静的アドレスを持つホストであり、ヘッドレス層とGLPのランデブー・エージェントを稼働させ、ホール・パンチングを調整しますが、ペイロードを中継することはありませんし、いかなるソーシャルグラフにも属しません。いずれのアンダーレイにおいても、対等なピア間でEd25519鍵に基づく相互認証済みのNoiseセッションを確立した後、ハンドシェイクのハッシュに紐づけて、各々が開発者の鍵で公開されたアプリケーションを実行していることを証明します。これはAppleやGoogleのルート証明書を用いて第三者を介さずに検証され、さらに第三者の介入なしに実施されます。UDPデータグラムおよびGATT書き込みを用いた単一のメッセージプロトコルにより、madGLPは公平で無秩序かつ原子的で認証された配信を実現します。 仮定します。
投稿履歴
論文へのアクセス：
PDFを表示
HTML（実験的）
TeXソース
追加機能
音声要約
現在の閲覧コンテキスト：
参考文献・引用
Google Scholar
Semantic Scholar
ブックマーク
機関
arXivLabsは、共同作業者が当社のウェブサイト上で新しいarXiv機能を直接開発・共有できるフレームワークです。
arXivLabsを利用する個人および組織は、オープン性、コミュニティ、卓越性、そしてユーザーデータのプライバシーという当社の価値観を積極的に受け入れ、尊重しています。arXivはこれらの価値観に固くコミットしており、それらを遵守するパートナーのみと協力しています。
arXivのコミュニティに価値をもたらすプロジェクトのアイデアをお持ちですか？arXivLabsについて詳しくご覧ください。