需要留意的是，此操纵基于一个前提，即区块链B必需信任区块链A的执行机制。区块链A上正确的执行功效，代表的是区块链A上各方意愿。区块链B要验证区块链A上某个生意业务是否有效，必需信任区块链A的执行机制，并凭据区块链A的执行机制，验证区块链A的执行功效，才可判定区块链A上的某个生意业务已上链。
验区块共鸣，即验证区块的共鸣信息是否切合对应的算法条件。差异算法有差异的实现。此处给出最具代表性的两种共鸣算法：POW（事情量证明）和PBFT（实用拜占庭容错）。
今朝WeCross已实现FISCO BCOS和Hyperledger Fabric的互认互通，
跨链的基本操纵为：对方链执行某个操纵完成后，当地链才可执行另一个操纵。如下图所示：区块链A乐成执行操纵X后，区块链B执行操纵Y。X操纵是Y操纵执行的前提条件。
· 验生意业务存在：区块被验证正当后，需验证指定生意业务是否属于此区块。差异链有差异验证要领，下一节会展开描写。
1. 链间的信任，信的是什么？
在差异区块链上的实现大同小异。当前区块中记录着上一个区块的哈希值，当前区块的哈希值又在下一个区块中被记录，多个区块依次相连形成区块链。差异区块链只在哈希算法和计较区块哈希的字段上存在差别。
在WeCross中，验证区块链持续性，只需凭据相应链的实现，验证区块依次相连成链即可。
PBFT算法在多方共鸣后当即告竣一致，区块链不存在分叉和回滚的大概。在算法中，节点通过多次彼此广播签名以到达共鸣。
执行功效固然在差异区块链有差异实现方法，但万变不离其宗，区块链的焦点数据布局是以区块为单元的链式布局，生意业务存在于区块中（本文不接头DAG形式的区块链）。
· 验延迟：验证当前块是否低于已知最高块N个块（N可取为10，暗示1个小时前的区块）
· 验区块共鸣：在确认来历后，需验证区块是否代表对方链的整体意愿。此步调验证区块的共鸣信息是否切合要求，防备进攻者用未颠末共鸣的区块举办伪造。
· 验最长链：引入多方，验证当前区块处于最长链上，防备片面谎造最高块高和伪造分叉链举办作恶
因此，在WeCross中只需验证某生意业务的Merkle Path，即可判定某生意业务是否属于某区块。
SPV的初志是为了实现轻客户端，今朝已在大大都区块链上实现。跟着跨链技能鼓起，此技能也被用作验证区块中某数据的存在性。
在验区块持续上，FISCO BCOS通过比对区块头中父区块哈希与真实的父区块哈希，验证此区块是对方链的区块。
在验区块共鸣上，通过校验当前区块的签名列表，判定正当签名数量是否满意PBFT共鸣条件，确认当前区块代表了对方链的整体意愿。
POW属于最终一致性共鸣算法，通过最长链和延迟确认的方法逐渐让共鸣功效收敛一致。WeCross提供了POW验证所需步调：
验生意业务正确
可见，在整个进程中，通过验证对方链的执行功效来判定请求是否上链，是成立跨链信任的焦点步调。因而，链间的信任，以信任对方链的执行机制为前提，信的是切合执行机制的执行功效。
先说结论：链间的信任，以信任对方链的执行机制为前提，信的是切合执行机制的执行功效。
因此，在WeCross今朝的实现中，仅需判定生意业务是否在生意业务列表中（且对应flag有效），并校验生意业务列表哈希值，即可劈头判定生意业务的存在性。
通过验证生意业务哈希通向生意业务根的Merkle Path的正确性，可判定生意业务已存在于区块链上。
验生意业务存在同样需要按照差异实现判定，较量有代表性的是SPV（简朴付出验证）和背书计策。
2. 成立链间信任，需经四层验证
· 验难度：验证区块的nonce是否满意事情量证明条件
· 验区块持续：在验证开始时，需确认数据来历，基于区块链的持续性，验证区块是否归属于指定区块链，防备进攻者用任意区块链的区块举办伪造。
譬喻，预期操纵为transfer(a, b, 100)，则相应的生意业务内容不能是get(a)。验证时，需按照生意业务的编码方法和哈希算法，校验业务预期参数与生意业务哈希（或二进制）是否对应。差异区块链实现的不同只表此刻生意业务编码和哈希算法上，按照链实现回收相应要领举办校验即可。
生意业务在执行时会被多个背书节点签名，当各方签名满意背书计策时，此生意业务才被认为有效。Fabric将背书节点签名信息作为生意业务的一部弟子存于区块中。多笔生意业务构成区块内的生意业务列表。生意业务列表以二进制形式计较哈希值，此哈希值被记录于区块头中。
上节所述四层验证，在差异区块链上有差异的实现方法。WeCross的插件化框架，，界说了通用的编程接口，开拓者只需凭据链范例实现四个条理的验证逻辑即可。
验生意业务正确，是按照业务的预期参数判定前三步验证的生意业务哈希（或二进制）是否是业务预期的谁人操纵。
· 验签名：用事先设置的公钥验证区块中签名的有效性，并判定有效签名数量是否到达PBFT共鸣条件
在一条中，链上各参加方借助区块链共鸣机制成立信任体系。那么问题来了，在多条区块链的跨链场景中，链与链间的信任如何通报？链间的信任，信的是什么？这种跨链信任，又该如何成立？ 区块链A的执行功效被发到区块链B上。区块链B在执行请求Y前，必需先判定X是否上链。 上述操纵中，一个请求X颠末签名，酿成一笔生意业务发到区块链A上，颠末区块链A共鸣，生成区块。区块中包括了块头、生意业务列表等信息，块头中又包括了共鸣功效信息。上述信息都可统称为区块链的执行功效，详细流程如下图所示：
3. 各条理验证机制的实现方案
背书计策为Hyperledger Fabric所回收。在Fabric中，每笔生意业务都需满意某个事先界说好的背书计策。
5. 总结
以生意业务为例，区块头中记录了当前区块内所有生意业务哈希构成Merkle树的树根，即“生意业务根”。任何一笔生意业务，都独一对应了一条通向生意业务根的Merkle path。区块内不存在的生意业务，无法伪造出通向生意业务根的Merkle Path。
4. 完整验证进程举例
判定的要领是，在区块链B的运行情况中，验证区块链A与X相关的执行功效是否有效。验证通过，暗示X已上链，区块链B可继承执行后续步调：发送请求Y，在区块链B举办上链。
在区块中，足够数量的签名代表了区块的正当性。因此，WeCross中对PBFT的验证较为简朴：
· 设置公钥：事先设置对方链共鸣节点的公钥
验区块持续
通过验证业务预期、生意业务二进制、生意业务哈希的对应干系，可判定生意业务是业务预期的谁人操纵。四个条理验证通事后，说明业务所预期的操纵已在对方链上上链，验证完成。
WeCross中差异链的插件实现了差异的校验逻辑。FISCO BCOS插件回收的是RLP编码和SHA-256哈希算法，验证的是生意业务哈希是否正确；而Fabric插件则回收ProtoBuf编码，验证的是生意业务二进制是否正确。
个中缘由，得从跨链的基本操纵谈起。
验生意业务存在
因此，我们可将执行功效的验证分别为以下四层：链间的信任，以信任对方链的执行机制为前提，信的是切合执行机制的执行功效。执行功效是否正确，验的是四个条理的数据。验证机制在差异链有差异的实现，WeCross以插件化的方法提供支持。
· 验生意业务正确：生意业务存在性获得验证后，并不能代表此生意业务确实是跨链场景下预期的操纵，还需团结业务场景，判定生意业务的详细内容是否切合预期。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
