Denne uken vil det være mye testoppretting/skriving for å ta hensyn til noen protokollendringer. Jeg håper å fullføre @CyfrinUpdraft Formal Verification-kurset snart og begynne å bruke @CertoraInc hvis jeg kan. Jeg vil også ta Rust Basics-kurset for å bygge kjennskap.