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