Category: Zcash (ZEC)

Explaining SNARKs Part VI: The Pinocchio Protocol

<< Part V

In part V we saw how a statement Alice would like to prove to Bob can be converted into an equivalent form in the “language of polynomials”
called a Quadratic Arithmetic Program (QAP).

In this part, we show how Alice can send a very short proof to Bob …