@milkomeda

We are delighted to announce that registration for the Milkomeda DeFi Shippers Hackathon on Milkomeda C1(Cardano EVM Sidechain) is now open, brought to you by the Milkomeda Foundation.

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.