to bylo v nedávném soukromém auditu Cyfrinu, skvělé věci @alexzoid_eth !
alexzoid
alexzoid28. 8. 2025
Při minulém soukromém jednání s auditory byl můj @CertoraInc Formální ověření platného státního majetku chycen CRIT při sestavování složitého úvěrového protokolu, který byl opomenut manuálními kontrolami. Jasný důkaz hodnoty FV při doplňování fuzzing a klasických auditů.
2,8K