Esta semana será dedicada à criação/escrita de muitos testes para levar em conta algumas mudanças de protocolo. Espero terminar o curso de Verificação Formal da @CyfrinUpdraft em breve e começar a usar a @CertoraInc, se conseguir. Também farei o curso de Fundamentos de Rust para ganhar familiaridade.