Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited∗

External Document