借贷协议 Term Finance 宣布上线 v0.9.0 版本,由 Sigma Prime 完成审计,并使用 @CertoraInc 的 CLI 进行形式验证。新版本增强了预言机集成的安全性,功能特点包括:零价格检查(Zero-price checks)、陈旧性检查(Staleness checks)、备用价格源(Fallback price feeds),由 Chainlink、Chronicle Protocol、RedStone Oracles 等预言机提供。