dette var i en nylig Cyfrin privat revisjon, flotte ting @alexzoid_eth!
alexzoid
alexzoid28. aug. 2025
I et tidligere privat engasjement med revisorer, fanget min @CertoraInc Formal Verification gyldig statlig eiendom en CRIT i monteringen av en kompleks utlånsprotokoll, savnet av manuelle gjennomganger. Tydelig bevis på FVs verdi i å komplementere fuzzing og klassiske revisjoner.
2,83K