A developer working on formal verification for smart contracts and cryptography, recognized by Solana co-founder @toly.