Ein fehlerfreier, synchroner Byzantinischer Vereinbarungsalgorithmus, der externe Gültigkeit erfüllt und eine nahezu optimale Bit-Komplexität sowie optimale Runden-Komplexität erreicht.