Jeg er endelig på et punkt med min forståelse av YieldCoin for å gå videre til @CertoraInc formell verifisering av endringene jeg har gjort. Jeg skal være helt ærlig: det er vanskelig, jeg er overveldet og ser hele tiden på dokumentasjonen og studerer testene @contractlevel allerede har gjort, men Certora er et veldig kraftig verktøy, så det følger med territoriet. Det er ingen annen måte å gjøre dette på enn å gå gjennom prosessen med å være fortapt, forvirret, frustrert, overveldet (og alle andre ord du kan tenke deg) til det begynner å gi mening og det er en ferdighet jeg er fast bestemt på å utvikle videre.