Module interactive 

Interactive version of the proof

Functions

challenge

Generate random challenge

commit

Create random commitment

prove

Compute proof for given data and prior protocol values

verify

Verify the proof