据吴说报道，借贷协议 Term Finance 宣布上线 v0.9.0 版本，由 Sigma Prime 完成审计，并使用 @CertoraInc 的 CLI 进行形式验证。新版本增强了预言机集成的安全性，功能特点包括：零价格检查、陈旧性检查、备用价格源，由 Chainlink、Chronicle Protocol、RedStone Oracles 等预言机提供。