<aside> 💡
Se $G$ è un PRG la costruzione realizza uno schema di cifratura a chiave privata per messaggi di lunghezza fissa che ha cifrati indistinguibili in presenza di un eavesdropper
</aside>
Dimostrazione
Facciamo vedere che per ogni Adv $A$ PPT esiste una funzione trascurabile $negl(n)$ tale che $Pr[PrivK_{A, \Pi}^{eav} (n) = 1] \leq \frac{1}2 + negl(n)$
Costruiamo $D$ che distingue $G(k)$ da $r$ utilizzando $A$ e la sua abilità nel capire quale messaggio tra $m_0$ ed $m_1$ è stato cifrato
<aside> 💡
Distinguisher $D$
Input $\omega \in \{0,1\}^{l(n)}$
Al fine di analizzare $D$ definiamo lo schema $\tilde{\Pi} = (\tilde{Gen}, \tilde{Enc}, \tilde{Dec})$ → è esattamente OTP: $\tilde{Gen}(1^n)$ riceve in input il parametro di sicurezza $n$ e dà in output una chiave uniforme $k \in \{0,1\}^{l(n)}$
La segretezza perfetta di $\tilde{\Pi} \Rightarrow Pr[PrivK_{A, \tilde{\Pi}}^{eav}(n) = 1] = \frac{1}2$
Ora segue che:
Se risultasse $Pr[PrivK_{A, \Pi}^{eav}(n)=1] = \frac{1}2 + non\text{-}negl(n)$ allora $|Pr[PrivK_{A,\tilde \Pi}^{eav}(n) = 1]-Pr[PrivK_{A, {\Pi}}^{eav}(n) = 1]|$ $= |\frac{1}2 -(\frac{1}2 + non\text{-}negl(n))| = non\text{-}negl(n)$, cioè $|Pr_{\omega \leftarrow \{0,1\}^{l(n)}}[D(\omega) = 1]-Pr_{k \leftarrow \{0,1\}^{n}}[D(G(k)) = 1]| = non \text{-}negl(n)$
Dunque $D$ è PPT e distingue con probabilità $non\text{-}negl(n)$, ma $G$ per ipotesi è un PRG, pertanto non può essere
Deve esistere $negl(n)$ tale che $|Pr_{\omega \leftarrow \{0,1\}^{l(n)}}[D(\omega) = 1]-Pr_{k \leftarrow \{0,1\}^{n}}[D(G(k)) = 1]| \leq negl(n)$ che implica $Pr[PrivK_{A, \Pi}^{eav}(n) = 1]\leq \frac{1}2 + negl(n)$