Acabamos de lanzar una actualización importante para el @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á llena de nuevas características potentes y (sí) algunos cambios que rompen la compatibilidad. Aquí está lo nuevo 👇