Verified zk(E)VM
Gregor Mitscha-Baude
mitschabaude
Co-founder @zksecurity.
TypeScript hacker with 🍓 for crypto, math, zksnarks, P2P, Wasm, open source
@zksecurity Vienna, Austria
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
Formal Land Paris
