Selon Wushuo, le protocole de prêt Term Finance a annoncé le lancement de la version v0.9.0, qui a été auditée par Sigma Prime et a utilisé la CLI de @CertoraInc pour une vérification formelle. La nouvelle version améliore la sécurité de l'intégration d'Oracle et les fonctionnalités incluent : la vérification du prix zéro, la vérification de l'obsolescence et les sources de prix de sauvegarde, fournies par des oracles tels que Chainlink, Chronicle Protocol et RedStone Oracles.