Nachverfolgungsarbeit akzeptiert für DISC: mehrwertige asynchrone byzantinische Vereinbarung mit perfekter Sicherheit und optimaler Resilienz gegeben binäre ABA in O(nL+n² log n)