Grassroots Distributed Systems for Digital Sovereignty: Proofs

Table of Links

• Abstract and Introduction
• Grassroots Protocols
• Grassroots Implementation of Grassroots Dissemination
• Applications of Grassroots Dissemination Supporting Digital Sovereignty
• Future Work & Discussion
• References
• A. Preliminaries: Asynchronous Distributed Multiagent Transition Systems
• B. All-to-All Dissemination is not Grassroots
• C. Proofs

Proofs

A GCD configuration records explicitly all the dependencies among the block occurrences in it, with one exception – if the same block message is sent to the same agent by several agents, the configuration does not record which of the messages was received. Hence the cordial dependency graph has some nondeterminism.