solidity 2 Specification and Formal Verification of the Aztec Governance Protocol Dec 9, 2025 Specification and Model-checking of the ZKsync Governance Protocol Sep 15, 2024