Según Wushuo, el protocolo de préstamos Term Finance anunció el lanzamiento de la versión v0.9.0, que fue auditada por Sigma Prime y utilizó la CLI de @CertoraInc para la verificación formal. La nueva versión mejora la seguridad de la integración de Oracle y las características incluyen: verificación de precio cero, verificación de obsolescencia y fuentes de precios de respaldo, proporcionadas por oráculos como Chainlink, Chronicle Protocol y RedStone Oracles.