W tym tygodniu będę tworzyć/pisać wiele testów, aby uwzględnić zmiany w protokole. Mam nadzieję, że wkrótce ukończę kurs Formal Verification od @CyfrinUpdraft i zacznę korzystać z @CertoraInc, jeśli będę mógł. Również wezmę udział w kursie Rust Basics, aby zbudować znajomość.