We present ChonkyBFT, a partially-synchronous Byzantine fault-tolerant (BFT) consensus protocol used in the ZKsync system. The proposed protocol is a hybrid protocol inspired by FAB Paxos, Fast-HotStuff, and HotStuff-2. It is a committee-based protocol with only one round of voting, single slot finality, quadratic communication, and n >= 5f + 1 fault tolerance. This design enables its effective application within the context of the ZKsync rollup, achieving its most critical goals: simplicity, low transaction latency, and reduced system complexity. The target audience for this paper is the ZKsync community and others worldwide who seek assurance in the safety and security of the ZKsync protocols. The described consensus protocol has been implemented, analyzed, and tested using formal methods.

翻译：本文提出ChonkyBFT，一种用于ZKsync系统的部分同步拜占庭容错（BFT）共识协议。该协议是受FAB Paxos、Fast-HotStuff和HotStuff-2启发的混合协议。它是一种基于委员会的协议，仅需一轮投票，具有单时隙最终性、二次通信复杂度以及n >= 5f + 1的容错能力。此设计使其能在ZKsync汇总的背景下有效应用，实现其最关键的目标：简洁性、低交易延迟和降低系统复杂性。本文的目标读者是ZKsync社区以及全球范围内寻求ZKsync协议安全性与可靠性保证的其他人士。所描述的共识协议已通过形式化方法实现、分析和测试。