Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻❄️
Paris Formal Land https://formal.land/ 首次见于 2023-01-02
0
事件
205
公开仓库
348
关注者
895
关注中
最近动态事件流
1 次提交
2024-08-03
1 次提交