據吳說報道，借貸協議 Term Finance 宣佈上線 v0.9.0 版本，由 Sigma Prime 完成審計，並使用 @CertoraInc 的 CLI 進行形式驗證。新版本增強了預言機集成的安全性，功能特點包括：零價格檢查、陳舊性檢查、備用價格源，由 Chainlink、Chronicle Protocol、RedStone Oracles 等預言機提供。