paper 3

• ChonkyBFT: Consensus Protocol of ZKsync (paper) Mar 19, 2025
• Exploring Automatic Model-Checking of the Ethereum specification (tech. report) Jan 16, 2025
• Specification and model checking of BFT consensus by Matter Labs Jul 29, 2024