Цього тижня буде багато створення/написання тестів, щоб врахувати деякі зміни в протоколі. Я сподіваюся незабаром закінчити курс @CyfrinUpdraft Formal Verification і почати використовувати @CertoraInc, якщо зможу. Також я пройду курс Rust Basics, щоб набути знайомства.