检查控制块结构是否符合Taproot路径要求。
确认脚本叶子与输出公钥承诺关系。
确认交易引用的确是预期Taproot输出。
不能,地址格式与脚本承诺验证是两项检查。
不应,需先确认见证数据完整且匹配。