Module interactive 

The interactive version of the ZK proof. Should be completed in 3 rounds: prover commits to data, verifier responds with a random challenge, and prover gives proof with commitment and challenge.

Functions

challenge

Generate random challenge

commit

Create random commitment

prove

Compute proof for given data and prior protocol values

verify

Verify the proof