Yeah I came to that conclusion as well, though from zkevm.bio (which has a Venmo link) but was unsure about dropping his name publicly.