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