I'm the smart contracts lead at Element. Before that I did ZKP and L2 R&D at 0x, security auditing, and math research.