Stel je een gedistribueerd systeem voor met N nodes waarvan maximaar f byzantijn (kwaadwillend) kunnen zijn. Schrijf een gedetailleerd uitleg en pseudo-code voor een algoritme dat consensus bereikt over een enkele waarde (Byzantine Fault Tolerance). Leg uit waarom dit algoritme correct is als N >= 3f + 1. Beschrijf de complexiteit in termen van berichtenuitwisseling (rondes) en tijd. Ga in op de trade-offs tussen veiligheid (safety) en levendigheid (liveness) in asynchrone netwerken volgens het FLP-impossibility resultaat.