Member of The Costa Group (@costa-group). Project lead of circom and formal verification of ZK protocols. Member of the Yul2EVM code generation project GREY
-
The Costa Group (UCM)
- https://costa.fdi.ucm.es/~arubio
- @ALBERTRUBIO33
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris