Formal Rewrites Safely Scale Byzantine Fault Tolerance Protocols Fivefold
A new formal model and rewrite methodology prove that decoupling and partitioning can safely achieve a fivefold throughput increase for BFT protocols.
JUMBO Consensus Achieves Quadratic Asynchronous BFT Scalability through Certificate Aggregation
JUMBO protocol resolves the $mathcal{O}(n^3)$ aBFT complexity bottleneck by aggregating quorum certificates, unlocking truly scalable asynchronous decentralized systems.
