Tuần này sẽ có nhiều việc tạo/viết bài kiểm tra để xem xét một số thay đổi trong giao thức. Tôi hy vọng sẽ hoàn thành khóa học Xác minh chính thức của @CyfrinUpdraft sớm và bắt đầu sử dụng @CertoraInc nếu có thể. Tôi cũng sẽ tham gia khóa học Cơ bản về Rust để xây dựng sự quen thuộc.