Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 adj. Describing situations in which the veracity of a statement may be shown to be true without revealing any other information
Etymologies
Sorry, no etymologies found.
Examples

But, that is lost on processliberals who engage in zeroknowledge regulation or, more likely, Hold Harmless! extortion.
Matthew Yglesias » Arctic Seabed Methane Stores Destabilizing

SpiderOak is available for both Linux, Mac and Windows and incorporates 100% zeroknowledge online backup, sync, storage, access and share.

Other applications of combinations of logics include software specification, knowledge representation, architectures for intelligent computing and quantum computing, security protocols and authentication, secure computation and zeroknowledge proof systems, besides its connections to formal ethics and game semantics.

In general, any mathematical proof can be converted into a zeroknowledge protocol of this form, although it is usually less obvious than the P=NP example

In general, you can always embed your proof into a deduction graph, and then in a zeroknowledge manner convince the world that you know of an appropriate path in the graph.

An actual zeroknowledge proof using a rigorous protocol would, presumably, be a reasonable substitute for an actual proof up to a high probability though my knowledge of zeroknowledge proofs are pretty limited.

There is also the notion of “zeroknowledge” proof.

The usual way is to publish the proof, but an alternative way is via zeroknowledge protocols.

Which is ultimately irrelevant: if those methods exist, then zeroknowledge protocols, and cryptography in general, are dead.

I accept the concept of zeroknowledge proofs as cryptographic protocols, but your thought experiment roughly: send me intractable problems that I solve without telling you how; therefore you eventually conclude I have a polynomial time algorithm is only a proof of P=NP is you make particular assumptions about what kind of computational model can be embedded in a physical system.
Wordnik is becoming a notforprofit! Read our announcement here.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.