Я закінчив курс @CyfrinUpdraft Assembly and Formal Verification. Це було неймовірно інтенсивно, але тепер я краще розумію коди операцій та формальну верифікацію. У майбутньому я буду включати використання @CertoraInc. Час для відпочинку.