New answers tagged interactive-proofs
2
votes
Accepted
Graph associated to a mathematical statement (for the purpose of zero-knowledge proofs)
The $NP$-problem here is not the problem of finding y,z,n, but rather the following problem:
"Given a mathematical statement $A$ that can be encoded in $n$ bits, does there exist a proof of $A$ ...
- 5,190
Top 50 recent answers are included