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