预言机系统

1. 一个提交接口，供求解器提交其已填充的输出。它应接受任意的待验证载荷，然后调用相关的输出结算合约以检查这些载荷是否有效。如果预言机能够自行证明合约调用、事件或存储，则提交是自动的，此要求不适用。 预言机实现可以通过 IAttester 接口来验证输出是否已被填充：
   interface IAttester {
     function hasAttested(
         bytes[] calldata payloads
     ) external view returns (bool);
   }
   
2. 实现验证接口，使输入链能够检查某个输出是否已被填充：
     interface IInputOracle {
         function efficientRequireProven(
           bytes calldata proofSeries
       ) external view;
     }
   

• 提交或接收接口不必标准化，但你必须记录文档，以便求解器能够实现它们。
• 预言机系统可以采用自动中继或手动中继。
• 预言机系统的信任假设必须明确，以便意图签发者和求解器能够做出明智的决策。

​

已实现的验证接口

1. 自助式（Self-serve）：在此类验证接口中，提交有效载荷会生成一个链下证明，该证明必须被收集并提交到输入链上。
   • Polymer —— EVM、Tron 和 Solana
   • Wormhole —— EVM 和 Solana（当前主网部署见下文）
2. 自动式（Automatic）：在此类验证接口中，提交有效载荷会自动将相关证明送达输入链上。
   • Hyperlane
   • Chainlink CCIP
   • Axelar
   • LayerZero
3. 同链式（Same Chain）：使用输出结算为其自身生成预言机证明，从而跳过专用的预言机系统。
   • OutputSettlerSimple

​

OutputSettlerSimple

function setAttestation(
  bytes32 orderId,
  bytes32 solver,
  uint32 timestamp,
  MandateOutput calldata output
) external

​

Solana 上的同链意图

​

Polymer

• gas 成本低。
• 延迟低，可实现快速结算。
• Polymer 一次只能证明一个输出，因此求解器必须自行实现批量证明才能保持效率。
• 广播（Broadcast）

event OutputFilled(
  bytes32 indexed orderId,
  bytes32 solver,
  uint32 timestamp,
  MandateOutput output,
  uint256 finalAmount
);

​

Solana 上的 Polymer

• 输出侧（Solana 上的一次填充）：填充之后，求解器通过以下两条指令之一导出该填充。两者都会针对每个描述对应的 LocalAttestation 进行验证，并发出一行 Prove: 日志，供 Polymer 在输入链上进行证明：
  • submit(source, fill_descriptions) —— 无需许可，且不消费认证。它唯一的具名账户是 oracle_polymer 状态 PDA；remaining_accounts 为每个载荷放入一个只读认证。认证会原样保留，因此如果日志丢失或未能被证明，可以直接再次提交。
  • submit_consume(source, fill_descriptions) —— 还会消费每个认证，即关闭它并退还其租金（如果记录中的支付方是可执行账户，该认证只会被标记为已消费，租金则被推迟退还）。具名账户：submitter（签名者）、oracle_polymer、Polymer 的 local_consumer PDA（2m1udXnYmaxjSXBBE88yZZcwrtT127DqLcwK9B3WCAus）以及 intents_protocol。remaining_accounts 为交错排列的可写账户对 [attestation_0, rent_refund_0, attestation_1, rent_refund_1, …]。对于每个填充载荷，submitter 必须是该认证中记录的租金支付方——即签署该次填充的 Solana 账户，而不是 filler_data 中的求解器 id——否则会以 UnauthorizedFillSubmitter 失败。因此，一个消费型批次不能混合来自不同填充者的填充。未填充载荷则任何人都可以提交。
  已消费的认证不再是有效证明，因此两条指令都无法再次导出它。请只在不再需要重新提交时才进行消费——例如，在某次 submit 的日志已经被证明之后。
• 输入侧（等待远程证明的 Solana 订单）：接收流程最终都会以 receive_attest() 结束，它从证明器的结果账户读取已验证的事件，通过 ChainMapping 映射源链 id，并注册认证。

1. 调用 create_polymer_accounts()。
2. 每个分块调用一次 load_proof_chunk(chunk)。
3. 以约 1,000,000 CU 的计算预算调用 validate_event()。
4. 调用 receive_attest()。

​

Wormhole

• 通过去中心化的 guardian 集合来保障安全。
• 支持在单个 VAA 中批量证明多个输出。
• 与替代方案相比速度较慢。
• 广播（Broadcast）

function submit(
  address source,
  bytes[] calldata payloads
) public payable returns (uint256 refund);

​

部署

• 在 EVM 上，submit 以 consistency level 15 发布 Wormhole 消息。
• 通过 Wormholescan API 获取已签名的 VAA。
• 投递不是自动的：求解器（或任何调用者）必须将 VAA 提交到输入链上的 receiveMessage。

​

Solana 上的 Wormhole

• 输出侧：submit(source, fill_descriptions) 会验证并消费各笔填充的 LocalAttestation 账户，然后发出一条覆盖所有这些填充的 Wormhole 消息（finality：finalized）。remaining_accounts 为交错排列的可写账户对 [attestation_0, rent_refund_0, …]，且批次不能为空。由具名的 submitter 和一个全新的 post_message 账户签名；没有填充者签名的要求。VAA emitter 即为该预言机的 PDA。
• 输入侧：receive 指令验证一条已发布的 VAA，通过 ChainMapping 映射 emitter 链，并为每个载荷创建一个 Attestation。remaining_accounts 为每个解码出的载荷放入一个可写的目标认证 PDA，按载荷顺序排列，不含租金退还槽位；由具名签名者为其创建付费。

​

Hyperlane

• 高度可定制的安全模块。
• 支持在单条消息中批量证明多个输出。
• 强抗审查保证。
• 自动或手动中继。

function submit(
  uint32 destinationDomain,
  address recipientOracle,
  uint256 gasLimit,
  bytes calldata customMetadata,
  address source,
  bytes[] calldata payloads
) public payable

​

Chainlink CCIP

• 通过 Chainlink 的预言机网络来保障安全。
• 支持在单条消息中批量证明多个输出。
• 符合 SOC2 和 ISO 27001 标准

function submit(
  uint64 destinationChainSelector,
  bytes32 receiver,
  bytes calldata extraArgs,
  address source,
  bytes[] calldata payloads,
  address feeToken
)

​

Axelar

• 通过 Axelar 的 Proof of State 网络来保障安全。
• 支持在单条消息中批量证明多个输出。
• 自动中继。

submit(
  string calldata destinationChain,
  string calldata destinationAddress,
  address source,
  bytes[] calldata payloads
) public payable

​

LayerZero

• 可定制的安全性
• 广受欢迎且链兼容性广泛。
• 支持在单条消息中批量证明多个输出。
• 费用较高

function submit(
  uint32 dstEid,
  address recipientOracle,
  address source,
  bytes[] calldata payloads,
  bytes calldata options
) external payable;

​

Bitcoin

import mempoolJS from "@catalabs/mempool.js";
const mainnet: boolean;
const {
  bitcoin: { transactions, blocks },
} = mempoolJS({
  hostname: "mempool.space",
  network: mainnet ? undefined : "testnet4",
});

export async function generateProof(
  txid: string,
): Promise<{ blockHeader: string; proof: Proof; rawTx: string }> {
  const tx = await transactions.getTx({ txid });

  const merkleProof = await transactions.getTxMerkleProof({ txid });
  // TODO: serialization version 1.
  const rawTx = await transactions.getTxHex({ txid });

  const blockHash = await blocks.getBlockHeight({
    height: merkleProof.block_height,
  });

  // Most endpoints provide transactions witness encoded.
  // The following function serves to strip the witness data.
  const rawTxWitnessStripped = removeWitnesses(rawTx);

  const blockHeader = await blocks.getBlockHeader({ hash: blockHash });

  return {
    blockHeader,
    proof: {
      txId: txid,
      txIndex: merkleProof.pos,
      siblings: merkleProof.merkle.reduce(
        (accumulator, currentValue) => accumulator + currentValue,
      ),
    },
    rawTx: rawTxWitnessStripped,
  };
}