Guillaume Claret
@clarus
Security Researcher
Paris, France
English, French
// LOOKING FOR TEAMMATES
Audit tool for Solana with AI + Formal Verification
I am a
Interested in
Skills
About
Security Researcher, PhD, 6 years in blockchain security. Focusing on formal verification. Founder of the company Formal Land, formally verifying Solidity, Rust, and ZK circuits.