1.一种面向联盟链跨链交易的查询验证方法，其特征在于，包括：

S1：源链将链内的所有跨链交易查询请求封装为用户查询集，再利用跨链网关将用户查询集发送至目标链；

S2：目标链根据用户查询集中的跨链交易查询请求查询跨链交易所在的目标区块，将所有查询到的目标区块封装成目标区块集合；并将目标区块集合发送至构造器；

S3：构造器解析出目标区块集合中所有的交易，并基于RSA密码累加器算法对目标区块集合中的交易进行加密生成新的链式结构；并根据新的链式结构对目标区块集合中用户查询集对应的交易进行批量验证生成用户查询集的证明；并将用户查询集的证明返回给目标链；

所述基于RSA密码累加器算法对目标区块集合中的交易进行加密生成新的链式结构包括：S31：设GT是阶为素数Q的乘法循环群，g表示GT的生成元，构造器从GT中随机选取大素数p和q，选择哈希函数Hash＝Hash2prime()；

S32：针对目标区块集合中的每个交易Txi生成其头部信息Hi，即Hi＝Hash2Prime(Txi)；

S33：根据目标区块集合中每个交易Txi的头部信息生成链式结构的头部信息即Hhead＝∏Hi和 Txi表示目标区块集合中的第i个交易；

S34：计算目标区块集合中每个交易Txi的辅助累加值 Hj表示

目标区块集合中的第j个交易的头部信息；

S35：根据链式结构的头部信息、目标区块集合中每个交易的头部信息和辅助累加值生成新的链式结构，其中，modN表示对N进行模运算，N是p和q的乘积；

S4：目标链将用户查询集的证明通过跨链网关发送给源链；源链将用户查询集的证明发送给验证器，验证器对用户查询集的证明进行验证，并将验证结果返回给源链；源链将用户查询集证明的验证结果进行上链并返回给发起跨链交易查询请求的用户。

2.根据权利要求1所述的一种面向联盟链跨链交易的查询验证方法，其特征在于，所述根据新的链式结构对目标区块集合中用户查询集对应的交易进行批量验证生成用户查询集的证明包括：S301：当用户查询集中只有1个交易Txs1的时候，则构造器生成用户查询集的证明{Txs1,Hs1,accs1}；其中，Hs1表示交易Txs1的头部信息，accs1表示交易Txs1的辅助累加值；

当用户查询集中有多个交易的时候，则计算 其中， 表示用户查询集中

第j个交易Txsj的头部信息；

S302：判断gcd(Hhea,μ)是否为1，如果gcd(Hhead,μ)为1，则执行步骤S303，反之则执行步骤S304；

S303：将用户查询集中所有的交易存入集合Set1，并生成用户查询集的证明{Set1，λ1，Flag1}，其中，λ1＝μ，Flag1＝FLASE；

S304：计算Hhead和 的最大公约数 根据 分解后的

素数集合和用户查询集中交易的头部信息找到对应的交易，将找到的所有交易放入集合Set2，生成用户查询集的第一部分证明{Set2,λ2，Flag2}， Flag2＝FLASE；并根据分解后的素数集合和用户查询集中交易的头部信息找到对应的交易，将找到的所有交易放入成员集合Set3；生成用户查询集的第二部分证明{Set3,λ3，Flag3}，Flag3＝TRUE；则用户查询集的证明包括：{Set2,λ2，Flag2}和{Set3,λ3，Flag3}，Flagk表示构造器对用户查询集证明的承诺签名，k＝1，2，3，Factor()表示素数因式分解函数。

3.根据权利要求2所述的一种面向联盟链跨链交易的查询验证方法，其特征在于，所述验证器对用户查询集的证明进行验证包括：当用户查询集中只有1个交易Txs1的时候，则验证器获取新的链式结构的头部信息Hhead和w；并判断gcd(Hhead,Hs1)是否为1，若gcd(Hhead,Hs1)不为1则判断 和w是否相等，若是则验证通过，向源链返回{Txs1，TRUE′}；

当用户查询集中有多个交易的时候，则验证器获取新的链式结构的头部信息Hhead和w；

将用户查询集中的每个交易映射为素数hsj＝Hash2Prime(Setsj)，计算θ＝∏hsj，如果Flagk等于TURE，判断 是否成立，如果成立，则向源链返回{Setk,λk,Flagk,TURE′}，反之，则向源链返回{Setk,λk,Flagk,FALSE′}；

如果Flagk等于FALSE，判断gcd(θ,Hhead)＝1是否成立，如果成立，返回{Setk,λk,Flagk,TURE′}，反之，则返回{Setsj,λsj,Flagswj,FALSE′}，其中，TURE′和FALSE′表示验证器对用户查询集证明的承诺签名。

4.根据权利要求1所述的一种面向联盟链跨链交易的查询验证方法，其特征在于，所述验证器和构造器分别由目标链和源链中的多个用户客户端节点组成。