Module interactive_prover

Interactive prover

Functions

compute_commitment

The function computes initial prover’s commitment to randomness (“a” message of the sigma-protocol) based on the verifier’s challenge (“e”) and prover’s response (“z”)

first_message

Step 6 from https://ergoplatform.org/docs/ErgoScript.pdf For every leaf marked “real”, use the first prover step of the sigma protocol for that leaf to compute the necessary randomness “r” and the commitment “a”