pub fn checked_legacy_signature_verify(
shifted: &InnerCurve<Fp>,
signer: &PubKey,
signature: &Signature,
inputs: Inputs<Fp>,
w: &mut Witness<Fp>,
) -> Boolean
pub fn checked_legacy_signature_verify(
shifted: &InnerCurve<Fp>,
signer: &PubKey,
signature: &Signature,
inputs: Inputs<Fp>,
w: &mut Witness<Fp>,
) -> Boolean