The HoneyBadgerBFT protocol is the first practical asynchronous Byzantine fault-tolerant (BFT) protocol that guarantees liveness without making any timing assumptions. It achieves optimal asymptotic efficiency through a novel atomic broadcast protocol. Unlike traditional BFT protocols that rely on weak synchrony assumptions, HoneyBadgerBFT is designed for decentralized environments where network conditions are unpredictable. It ensures liveness by making progress as long as messages are delivered, regardless of network fluctuations. The protocol is implemented and tested on large-scale networks, achieving high throughput and scalability. It is also deployed over Tor without parameter tuning, demonstrating its robustness. HoneyBadgerBFT is suitable for applications such as permissioned blockchains and permissionless blockchains, where robustness and throughput are critical. The protocol is based on a novel reduction from atomic broadcast to common subset agreement, using threshold encryption and efficient reliable broadcast techniques. It outperforms traditional BFT protocols like PBFT in terms of throughput and efficiency. The protocol is formally proven to be secure and live, and its implementation is open-source.The HoneyBadgerBFT protocol is the first practical asynchronous Byzantine fault-tolerant (BFT) protocol that guarantees liveness without making any timing assumptions. It achieves optimal asymptotic efficiency through a novel atomic broadcast protocol. Unlike traditional BFT protocols that rely on weak synchrony assumptions, HoneyBadgerBFT is designed for decentralized environments where network conditions are unpredictable. It ensures liveness by making progress as long as messages are delivered, regardless of network fluctuations. The protocol is implemented and tested on large-scale networks, achieving high throughput and scalability. It is also deployed over Tor without parameter tuning, demonstrating its robustness. HoneyBadgerBFT is suitable for applications such as permissioned blockchains and permissionless blockchains, where robustness and throughput are critical. The protocol is based on a novel reduction from atomic broadcast to common subset agreement, using threshold encryption and efficient reliable broadcast techniques. It outperforms traditional BFT protocols like PBFT in terms of throughput and efficiency. The protocol is formally proven to be secure and live, and its implementation is open-source.