Lecture 12
Continue on pseudo-randomness
and are distinguishable by if distinguisher
- If for infinitely many n, then and are distinguishable.
- Otherwise, indistinguishable ()
Property: Closed under efficient procedures.
If is any n.u.p.p.t. which can take a ample from from as input
If , then so are
Proof:
If distinguishes and by then is also a polynomial-time distinguisher of .
Hybrid Lemma
Let are ensembles indexed from
If distinguishes and by , then where and are distinguished by by
Proof: (we use triangle inequality.) Let . We have
Using telescoping tricks:
If all contradiction.
In applications, only useful if polynomial
If and are distinguishable by , then inner "hybrids" are distinguishable
Example:
For some Brian in Week 1 and Week 50, a distinguisher outputs 1 if hair is considered "long".
There is some week
By prediction lemma, there is a machine that could
Next bit test (NBT)
We say passes the next bit test if on and for all adversaries (given first bit, the probability of successfully predicts th bit is almost random )
Note that for any , and any ,
If (pseudorandom), then must pass NBT for all .
Otherwise where for infinitely many ,
We can build a distinguisher from .
The converse if True!
The NBT(Next bit test) is complete.
If on passes NBT, then it's pseudorandom.
Idea of proof: full proof is on the text.
Our idea is that we want to create and
We construct "random" bit stream:
If were not pseudorandom, there is a
By hybrid lemma, there is where:
is the step we need to take transform to
Let,
notice that only two bits are distinguished in the procedure.
D can distinguish from a truly random , knowing the first bits came from
So can predict from (contradicting with that passes NBT)
EOP
Pseudorandom Generator
Suppose is a pseudorandom generator if the following is true:
- is efficiently computable.
- (expansion)
- is pseudorandom
truly random bits pseudorandom bits
PRG exists if and only if one-way function exists
The other part of proof will be your homework, damn.
If one-way function exists, then Pseudorandom Generator exists.
Idea of proof:
Let be a strong one-way permutation (bijection).
Not all bits of would be hard to predict.
Hard-core bit: One bit of information about which is hard to determine from . success
Depends on