Esta semana habrá mucha creación/escritura de pruebas para tener en cuenta algunos cambios en el protocolo. Espero terminar pronto el curso de Verificación Formal de @CyfrinUpdraft y empezar a utilizar @CertoraInc si puedo. También tomaré el curso de Fundamentos de Rust para familiarizarme.