Cette semaine, il y aura beaucoup de création/rédaction de tests pour tenir compte de certains changements de protocole. J'espère terminer bientôt le cours de Vérification Formelle @CyfrinUpdraft et commencer à utiliser @CertoraInc si je le peux. Je vais également suivre le cours de Bases de Rust pour me familiariser.