questo era in un recente audit privato di Cyfrin, ottime cose @alexzoid_eth!
alexzoid
alexzoid28 ago 2025
In un precedente incontro privato con i revisori, la mia proprietà di stato valida di @CertoraInc Formal Verification ha catturato un CRIT nell'assemblaggio di un complesso protocollo di prestito, sfuggito alle revisioni manuali. Chiara prova del valore della FV nel completare il fuzzing e le audit classiche.
2,82K