Category: Zcash (ZEC)

Explaining SNARKs Part VII: Pairings of Elliptic Curves

<< Part VI

In Part VI, we saw an outline of the Pinocchio zk-SNARK.
We were missing two things – an HH that supports both addition and multiplication that is needed for the verifier’s checks,
and a transition from an interactive protocol to a non-interactive proof system.

In this post we will …