Pith. sign in

REVIEW 4 cited by

ChonkyBFT: Consensus Protocol of ZKsync

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.15380 v1 pith:VMTJLCKM submitted 2025-03-19 cs.DC cs.CRcs.LO

ChonkyBFT: Consensus Protocol of ZKsync

Bruno Fran\c{c}a , Denis Kolegov , Igor Konnov , Grzegorz Prusak This is my paper
classification cs.DC cs.CRcs.LO
keywords protocolzksyncconsensuschonkybftsystemachievinganalyzedapplication
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Multimmit: Extending Blocks for Faster Finality

    cs.DC 2026-07 conditional novelty 7.0

    Multimmit finalises transaction blocks in one voting round with roughly 3δ average latency from dissemination, confining a faulty producer's damage to its own chain.

  2. The Carnot Bound: Limits and Possibilities for Bandwidth-Efficient Consensus

    cs.DC 2026-03 conditional novelty 7.0

    A lower bound of ~2.5 on data expansion for 2-round-finality consensus, plus two 3-round protocols that achieve expansion approaching 1 under good conditions.

  3. The Carnot Bound: Limits and Possibilities for Bandwidth-Efficient Consensus

    cs.DC 2026-03 unverdicted novelty 6.5

    Two-round-finality leader-based consensus cannot beat ~2.5 data expansion; three-round Carnot protocols reach near-1 under favorable conditions and 1.33–1.5 under attack.

  4. Layer 2 Coordinated Trusted Setup for Continuous CRS Generation

    cs.DC 2026-07 conditional novelty 6.0

    A PBFT-based decentralized ZK-rollup sequencer network coordinates recurring Powers-of-Tau CRS generation ceremonies via smart-contract or peer-to-peer protocols, achieving continuous trusted setup with stable transac...