Re: Blum-Micali construction reverse order
- From: longfu84@xxxxxxxxx
- Date: 27 Feb 2007 03:42:54 -0800
Hi,
I don't have the original paper, but the above link seems confused.That it would be a nightmare and that it doesn't matter from an
There's absolutely no reason why one should reverse the output, in fact,
any such reversal would be a nightmare from an implementation point
of view.
implementation point of view is clear for me. However, I'd like to
understand why it is nevertheless necessary in the proof. I thought
about the following argumentation:
The proof of the BM-construction is given by a reduction argument,
that is, given $f(x)=\widetilde{x}$ we have to `design' an efficient
algorithm $A'$ that predicts $B(x)$. We can use therefore algorithm $A
$ that breaks the PRG. However, note that $A$ has to succeed in
predicting some bit: first, second, ... , i-th, ... , n-th. Our
algorithm $A'$ works as follows:
\begin{enumerate}
\item Pick $i \in [1,n]$ at random.
\item Set $x_{n-i+2} = \widetilde{x}$ and compute $x_{n-i+3} =
f(x_{n-i+2}), \ldots , x_n= f(x_{n-1})$.
\item When $A$ asks for the first bit, give it $B(x_n)$, for the
second bit, give it $B(x_{n-1})$ and so on.
\end{enumerate}
The output of this is equal to the output starting with
$log_g(log_g(\ldots (x)\ldots ))$ ($n-i$ logs here). When $A$ predicts
the $i$-th bit we output this as our output for the hardcore predicate
$B(x)$. So far it's the argumentation form the lecture note. Now what
would happen in this proof if we output the bits in order $B(x_1),
B(x_2), \ldots , B(x_n)$: if $A$ asks for the first bit we cannot
answer with the correct bit. To clarify this consider we have chosen
the $i=n$. In this case we set $x_2 = \widetilde{x}$. However, we
cannot compute the correct $x_1 = log_g(\widetilde{x})$ because
therefore we have to invert the one-way function. Thus, we cannot
answer the question of $A$ in a consistent way or we have to choose it
just randomly.
However, in my opinion one cannot assume that an adversary cannot
distinguish randomly chosen bits from bits that are consistent with
the others.
What do you think about this argumentation?
-L
.
- Follow-Ups:
- Re: Blum-Micali construction reverse order
- From: Kristian Gjøsteen
- Re: Blum-Micali construction reverse order
- References:
- Blum-Micali construction reverse order
- From: longfu84
- Re: Blum-Micali construction reverse order
- From: Kristian Gjøsteen
- Re: Blum-Micali construction reverse order
- From: longfu84
- Re: Blum-Micali construction reverse order
- From: Kristian Gjøsteen
- Blum-Micali construction reverse order
- Prev by Date: Re: generating a primitive polynom for LFSR
- Next by Date: Re: Ref for a proof?
- Previous by thread: Re: Blum-Micali construction reverse order
- Next by thread: Re: Blum-Micali construction reverse order
- Index(es):
Relevant Pages
|
|