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。

1
下载
关闭预览

相关内容

【2022新书】雾计算: 概念、框架和应用,235页pdf
专知会员服务
112+阅读 · 2022年6月7日
专知会员服务
38+阅读 · 2020年9月6日
神经常微分方程教程,50页ppt,A brief tutorial on Neural ODEs
专知会员服务
70+阅读 · 2020年8月2日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
144+阅读 · 2019年10月12日
VCIP 2022 Call for Demos
CCF多媒体专委会
1+阅读 · 2022年6月6日
Hierarchically Structured Meta-learning
CreateAMind
23+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
25+阅读 · 2019年5月18日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
【推荐】(TensorFlow)SSD实时手部检测与追踪(附代码)
机器学习研究会
11+阅读 · 2017年12月5日
【推荐】(Keras)LSTM多元时序预测教程
机器学习研究会
24+阅读 · 2017年8月14日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
VIP会员
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Top
微信扫码咨询专知VIP会员