事务_微众WeCross跨链平台TTM可信事务机制

1. 两个problem

• 区块链网络需要相互获取对方链上的数据&＃xff0c;由于它们并没有参与对方区块链的共识流程
• 保证跨链交易中各自链上交易执行的事务性

2. TTM可信事务机制 (Trust Transaction Management&＃xff09;

采用密码学技术和分布式算法&＃xff0c;保证区块链平台之间交互数据的真实可信且难以篡改&＃xff0c;保证业务逻辑的原子事务性&＃xff0c;使得区块链平台之间任何关联的两个交易能够完全执行或完全回滚

2.1 spv证明

多维度的默克尔证明

• 多维度的默克尔证明&＃xff0c;不仅能够验证交易存在性&＃xff0c;还能够验证交易执行结果的正确性&＃xff0c;为跨链交易可信执行以及后续章节将讲述的事务机制提供完备的可信验证。

• 交易存在性验证是指验证某一笔交易是否真实存在于某个区块&＃xff0c;确保跨链交易中双方所声称的资产或数据是真实存在的。

• 交易执行结果正确性验证是指验证跨链交易是否已在双方各自的区块链上正确执行&＃xff0c;保证跨链交易执行结果的正确性。

其中交易存在性验证需要用到交易默克尔根&＃xff0c;交易执行结果正确性验证需要用到回执默克尔根。

3. 跨链事务机制

3.1 两阶段提交协议

投票阶段和提交阶段。为了让整个事务能够正常运行&＃xff0c;两阶段提交协议涉及三个接口&＃xff0c;分别是准备&＃xff08;Prepare&＃xff09;、提交&＃xff08;Commit&＃xff09;和回滚&＃xff08;Rollback&＃xff09;。

3.2 哈希时间锁定合约 &＃xff08;HTLC&＃xff0c;Hashed Time Lock Contract&＃xff09;

哈希时间锁定合约为区块链资源新增三个接口&＃xff0c;分别是锁定&＃xff08;Lock&＃xff09;、解锁&＃xff08;Unlock&＃xff09;和超时&＃xff08;Timeout&＃xff09;接口。

eg. 交换位于链 A 的资产 α 和位于链 B 的资产 β
step1. A 首先选取一个秘密随机数 S&＃xff0c;使用特定的哈希算法计算出 S 的哈希值 H&＃xff0c;之后 A 将H 发给 B。

step2. A 和 B 协商两个时间点 T0 和 T1&＃xff0c;确保 T0 >T1。T0 和 T1 用于避免 A 或 B 单方延误交易&＃xff0c;所以这其中的交易包 α 和交易包 β 都需要设定时间限制&＃xff0c;超出这个时间限制后&＃xff0c;相关资产立即撤销锁定&＃xff0c;原路返回。

step3. A 基于 H 和 T0 创建资产锁定智能合约 LockContractA&＃xff0c;该智能合约会锁定资产 α&＃xff0c;其可以使用 S 来解锁并将资产 α 转移给 B&＃xff0c;如果在 T0 前仍未解锁&＃xff0c;则会自动撤销锁定&＃xff0c;且不会发生任何资产转移。

step4. B 基于 H 和 T1 创建资产锁定智能合约 LockContractB&＃xff0c;该智能合约会锁定资产 β&＃xff0c;其可以使用 S 来解锁并将资产 β 转移给 A&＃xff0c;如果在 T1 前仍未解锁&＃xff0c;则会自动撤销锁
定&＃xff0c;且不会发生任何资产转移。

step5. A 使用秘密随机数 S&＃xff0c;调用 B 上的智能合约 LockContractB&＃xff0c;将资产 β 转移给 A 。

step6. 如果 A 或 B 任意一方超时未执行操作&＃xff0c;则在 T1 时间点后&＃xff0c;B 资产会撤销锁定&＃xff0c;T0时间点后&＃xff0c;A 资产会撤销锁定&＃xff0c;还原初始状态