Skip to main content
Post Made Community Wiki by Stefan Kohl
Source Link

I doubt it. If nothing else, you would have a proof of P=NP as well, and since zero-knowledge proofs depend on the hardness of certain problems, you would "have a proof" that you could not have a zero-knowledge proof.

I suggest rephrasing the question so that it is less likely to be closed. Perhaps something like "Has anyone considered the impact of inconsistent theories on zero knowledge proofs (and published their considerations)?"

Gerhard "Ask Me About System Design" Paseman, 2010.12.09