ようやく YieldCoin について理解し、私が行った変更の正式な検証に進むために@CertoraIncきました。正直に言うと、それは難しく、圧倒され、常にドキュメントを見たり、すでに作成したテストを研究したりしていますが、Certoraは非常に強力なツールであるため、テリトリー@contractlevel付属しています。 これを行うには、道に迷ったり、混乱したり、イライラしたり、圧倒されたりするプロセスを経て、それが意味をなし始め、さらに発展させようと決意しているスキルになるまで、他に方法はありません。