我已经完成了@CyfrinUpdraft的汇编和形式验证课程。这非常紧张，但现在我对操作码和形式验证有了更好的理解。今后我将会使用@CertoraInc。是时候休息了。