# Tag Info

For the sake of readability we adjust the notation somewhat. Let $\Pi=(Gen,Enc,Dec)$ be a $\mathsf{CPA}$-secure public-key encryption scheme with message space $\mathcal{M}$. We wish to prove that $\Pi^2=(Gen^2,Enc^2,Dec^2)$, with message space $\mathcal{M}\times\mathcal{M}$ is also $\mathsf{CPA}$-secure, where $\underline{(pk,sk)\gets Gen^2(1^n)}$: \$(pk_\...