Function bitcoin_consensus::verify_script

pub fn verify_script(
    pub_key: &[u8], 
    tx: &[u8], 
    input: u16, 
    flags: ScriptVerificationFlags
) -> Result<(), ScriptVerificationError>

Verify that the transaction input correctly spends the previous output, considering any additional constraints specified by flags.