J'ai terminé le cours d'Assemblage et de Vérification Formelle de @CyfrinUpdraft. C'était incroyablement intense mais maintenant j'ai une meilleure compréhension des opcodes et de la vérification formelle. Je vais intégrer l'utilisation de @CertoraInc à l'avenir. Il est temps de se reposer.