The lending protocol Term Finance announced the launch of version v0.9.0, which was audited by Sigma Prime and formally verified using @CertoraInc’s CLI. The new version enhances the security of oracle integration, with features including: zero-price checks, staleness checks, and fallback price feeds, provided by oracles such as Chainlink, Chronicle Protocol, and RedStone Oracles.
