# Lecture 4 ## Recap Negligible function $\varepsilon(n)$ if $\forall c>0,\exist N$ such that $n>N$, $\varepsilon (n)<\frac{1}{n^c}$ Ex: $\varepsilon(n)=2^{-n},\varepsilon(n)=\frac{1}{n^{\log (\log n)}}$ ### Strong One-Way Function 1. $\exists$ a P.P.T. that computes $f(x),\forall x\in\{0,1\}^n$ 2. $\forall a$ adversaries, $\exists \varepsilon(n),\forall n$. $$ P[x\gets \{0,1\}^n;y=f(x):f(a(y,1^n))=y]<\varepsilon(n) $$ _That is, the probability of success guessing should decreasing as encrypted message increase..._ To negate statement 2: $$ P[x\gets \{0,1\}^n;y=f(x):f(a(y,1^n))=y]=\mu_a(n) $$ is a negligible function. Negation: $\exists a$, $P[x\gets \{0,1\}^n;y=f(x):f(a(y,1^n))=y]=\mu_a(n)$ is not a negligible function. That is, $\exists c>0,\forall N \exists n>N \varepsilon(n)>\frac{1}{n^c}$ $\mu_a(n)>\frac{1}{n^c}$ for infinitely many $n$. or infinitely often. > Keep in mind: $P[success]=\frac{1}{n^c}$, it can try $O(n^c)$ times and have a good chance of succeeding at least once. ## New materials ### Week One-Way Function $f:\{0,1\}^n\to \{0,1\}^*$ 1. $\exists$ a P.P.T. that computes $f(x),\forall x\in\{0,1\}^n$ 2. $\forall a$ adversaries, $\exists \varepsilon(n),\forall n$. $$ P[x\gets \{0,1\}^n;y=f(x):f(a(y,1^n))=y]<1-\frac{1}{p(n)} $$ _The probability of success should not be too close to 1_ ### Probability ### Useful bound $0