simulation 5 Research & development as a service Mar 30, 2025 ChonkyBFT: Consensus Protocol of ZKsync (paper) Mar 19, 2025 Specification and Model-checking of the ZKsync Governance Protocol Sep 15, 2024 Specification and model checking of BFT consensus by Matter Labs Jul 29, 2024 Quint: Another look at the logic of TLA+ Dec 31, 2023