https://123dok.net/document/wyedlkrz-minimal-synchrony-for-asynchronous-byzantine-consensus.html