Verifying Global Identities at Scale