理解外部交易

在大多数区块链网络中,在链之间转移资产是一个复杂的过程,涉及包装代币、桥接操作员和重大信任假设。用户经常因桥接黑客攻击而丢失资金,经历长时间延迟,或支付过高费用。Quai Network 中的外部交易(ETXs)代表对区块链如何通信的根本重新构想。 ETX 是一种原生跨链交易,无需任何外部依赖即可在 Quai 区域之间转移价值。这些交易利用保持所有链同步的相同哈希链接引用,使它们与常规链上转账一样安全。无桥接操作员,无包装代币,无信任假设——只有纯密码学保证。 ETX 的旅程: 每个 ETX 都遵循通过 Quai 层次结构的确定性路径。就像水流经河流系统一样,交易总是流向汇合点(主导链),然后流回到目的地。这种可预测的路由确保安全性,同时保持效率。 ETXs 总是通过层次结构中的主导链,无论是区域链还是主链。以下图表说明了这两种路由模式:

ETXs 如何导航网络

理解 ETXs 如何在 Quai 层次结构中移动对开发者和用户都很重要。该系统既安全又高效,确保跨链转账可靠完成,而不会在网络中创建瓶颈。 每个 ETX 都在我们称为”原始链”的地方开始其旅程——交易发起的区域。最终目的地被适当地称为”目标链”。在这两点之间,交易遵循特定路径:向上通过层次结构到共享的主导链,然后回到目标。这种路由基于目标地址自动发生。 两种类型的跨链操作: Quai 支持两种不同类型的 ETXs,每种服务于不同的用例:
  1. 账户发起的 ETXs:普通用户在区域之间发送资产
  2. 合约发起的 ETXs:智能合约以编程方式触发跨链操作
通过创新提高效率: 传统跨链系统单独处理每个交易,创造了显著的开销。Quai 实现了一种创新的汇总机制,在区块头中批处理 ETX 数据。这种前向传播系统将处理需求减少了 30 倍以上,使网络能够处理大量跨链交易而不会拥塞。将其想象成载着许多包裹的货船,而不是为每次递送发送单独的船只。

账户发起的 ETXs:用户转账

账户发起的 ETXs 代表最常见的跨链交易类型——用户在区域之间转移资产。这些交易遵循可预测的两阶段过程,确保安全性,同时保持合理的速度。理解这个过程有助于用户为跨链转账设定适当的期望。 旅程开始于用户发起到不同区域地址的转账。网络基于目标地址格式自动识别这是跨链操作,并开始 ETX 过程。从用户的角度来看,他们只需指定接收者地址和金额——复杂性完全由协议处理。

阶段 1:向上移动层次结构

第一阶段涉及通过网络层次结构向上移动交易数据,直到到达可以与目标区域协调的链。这种向上传播遵循以下步骤:
  1. 初始广播:交易作为标准内部交易提交到原始区域
  2. 本地处理:原始区域的矿工将交易包含在区块中,从发送者移除余额并创建一个或多个 ETXs
  3. 向上传播:ETX 数据被转发到层次结构中的主导链
  4. 重合区块收集:当重合区块发生时,主导链从其下级区域收集所有待处理的 ETXs
  5. 继续升级:如果目标需要通过更高的链(如主链)进行协调,过程向上重复

阶段 2:客观规范化和交付

一旦 ETX 到达协调点,客观规范化的关键过程开始。这个阶段利用 Quai 的哈希链接引用系统确保只有有效的规范 ETXs 被执行:
  1. 哈希链接引用创建:当找到重合区块时,从自上次来自同一位置的重合区块以来每个区块的下级清单中的每个哈希收集待处理的 ETXs
  2. 客观规范化:所有发送到当前链或下级链的 ETXs 被识别并通过这些客观哈希链接证明变得可引用
  3. 预计算状态传播:规范化的 ETXs 被传播到目标链,在那里它们被添加到待处理 ETX 集合并可供挖矿
  4. 带证明的最终执行:只有在客观哈希引用证明了发出的 ETX 的规范化后,ETX 才被包含在目标链的区块中,将余额添加到接收地址
这个过程确保每个跨链转账保持与本地交易相同的安全保证,具有有效性的数学证明而非基于信任的假设。整个过程通常在几分钟内完成,同时提供密码学确定性。

合约发起的 ETXs:智能合约交互

合约发起的 ETXs 使智能合约能够以编程方式触发跨链操作,释放复杂的多链应用程序。该过程利用确保安全性的相同客观哈希链接引用系统,但添加智能合约逻辑来确定何时需要跨链操作。

阶段 1:智能合约逻辑和向上传播

智能合约使用专门的操作码做出跨链决策,并在必要时发出 ETXs:
  1. 合约交互启动:用户调用合约函数,可能触发 ISADDRINTERNAL 便利操作码来检查地址本地性
  2. 跨链决策:如果 ISADDRINTERNAL 返回 FALSE(表示跨链地址)或其他合约逻辑被触发,合约使用 OP_ETX 发出 ETXs
  3. 层次传播:ETX 被传播到层次结构中的主导对等点
  4. 重合区块收集:当找到重合区块时,主导对等点通过下级清单链接收集所有待处理的 ETXs
  5. 继续升级:如果目标链有主导链(即,是区域链),步骤 3 和 4 向上重复

阶段 2:客观规范化和执行

向下阶段依赖于 Quai 独特的客观哈希引用系统来确保 ETX 有效性:
  1. 哈希链接引用创建:当重合区块发生时,从自上次重合区块以来每个区块的下级清单中的每个哈希收集待处理的 ETXs
  2. 客观规范化:发送到当前链或下级链的 ETXs 被识别并通过这些哈希链接证明变得可引用
  3. 预计算状态可用性:待处理的 ETXs 被传播到目标链并添加到待处理 ETX 集合,可用于挖矿
  4. 带证明的最终执行:只有在客观哈希引用证明了发出的 ETX 的规范化后,ETX 才被包含在目标链区块中
这个系统确保合约发起的跨链操作保持与本地交易相同的安全保证,同时支持复杂的多链应用程序逻辑。

ETX 汇总的前向传播

Quai 的关键创新之一是其在处理大量跨链交易方面的效率。传统系统单独处理每个跨链操作,创造了显著的计算开销。Quai 实现了一个复杂的汇总机制,批处理和预处理 ETX 数据,在保持安全性的同时将计算需求减少了 30 倍以上。 区块头数据字段: 每个 Quai 区块头包含两个用于 ETX 管理的专门字段:
  • etxTransactions:哈希列表,其中每个哈希代表从该特定区块发出的唯一 ETX
  • etxRollupRoot:单个哈希,代表自上一个重合区块以来发出的所有 ETXs 的累积汇总
预计算状态转换: etxRollupRoot 字段在每个本地共识点传播到协调区块链,使目标链能够在 ETX 规范化之前预计算状态转换。这种准备在 ETX 最终到达执行时大大减少了处理时间。 关键安全约束: 必须理解,预计算状态转换在提供原始链和目标链之间的客观哈希链接引用之前是不可引用或规范化的。这确保只有规范的 ETXs 能够影响链状态,防止任何无效或欺诈性跨链操作的可能性。 下级区块清单: 哈希链接引用通过称为下级区块清单(subManifest)的专门数据字段创建。该字段在常规区块中保持空白,但在重合区块中变得至关重要,其中包含自先前重合区块以来产生的所有下级区块哈希的完整列表。这在每个主导区块链内创建了对所有下级区块的直接、客观引用,建立了保护整个 Quai Network 的哈希链接引用。 当向已接收预计算转换集的协调上下文提供哈希链接引用的那一刻,ETX 变得可规范验证,状态转换变得可引用和可执行。这个系统为跨链操作提供了效率和安全性的完美平衡。