verify

Proof of Exponent 2: validate a proof of knowledge of the exponent y = g1^x1 g2^x2. The sigma protocol runs as follows:

    P:  k1,k2 <-- R        sends    A = g1^k1 g2^k2
    V:  c <-- R            sends    c
    P:  s1 = k1 + c*x1
    P:  s2 = k2 + c*x2     sends    s1, s2

The verifier asserts:

• g1^s1 g2^s2 == A * (y^c)

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

EC_MUL: 3; EC_ADD: 2

Fully qualified path: she::protocols::poe2::verify

pub fn verify(inputs: Poe2Inputs, proof: Poe2Proof) -> Result<(), Errors>