135 reads
Grassroots Distributed Systems for Digital Sovereignty: Proofs
by Crypto Sovereignty Through Technology, Math & LuckMay 13th, 2024
Too Long; Didn't Read
A distributed system is grassroots if it can have autonomous, independently-deployed instances that can interoperate once interconnected.
This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license.
Authors:
(1) Ehud Shapiro, Department of Computer Science and Applied Math, Weizmann Institute of Science, Israel and [email protected].
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.
L O A D I N G
. . . comments & more!
. . . comments & more!
