0x00ffDa
I am a security reviewer / researcher with a particular interest in formal verification. I have not been very active on Cod4rena. See Sherlock.xyz leaderboard and Solidit.xyz search for more audit history.
I am a security reviewer / researcher with a particular interest in formal verification. I have not been very active on Cod4rena. See Sherlock.xyz leaderboard and Solidit.xyz search for more audit history.