Title: Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language Show Chinese title

Title: 基层逻辑程序：一种安全的、多智能体的、并发的逻辑编程语言

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. Show Chinese abstract

Abstract: 草根平台是分布式应用程序，由\linebreak 加密识别的人在其联网个人设备上运行，其中多个不相交的平台实例独立出现，并在相互操作时合并。 它们的基础是草根社交图谱，可以在其上构建草根社交网络、草根加密货币和草根民主联邦。 草根平台尚未被实现，主要挑战是故障和恶意参与者：没有安全编程支持，正确的参与者无法可靠地相互识别、建立安全通信或验证彼此的代码完整性。 我们提出了草根逻辑程序（GLP），这是一种用于实现草根平台的安全、多智能体、并发逻辑编程语言。 GLP通过加密、签名和认证消息，在加密识别的人之间提供安全通信通道，这些消息能够实现身份和代码完整性验证。 我们逐步介绍了GLP：逻辑程序、并发GLP、多智能体GLP，为其增加密码安全性，并提供适用于智能手机实现的规范。 我们证明了安全属性，包括GLP计算是演绎、SRSW保留、无环性和单调性。 我们证明了多智能体GLP是草根的，并且 GLP流实现了区块链安全属性。 我们提出了一种草根社交图谱协议，建立了经过认证的点对点连接，并展示了安全的草根社交网络应用。