Re:How do we know if a crypto function is correctly implemen...
by Ono-Sendai on Wednesday August 19, 2015 @08:07AM
(#10084900)
Sure thing. I'll write a blog post about it later tonight (am on work time right now)
Brief summary however: The point of a crypto hash function is that you need to try on the order of 2^n inputs (n being length in bits of digest) to find a collision. (greater than polynomial time) However you can check any input in polynomial time. This makes it in NP. (decision problem is computable in polynomial time). I'm probably missing some details which I will think about later :)
Re:How do we know if a crypto function is correctly implemen...
by Herpyderp666 on Wednesday August 19, 2015 @08:24AM
(#10084962)
Watch Dan Boneh's coursera cryptography course where he at least mentions that provably secure cipher systems require that P != NP. Combine that with the wikipedia article on cryptographic hash functions which tells you that you can build ciphers from hash functions. Done.
Maybe you could explain how proving a hash function correct implies P!=NP?