Wushuo 氏によると、融資プロトコル Term Finance は、Sigma Prime による監査を受け、正式な検証に @CertoraInc の CLI を使用したバージョン v0.9.0 のリリースを発表しました。新しいバージョンでは、オラクル統合のセキュリティが強化されており、Chainlink、Chronicle Protocol、RedStone Oracle などのオラクルによって提供される、ゼロ価格チェック、失効チェック、バックアップ価格ソースなどの機能が含まれています。