Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Jon Greenwood
0xJonHoldsCrypto
BD @bloq
CM @vesperfi @autonomoussoftware @hemilabs
Co-Founder @DemosGlobal
https://debank.com/profile/0xd8c84eac995150662cc052e6ac76ec184
@DemosGlobal Alabama