Modular SMR Synchronizers Guarantee Provable Liveness in Distributed Consensus
A new SMR synchronizer primitive modularizes liveness mechanisms in Byzantine protocols, enabling provably robust and efficient distributed state consistency.
