Acabamos de lanzar una actualización importante del @CertoraInc Prover, nuestro motor de verificación formal para demostrar que los contratos inteligentes son correctos o encontrar errores reales. La v8.1.0 está repleta de nuevas funciones potentes y (sí) algunos cambios que rompen la compatibilidad. Aquí está lo nuevo 👇