Minggu ini akan ada banyak pembuatan/penulisan tes untuk memperhitungkan beberapa perubahan protokol. Saya berharap untuk segera menyelesaikan kursus Verifikasi Formal @CyfrinUpdraft dan mulai menggunakan @CertoraInc jika saya bisa. Juga saya akan mengikuti kursus Rust Basics untuk membangun keakraban.