Scalable interoperability of agents and zero knowledge proofs

Just wondering if the foundation intends to utilize zero knowledge proofs in the context of facilitating scalable interoperability between agents ?
I intend this to be a general discussion as I myself am merely working through the content of ‘AI a modern approach’ at the moment.