Den här veckan kommer att bli en hel del provskapande/skrivning för att ta hänsyn till vissa protokolländringar. Jag hoppas kunna avsluta kursen i @CyfrinUpdraft formell verifiering snart och börja använda @CertoraInc om jag kan. Jag kommer också att gå kursen Rust Basics för att bygga upp förtrogenhet.