Abstract:In this work, we consider adversarial crash faults of nodes in the network constructors model $[$Michail and Spirakis, 2016$]$. We first show that, without further assumptions, the class of graph languages that can be (stably) constructed under crash faults is non-empty but small. In particular, if an unbounded number of crash faults may occur, we prove that (i) the only constructible graph language is that of spanning cliques and (ii) a strong impossibility result holds even if the size of the graphs that the protocol outputs in populations of size $n$ need only grow with $n$ (the remaining nodes being waste). When there is a finite upper bound $f$ on the number of faults, we show that it is impossible to construct any non-hereditary graph language. On the positive side, by relaxing our requirements we prove that: (i) permitting linear waste enables to construct on $n/(2f)-f$ nodes, any graph language that is constructible in the fault-free case, (ii) partial constructibility (i.e. not having to generate all graphs in the language) allows the construction of a large class of graph languages. We then extend the original model with a minimal form of fault notifications. Our main result here is a fault-tolerant universal constructor: We develop a fault-tolerant protocol for spanning line and use it to simulate a linear-space Turing Machine $M$. This allows a fault-tolerant construction of any graph accepted by $M$ in linear space, with waste $min\{n/2+f(n),\; n\}$, where $f(n)$ is the number of faults in the execution. We then prove that increasing the permissible waste to $min\{2n/3+f(n),\; n\}$ allows the construction of graphs accepted by an $O(n^2)$-space Turing Machine, which is asymptotically the maximum simulation space that we can hope for in this model. Finally, we show that logarithmic local memories can be exploited for a no-waste fault-tolerant simulation of any such protocol.

Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses

Self-stabilization and byzantine tolerance for maximal independent

Weak vs. Self vs. Probabilistic Stabilization

Flexible Byzantine Fault Tolerance

Self-Healing Algorithms of Byzantine Faults

Snap-Stabilizing Tasks in Anonymous Networks

Self-Stabilizing Indulgent Zero-degrading Binary Consensus

Self-stabilizing Byzantine-tolerant Recycling

ByzID: Byzantine Fault Tolerance from Intrusion Detection

Fall of Empires: Breaking Byzantine-tolerant SGD by Inner Product Manipulation

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Practical byzantine fault tolerance and proactive recovery

Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp

A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems

Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery

Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection

Peaceable Self-Stabilizing Byzantine Pulse Synchronization

Byzantine Agreement with Optimal Early Stopping, Optimal Resilience and Polynomial Complexity

Bridging the Gap of Timing Assumptions in Byzantine Consensus.

Fault Tolerant Network Constructors