ul.breadcrumb { background-color: transparent; } #body-wrapper ul.breadcrumb li a { color: #666; }
Home
Knowledgebase
StarkWare - Scalability Engine
What are Zero-Knowledge Proofs?
What are Zero-Knowledge Proofs?
.text-content h1 { font-size: 160%; background-color: transparent; }
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.
*
Written By:
Dan Yanev
Last Edited:
2020-06-012020-06-01
Tagged:
ProofsZero KnowledgeScalingStarkware
Did this solve your problem?
Yes No
Home
Knowledgebase
StarkWare - Scalability Engine
What are Zero-Knowledge Proofs?
What are Zero-Knowledge Proofs?
.text-content h1 { font-size: 160%; background-color: transparent; }
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.
*
Written By:
Dan Yanev
Last Edited:
2020-06-012020-06-01
Tagged:
ProofsZero KnowledgeScalingStarkware
Did this solve your problem?
Yes No