> Besides, the fact that current tools rely on the != conjecture doesn't require future tools to do so. Depends on what kind of tools you're talking about. For

> Besides, the fact that current tools rely on the != conjecture doesn't require future tools to do so. Depends on what kind of tools you're talking about. For instance, if P==NP then there can be no such thing as a secure digital signature algorithm; anybody who can efficiently verify a signature can also forge one. (Making the usual simplification that "efficient" == "polynomial-time", that is.)