What are Zero-Knowledge Proofs?
Zero-Knowledge Proofs are cryptographic proofs of Computational Integrity (CI), where no additional information is revealed.
Proofs of CI are, as the name suggests, proofs that a computation was done correctly. In a CI protocol, there are two entities: a prover and a verifier. The prover takes a given computation - a computational statement - proves that it was done correctly, and presents this proof to the verifier. The verifier then verifies the proof - not the original computation - and can thus be satisfied that the original computation is correct.
The Zero-Knowledge component means the verifier did not learn any new information, besides the statement that was proven.
Zero-Knowledge Proofs are cryptographic proofs of Computational Integrity (CI), where no additional information is revealed.
Proofs of CI are, as the name suggests, proofs that a computation was done correctly. In a CI protocol, there are two entities: a prover and a verifier. The prover takes a given computation - a computational statement - proves that it was done correctly, and presents this proof to the verifier. The verifier then verifies the proof - not the original computation - and can thus be satisfied that the original computation is correct.
The Zero-Knowledge component means the verifier did not learn any new information, besides the statement that was proven.
Updated on: 01 / 09 / 2021