Informally, a distributed system is grassroots if it can have autonomous, independently-deployed instances -- geographically and over time -- that can interoperate once interconnected. An example would be a serverless smartphone-based social network supporting multiple independently-budding communities that merge when a member of one community becomes also a member of another. Grassroots applications are potentially important as they may provide a foundation for digital sovereignty, which we interpret as the ability of people to conduct their social, economic, civic, and political lives in the digital realm solely using the networked computing devices they own and operate (e.g., smartphones), free of third-party control, surveillance, manipulation, coercion, or value-extraction (e.g., by global digital platforms such as Facebook or Bitcoin). Here, we formalize the notion of grassroots distributed systems and grassroots implementations; specify an abstract grassroots dissemination protocol; describe and prove an implementation of grassroots dissemination for the model of asynchrony; extend the implementation to mobile (address-changing) devices that communicate via an unreliable network (e.g. smartphones using UDP); and illustrate how grassroots dissemination can realize applications that support digital sovereignty -- grassroots social networking and sovereign cryptocurrencies. The mathematical construction employs distributed multiagent transition systems to define the notions of grassroots protocols and grassroots implementations, to specify grassroots dissemination protocols and their implementation, and to prove their correctness. The implementation uses the blocklace -- a partially-ordered DAG-like generalization of the blockchain.
翻译:非正式地,分布式系统称为草根分布式系统,如果它具有可以自主部署的实例——在地理和时间上——这些实例在连接后可以相互操作。例如,一种不需要服务器的基于智能手机的社交网络,支持多个相互独立却可以合并成一个社区的社交群体。草根分布式系统应用的潜在重要性在于,它们可能成为数字主权的基础,我们将数字主权解释为人们利用他们所拥有和运营的网络计算设备(例如智能手机)在数字领域独立开展其社会、经济、公民和政治生活的能力,而不受第三方控制、监视、操纵、强制或价值提取的影响(例如全球数字平台,如Facebook或Bitcoin)。本文规范化草根分布式系统和草根实现的概念;指定了一个抽象的草根传播协议;描述并证明出了草根传播对于异步模型的实现;将该实现扩展到通过不可靠网络(例如使用UDP的智能手机)通信的移动(地址更改)设备上;并且阐明草根传播如何实现支持数字主权的应用——草根社交网络和主权加密货币。数学构造采用分布式多智能体转换系统来定义草根协议和草根实现的概念,规定草根传播协议及其实现,并证明其正确性。该实现使用块链的一种部分有序DAG-like广义形式,称为blocklace。