Security, Audit, Formal Verification, Bridge, Blockchain.
completed a formal verification of the Solidity smart contracts on the Milkomeda side of the bridge! This article will explain what formal verification is, what it can do for smart contracts, and how it compares to manual processes. We will then discuss the outcome of the formal verification of