_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(
    y: NonZero<EcPoint>, g: NonZero<EcPoint>, A: NonZero<EcPoint>, c: felt252, s: felt252,
) -> Result<(), Errors>