fn checked_legacy_signature_hash( inputs: Inputs<Fp>, signer: &PubKey, signature: &Signature, w: &mut Witness<Fp>, ) -> [bool; 255]