P vs NP and its application to zero knowledge proofs
The P = NP problem asks: “If we can quickly verify a solution to a problem is correct, can we also quickly compute the solution?” Most researchers believe the answer is no, i.e., P ≠ NP. By understanding the P vs NP problem, we can see how Zero Knowledge Proofs (ZKPs) fit into the larger field of computer science and comprehend what ZKPs can and cannot do. It is far easier to “get” Zero Knowledge Proofs by relating them to the P vs NP problem. This tutorial has three parts: P vs NP Expressing problems and solutions as a Boolean formula P vs NP and ZKP We assume the reader is familiar with time complexity and big O notation. We say an algorithm takes polynomial time if it runs in 𝒪(nᶜ) time or better, where n is the size of the input and c is a constant. We may refer to algorithms that run in polynomial time or faster as efficient algorithms because their running time doesn't grow too quickly with the input size. We say an algorithm takes exponential time or is expensive if it runs in
The P = NP problem asks: “If we can quickly verify a solution to a problem is correct, can we also quickly compute the solution?” Most researchers believe the answer is no, i.e., P ≠ NP. By understanding the P vs NP problem, we can see how Zero Knowledge Proofs (ZKPs) fit into the larger field of computer science and comprehend what ZKPs can and cannot do. It is far easier to “get” Zero Knowledge Proofs by relating them to the P vs NP problem. This tutorial has three parts: Explaining the P vs NP problem Expressing problems and solutions as a Boolean formula P vs NP and how they relate to Zero
Explore this link on the map →saved by
related reading
- Arithmetic Circuits for ZK | RareSkillsrareskills.io
- P versus NP problem - Wikipediaen.wikipedia.org
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- Zero-knowledge proof - Wikipediaen.wikipedia.org
- Lecture 14: Zero knowledge proofsboazbarak.org
- What P vs NP is actually about – Vasek Rozhon's blogvasekrozhon.wordpress.com
- Zero-Knowledge Proofs | MIT CSAIL Theory of Computationtoc.csail.mit.edu
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- Using ZK Proofs to Fight Disinformation | by Dan Boneh | Mediummedium.com
- NP (complexity) - Wikipediaen.wikipedia.org
- From Theory to Practicezeroknowledgeblog.com