Rethinking Byzantine Agreement

Providing the first formal proof for the “Zephyr” protocol in geo-distributed environments.