На этой неделе будет много создания/написания тестов, чтобы учесть некоторые изменения в протоколе. Я надеюсь скоро закончить курс Формальной Верификации от @CyfrinUpdraft и начать использовать @CertoraInc, если смогу. Также я пройду курс Основы Rust, чтобы повысить свою осведомленность.