Grassroots Distributed Systems: Concept, Examples, Implementation and Applications

01/11/2023
by   Ehud Shapiro, et al.
0

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 better distribute power and wealth within a society and allow citizens to better defend themselves against surveillance, manipulation, exploitation and control by global digital platforms and authoritarian regimes. 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; and illustrate how grassroots dissemination can implement serverless social networking and sovereign cryptocurrencies. The mathematical construction employs distributed multiagent transition systems to define the notion of grassroots protocols and grassroots implementations, to specify grassroots dissemination protocols, and to prove their correctness. It uses the blocklace – a partially-ordered generalization of the blockchain – for the grassroots implementation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/24/2023

Grassroots Social Networking: Serverless, Permissionless Protocols for Twitter/LinkedIn/WhatsApp

Offering a viable alternative architecture to centrally-controlled globa...
research
06/01/2020

Fault-Tolerant Distributed-Ledger Implementation of Digital Social Contracts

A companion paper defined the notion of digital social contracts, presen...
research
11/30/2019

Generalized Reputation Computation Ontology and Temporal Graph Architecture

The problem of reliable democratic governance is important for survival ...
research
04/25/2013

Network Control Systems RTAI framework A Review

With the advancement in the automation industry, to perform complex remo...
research
09/17/2020

An Abstract Framework for Choreographic Testing

We initiate the development of a model-driven testing framework for mess...
research
03/08/2019

Certifying Safety when Implementing Consensus

Ensuring the correctness of distributed system implementations remains a...
research
09/18/2021

A Distributed Process Model of Cryptographic Protocols

Cryptographic Protocols (CP) are distributed algorithms intended for sec...

Please sign up or login with your details

Forgot password? Click here to reset