Function ergotree_interpreter::sigma_protocol::dlog_protocol::interactive_prover::compute_commitment

source ·

pub fn compute_commitment(
    proposition: &ProveDlog,
    challenge: &Challenge,
    second_message: &SecondDlogProverMessage
) -> EcPoint

Expand description

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”)

g^z = a*h^e => a = g^z/h^e