- Alice publicly shares encrypted message $E_k(m)$.
- Alice publicly shares the key encrypted with Bob's public key $E_\mathit{bob}(k)$.
- Alice wants to create a Zero-Knowledge Proof that this is indeed the key that unlocks $E_k(m)$ encrypted with Bob's public key, such that anyone can be convinced that Bob can now know the message $m$ by decrypting $E_k(m)$ without revealing any information about $m$ or Bob's private key.
Is this possible using cryptographic tools (ZKPs, SNARKS, hashes, etc...)?