pub fn verify_taproot_commitment(
    control: &Vec<u8>,
    program: &Vec<u8>,
    tapleaf_hash: &u256
) -> bool