Security firm Certora formally verified the smart contracts powering the Hashi protocol prior to its mainnet launch

From the articleA new bitcoin lending system is set to debut with $500 million in commitments