Questions tagged [zero-knowledge-proofs]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
22 votes
7 answers
7k views

How can you convince your colour-blind friend that two balls have the same colour?

I was reading about zero-knowledge proofs. I understand how one can convince their colour-blind friend that the two chosen balls have different colours. Now what happens if the two chosen balls have ...
user avatar
0 votes
1 answer
36 views

What is the use or how can we implement zero-knowledge proof system in Elections?

I recently heard about the concept of zero-knowledge proof. However, I still do not get how it is possible to make it a solution to some real-world problems. One thing I heard is that zero-knowledge ...
user avatar
1 vote
2 answers
76 views

Why exactly is Zero Knowledge Proof used here?

"The Ali Baba cave" example of ZKP is pictured below. There is no need for a probabilistic ZKP protocol to prove to the verifier of the statement (that the prover has the key to the door). ...
user avatar
  • 11
0 votes
0 answers
41 views

Is this an example of a zero-knowledge proof?

I want to prove to a verifier that I know the passcode of a system. The system contains data/information of the verifier of which is only contained with this system. Since I know the passcode to the ...
user avatar
  • 1
1 vote
1 answer
59 views

Prove 2 cups contain the same number of marbles without revealing quantity

I have seen proofs of this particular problem in a few articles/papers (which lead to a ZKP 2 nuclear warheads are similar), but I find a problem in the proof with the marbles - surely the proof doesn'...
user avatar
  • 111
1 vote
1 answer
23 views

Is it possible to have a zero knowledge proof with a P Prover?

In the literature, when reading about zero knowledge proofs, the prover (prover/verifier) is always given an unlimited computational power or just capacity to solve NP. Is it necessary for the prover ...
user avatar
  • 21
0 votes
1 answer
31 views

Zero knowledge proof - case of graph 3-coloring (not understanding the concept)

In zero knowledge, in the context of graph 3-coloring, I do not understand how the prover is actually showing that he solved the problem. The context: both know the graph (the prover and the verifier)...
user avatar
  • 21
3 votes
2 answers
680 views

Is there a Zero-Knowledge proof for SAT?

I know that SAT can be reduced to (3 vertex) Graph colouring, and there is a Zero-knowlegde protocol (ZKP) for graph colouring. However, I am interested in a ZKP that can be performed directly on a ...
user avatar
1 vote
2 answers
136 views

Zero-knowledge proof of intractibility of NP-complete problems

I am not an expert in Zero-knowledge proofs and I am interested in its applicability to general mathematical proofs. Suppose we're willing to assume that NP-complete problems are intractable and ...
user avatar