F-ABA — Asynchronous Byzantine agreement

F-ABA (Asynchronous Byzantine agreement) is part of Channels, Agreement, Ledgers in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Cohen, Forghani, Garay, Patel, and Zikas. Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited. In 21st Theory of Cryptography Conference (TCC), Part IV, volume 14372 of LNCS, pages 422–451, 2023.
• Canetti and Rabin. Optimal asynchronous byzantine agreement. In 25th ACM Symposium on Theory of Computing (STOC), pages 42–51, 1993.