Saya akhirnya pada titik dengan pemahaman saya tentang YieldCoin untuk beralih ke verifikasi formal @CertoraInc perubahan yang telah saya buat. Saya akan sepenuhnya jujur: sulit, saya kewalahan dan terus-menerus melihat dokumentasi dan mempelajari tes yang telah @contractlevel lakukan, tetapi Certora adalah alat yang sangat ampuh sehingga dilengkapi dengan wilayah. Tidak ada cara lain untuk melakukan ini selain melalui proses tersesat, bingung, frustrasi, kewalahan (dan setiap kata lain yang dapat Anda pikirkan) sampai itu mulai masuk akal dan itu adalah keterampilan yang saya bertekad untuk mengembangkan lebih lanjut.