Actually, the EU has a project centered around zk proofs exactly for this: https://blog.google/innovation-and-ai/technology/safety-secu..., https://eudi.dev/2.7.3/discussion-topics/g-zero-knowledge-pr...