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

Financial services rebuilt as onchain protocols, offering lending, trading, derivatives and yield without traditional intermediaries.

smart contracts is a thematic concept used to connect books that discuss this part of the cryptocurrency ecosystem.