ChonkyBFT: Consensus Protocol of ZKsync

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: França, Bruno, Kolegov, Denis, Konnov, Igor, Prusak, Grzegorz
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866913745802887168
author França, Bruno
Kolegov, Denis
Konnov, Igor
Prusak, Grzegorz
author_facet França, Bruno
Kolegov, Denis
Konnov, Igor
Prusak, Grzegorz
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2503_15380
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle ChonkyBFT: Consensus Protocol of ZKsync
França, Bruno
Kolegov, Denis
Konnov, Igor
Prusak, Grzegorz
Distributed, Parallel, and Cluster Computing
Cryptography and Security
Logic in Computer Science
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.
title ChonkyBFT: Consensus Protocol of ZKsync
topic Distributed, Parallel, and Cluster Computing
Cryptography and Security
Logic in Computer Science
url https://arxiv.org/abs/2503.15380