Over a decade of improvements to the seminal PBFT work have turned out to have safety or liveness issues, as demonstrated in a recent ArXiv note we posted:
You May Also Enjoy
BFT consensus that achieves optimal worst-case communication complexity (quadratic) with constant expected latency
Revisitng HotStuff, it turns out that two phases are enough after all.
An evolution of “Pacemaker” solutions to the Byzantine View Synchronization problem finally led to optimal communication-complexity solutions.
Byzantine Generals with Unknown/Fluctuating Participation extended to tolerate to Minority Corruption.