我已經完成了@CyfrinUpdraft的彙編和形式驗證課程。這非常緊張，但現在我對操作碼和形式驗證有了更好的理解。今後我將會使用@CertoraInc。是時候休息了。

本週將進行大量測試創建/編寫，以考慮一些協議更改。我希望能儘快完成@CyfrinUpdraft的正式驗證課程，並開始使用@CertoraInc，如果可以的話。此外，我還將參加Rust基礎課程，以提高熟悉度。