This document describes the specification and verification of Mezzanine Protocol on Solidity using the Certora Prover.
The detailed findings and Mezzanine responses can be found in the full report below.