Deze week zal er veel testcreatie/-schrijven zijn om rekening te houden met enkele protocolwijzigingen. Ik hoop de @CyfrinUpdraft Formele Verificatie cursus binnenkort af te ronden en @CertoraInc te gaan gebruiken als ik kan. Ook zal ik de Rust Basics cursus volgen om vertrouwdheid op te bouwen.