今週は、いくつかのプロトコルの変更を考慮して、多くのテストの作成/作成を行います。@CyfrinUpdraft Formal Verification コースをすぐに修了し、可能であれば@CertoraInc活用し始めたいと考えています。また、親しみやすさを身につけるために、Rust Basics コースを受講します。