Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited∗Concurrent Asynchronous Byzantine Agreement • December 25th, 2023
17These probabilities only need to be computable by the simulator to give a constructive description of . Note that an existential argument, which is sufficient to complete the emulation, would not require to calculate those probabilities at all. Nonetheless, we opt for a constructive approach to better illustrate the concept.
