Questa settimana ci sarà molta creazione/scrittura di test per tenere conto di alcune modifiche ai protocolli. Spero di finire presto il corso di Verifica Formale di @CyfrinUpdraft e iniziare a utilizzare @CertoraInc, se posso. Inoltre, seguirò il corso di Fondamenti di Rust per acquisire familiarità.