verify

Proof of Exponent: validate a proof of knowledge of the exponent y = g ^ x. The sigma protocol runs as follow:

    P:  k <-- R        sends    A = g ^ k
    V:  c <-- R        sends    c
    P:  s = k + c*x    sends    s

The verifier asserts:

• g^s == A * (y^c)

notation: (P)rover (V)erifier (R)andom

EC_MUL: 2; EC_ADD: 1

Fully qualified path: she::protocols::poe::verify

pub fn verify(inputs: PoeInputs, proof: PoeProof) -> Result<(), Errors>