Security, Audit, Formal Verification, Bridge, Blockchain.
TLDR: Greater assurance for Milkomeda! We have worked with Certora to formally verify the Solidity smart contracts on the EVM side of the Milkomeda bridge. Read the report here. The importance of security in the blockchain world cannot be understated, and it is something we take very seriously at