Function signature_verifies

fn signature_verifies(
    shifted: &InnerCurve<Fp>,
    payload_digest: Fp,
    signature: &Signature,
    pk: &CompressedPubKey,
    w: &mut Witness<Fp>,
) -> Boolean