論文の概要: 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ストリームがブロックチェーンセキュリティ特性を達成することを証明した。
本稿では、ピアツーピア接続を認証し、セキュアな草の根ソーシャルネットワーキングアプリケーションを示す草の根ソーシャルグラフプロトコルを提案する。
関連論文リスト
- Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI [1.8021287677546953]
Grassroots Logic Programs (GLP) は、並列論理型プログラミング言語で、変数をペアのエンフリーダーとエンフライターに分割する。
GLPは草の根プラットフォームのための言語として設計され、そのターゲットアーキテクチャはスマートフォンがピアツーピアで通信することである。
本稿では,DartにおけるAIによるGLPのワークステーションとスマートフォンによる実装を容易にするために開発された数学について述べる。
論文 参考訳（メタデータ） (2026-02-06T18:30:11Z) - DiffGRM: Diffusion-based Generative Recommendation Model [63.35379395455103]
ジェネレーティブレコメンデーション(GR)は、トークン化器を介して各項目をn桁のセマンティックID(SID)として表現する新興パラダイムである。
自己回帰デコーダをマスク付き離散拡散モデル(MDM)に置き換える拡散ベースGRモデルDiffGRMを提案する。
実験では、複数のデータセットに対する強力な生成的および差別的推奨ベースラインよりも一貫した利得を示す。
論文 参考訳（メタデータ） (2025-10-21T03:23:32Z) - Can One Safety Loop Guard Them All? Agentic Guard Rails for Federated Computing [0.0]
我々は,フェデレートコンピューティングのプライバシ保護のための新しいフレームワークであるGuardian-FCを提案する。
多様なプライバシー保護機構にまたがって安全対策を統一する。
本稿では,バックエンドに依存しない安全性を示す定性的なシナリオと,検証のための形式的モデル基盤を提案する。
論文 参考訳（メタデータ） (2025-06-24T20:39:49Z) - Execution Guided Line-by-Line Code Generation [48.996319645671605]
本稿では,言語モデル生成プロセスにリアルタイム実行信号を組み込んだニューラルコード生成手法を提案する。
提案手法であるExecution-Guided-Free Guidanceは,モデルがコードを生成する際に動的に実行信号を組み込む。
EG-CFGはコード生成アプローチを大幅に改善し、様々なレベルの複雑さで最先端の結果を達成する。
論文 参考訳（メタデータ） (2025-06-12T17:50:05Z) - 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) - Provably Secure Disambiguating Neural Linguistic Steganography [66.30965740387047]
サブワードに基づく言語モデルを使用する際に生じるセグメンテーションの曖昧さ問題は、時にはデコード障害を引き起こす。
そこで我々はSyncPoolという,セグメンテーションのあいまいさ問題に効果的に対処する,セキュアな曖昧さ回避手法を提案する。
SyncPoolは、候補プールのサイズやトークンの分布を変えないため、確実に安全な言語ステガノグラフィー手法に適用できる。
論文 参考訳（メタデータ） (2024-03-26T09:25:57Z) - 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) - Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。
資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。
境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
論文 参考訳（メタデータ） (2021-12-22T19:00:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。