Esta semana haverá muita criação/escrita de testes para levar em consideração algumas mudanças de protocolo. Espero terminar o curso de Verificação Formal @CyfrinUpdraft em breve e começar a colocar @CertoraInc em uso, se puder. Também farei o curso Rust Basics para criar familiaridade.