Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective logic 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.
Support
Help support Wordnik (and make this page ad-free) by adopting the word zero-knowledge.
Examples
-
SpiderOak is available for both Linux, Mac and Windows and incorporates 100% zero-knowledge online backup, sync, storage, access and share.
-
But, that is lost on process-liberals who engage in zero-knowledge regulation or, more likely, Hold Harmless! extortion.
Matthew Yglesias » Arctic Seabed Methane Stores Destabilizing 2010
-
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 zero-knowledge proof systems, besides its connections to formal ethics and game semantics.
Combining Logics Carnielli, Walter 2007
-
The usual way is to publish the proof, but an alternative way is via zero-knowledge protocols.
-
There is also the notion of “zero-knowledge” proof.
-
In general, any mathematical proof can be converted into a zero-knowledge 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 zero-knowledge manner convince the world that you know of an appropriate path in the graph.
-
Which is ultimately irrelevant: if those methods exist, then zero-knowledge protocols, and cryptography in general, are dead.
-
There is also the notion of “zero-knowledge” proof.
-
An actual zero-knowledge proof using a rigorous protocol would, presumably, be a reasonable substitute for an actual proof up to a high probability though my knowledge of zero-knowledge proofs are pretty limited.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.