matter labs 4

• ChonkyBFT: Consensus Protocol of ZKsync (paper) Mar 19, 2025
• Talk at DeFi Security Summit 2024 Nov 9, 2024
• 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