According to Wu, the lending protocol Term Finance announced the launch of 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, and features include: zero price checks, staleness checks, and backup price sources, provided by Chainlink, Chronicle Protocol, RedStone Oracles and other oracles.