論文の概要: Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language

• arxiv url: http://arxiv.org/abs/2510.15747v1
• Date: Fri, 17 Oct 2025 15:34:27 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-20 20:17:34.683666
• Title: Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language
• Title（参考訳）: Grassroots Logic Programs: セキュア、マルチエージェント、並行、論理プログラミング言語
• Authors: Ehud Shapiro,
• Abstract要約: Grassrootsプラットフォームは、暗号化された人々によって、ネットワーク化されたパーソナルデバイス上で実行される分散アプリケーションである。 本稿では,草の根プラットフォームを実装するためのセキュアでマルチエージェントな並列論理型言語であるGrassroots Logic Programs (GLP)を紹介する。 本稿では、ピアツーピア接続を認証し、セキュアな草の根ソーシャルネットワーキングアプリケーションを示す草の根ソーシャルグラフプロトコルを提案する。
• 参考スコア（独自算出の注目度）: 1.8021287677546953
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Grassroots platforms are distributed applications run by\linebreak cryptographically-identified people on their networked personal devices, where multiple disjoint platform instances emerge independently and coalesce when they interoperate. Their foundation is the grassroots social graph, upon which grassroots social networks, grassroots cryptocurrencies, and grassroots democratic federations can be built. Grassroots platforms have yet to be implemented, the key challenge being faulty and malicious participants: without secure programming support, correct participants cannot reliably identify each other, establish secure communication, or verify each other's code integrity. We present Grassroots Logic Programs (GLP), a secure, multiagent, concurrent, logic programming language for implementing grassroots platforms. GLP extends logic programs with paired single-reader/single-writer (SRSW) logic variables, providing secure communication channels among cryptographically-identified people through encrypted, signed and attested messages, which enable identity and code integrity verification. We present GLP progressively: logic programs, concurrent GLP, multiagent GLP, augmenting it with cryptographic security, and providing smartphone implementation-ready specifications. We prove safety properties including that GLP computations are deductions, SRSW preservation, acyclicity, and monotonicity. We prove multiagent GLP is grassroots and that GLP streams achieve blockchain security properties. We present a grassroots social graph protocol establishing authenticated peer-to-peer connections and demonstrate secure grassroots social networking applications.
• Abstract（参考訳）: Grassrootsプラットフォームは、ネットワーク化されたパーソナルデバイス上で、暗号化された人々によって実行される分散アプリケーションである。 その基盤は草の根社会グラフであり、草の根はソーシャルネットワーク、草の根は暗号通貨、草の根は民主的な連邦を構築することができる。 セキュアなプログラミングサポートがなければ、正しい参加者はお互いを確実に識別できず、セキュアなコミュニケーションを確立したり、相互のコードの完全性を検証することはできない。 本稿では,草の根プラットフォームを実装するためのセキュアでマルチエージェントな並列論理型言語であるGrassroots Logic Programs (GLP)を紹介する。 GLPは、ペア化されたシングルリーダー/シングルライター(SRSW)論理変数で論理プログラムを拡張し、暗号化、署名、証明されたメッセージを通じて暗号化された人々間のセキュアな通信チャネルを提供し、アイデンティティとコードの整合性検証を可能にする。 我々は、論理プログラム、並列GLP、マルチエージェントGLP、暗号化セキュリティによる拡張、スマートフォン実装対応仕様の提供など、段階的にGLPを提示する。 我々は,GLP計算がデダクション,SRSW保存,非周期性,単調性などの安全性を証明した。 我々は,マルチエージェントGLPが草の根であり,GLPストリームがブロックチェーンセキュリティ特性を達成することを証明した。 本稿では、ピアツーピア接続を認証し、セキュアな草の根ソーシャルネットワーキングアプリケーションを示す草の根ソーシャルグラフプロトコルを提案する。

関連論文リスト

• Can One Safety Loop Guard Them All? Agentic Guard Rails for Federated Computing [0.0]
  我々は,フェデレートコンピューティングのプライバシ保護のための新しいフレームワークであるGuardian-FCを提案する。 多様なプライバシー保護機構にまたがって安全対策を統一する。 本稿では,バックエンドに依存しない安全性を示す定性的なシナリオと,検証のための形式的モデル基盤を提案する。
  論文  参考訳（メタデータ） (2025-06-24T20:39:49Z)
• Post-Quantum Cryptography: An Analysis of Code-Based and Lattice-Based Cryptosystems [55.49917140500002]
  量子コンピュータはShorのアルゴリズムを使って最新の暗号システムを破ることができる。 我々はまず、量子攻撃に対して安全とされるコードベースのスキームであるMcEliece暗号システムについて検討する。 次に,最短ベクトル問題を解くことの難しさを基礎とした格子型システムNTRUについて検討する。
  論文  参考訳（メタデータ） (2025-05-06T03:42:38Z)
• Fundamental Limits of Hierarchical Secure Aggregation with Cyclic User Association [93.46811590752814]
  階層型セキュアアグリゲーションは、フェデレートラーニング(FL)によって動機付けられる 本稿では,各ユーザが連続する$B$のリレーに接続される循環型アソシエーションパターンを用いたHSAについて考察する。 勾配符号化にインスパイアされた入力に対するメッセージ設計を含む効率的なアグリゲーション方式を提案する。
  論文  参考訳（メタデータ） (2025-03-06T15:53:37Z)
• Thetacrypt: A Distributed Service for Threshold Cryptography [0.0]
  Thetacryptは多くのしきい値スキームをひとつの言語に統合するための汎用ライブラリである。 しきい値暗号を使って分散システムを簡単に構築する方法を提供する。 このライブラリには、暗号、シグネチャ、ランダムネス生成にまたがる6つの暗号スキームが含まれている。
  論文  参考訳（メタデータ） (2025-02-05T15:03:59Z)
• Secure Synthesis of Distributed Cryptographic Applications (Technical Report) [1.9707603524984119]
  我々はセキュアなプログラムパーティショニングを用いて暗号アプリケーションを合成することを提唱する。 このアプローチは有望だが、そのようなコンパイラのセキュリティに関する公式な結果はスコープに限られている。 我々は、堅牢で効率的なアプリケーションに不可欠な微妙さを扱うコンパイラのセキュリティ証明を開発した。
  論文  参考訳（メタデータ） (2024-01-06T02:57:44Z)
• Enabling Data Confidentiality with Public Blockchains [5.749927436954179]
  相互運用アプリケーション(MARTSIA)のためのトランザクションシステムに対するマルチオーソリティアプローチ MARTSIAは、メッセージ部分のレベルで共有データの読み取りアクセス制御を可能にする。 Multi-Authority Attribute-Based Encryption (MA-ABE)に基づいて、MARTSIAはメッセージ部分のレベルで共有データの読み取りアクセス制御を可能にする。
  論文  参考訳（メタデータ） (2023-08-04T13:21:48Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。