Formal Verification of the Aztec Governance Protocol

Authors: Thomas Pani , Igor Konnov Date: December 9, 2025 1. Introduction In August 2025, Aztec Labs engaged Thomas Pani and Igor Konnov to formally specify and verify the new Aztec Governance Protocol – the core on-chain system that governs Aztec Network . Over the course of five weeks, we reviewed every line of code in scope and developed a precise formal specification, verified automatically…