Finalmente sono arrivato a un punto nella mia comprensione di YieldCoin per passare alla verifica formale delle modifiche che ho apportato con @CertoraInc. Sarò completamente onesto: è difficile, mi sento sopraffatto e guardo costantemente la documentazione e studio i test che @contractlevel ha già effettuato, ma Certora è uno strumento molto potente, quindi fa parte del gioco. Non c'è altro modo per farlo se non passare attraverso il processo di sentirsi persi, confusi, frustrati, sopraffatti (e ogni altra parola tu possa pensare) fino a quando non inizia a avere senso ed è un'abilità che sono determinato a sviluppare ulteriormente.