Security, Audit, Formal Verification, Bridge, Blockchain.
Milkomeda’s bridge contracts. Note: This undertaking is only for the Solidity contracts on the Milkomeda side of the bridge. What is Formal Verification? Formal verification is a highly recommended way of enhancing smart contract security. It uses formal methods to verify that a smart contract