轻节点如何验证交易的存在