Fascinating that the same company producing zero knowledge proof implementation didn't think to use it for the purpose they mention here. Do these departments not talk to each other?

It's Google we're talking about. Likely the left hand has no idea of what the right hand is doing. And it's got far more than two hands.

What property would they prove? The whole point (supposedly anyway) is they know your actual identity in case you publish malware.