Founder/Security researcher at Formal Land Formal verification in Rocq (PhD). Solitity/Rust/ZK Discuss: https://calendly.com/guillaume-claret