ZKPs Made Easy: zkWeb and ZoKrates

This week saw the roll out of zkWeb, and which provides an easy way to produce Zero-Knowledge Proofs (ZKPs) [here]:

Basically, this infrastructure uses the zkokrates Javascript file ( zokrates.js) and which is an implementation of the ZoKrates toolbox for zkSNARKs on Ethereum. Basically a verifier submits key — such as a secret phase — zkWeb create a SHA-256 and converts this into a unique 14-digit hex string. This string is then passed to zokrates.js, and which uses some Solidity code to produce the ZKP.

NI-ZKP

We live in a digital world that gives too much away. Our systems are often set up to store sensitive information on us, and where we also pass this sensitive information through our applications. But, there is another way, and that’s the creation of Non-interactive Zero Knowledge Proofs (NI-ZKP). These magical little functions allow us to prove that we know something secret and give cryptographic proof for it.

So let’s take an example, and where Peggy has a secret value of x, and that Victor has stored a hash value such that:

y=H(x)