Segundo Wushuo, o protocolo de empréstimo Term Finance anunciou o lançamento da versão v0.9.0, que foi auditada pela Sigma Prime e utilizou CLI da @CertoraInc para verificação formal. A nova versão aumenta a segurança da integração do oráculo e os recursos incluem: verificação de preço zero, verificação de obsolescência e fontes de preços de backup, fornecidas por oráculos como Chainlink, Chronicle Protocol e RedStone Oracles.