脉波开发者文档
  • 脉波开发者文档
  • 基础主題
    • 脉波简介
    • MAPO币
    • 全链去中心化应用
    • 全链应用与单链或多链应用的区别
    • 第三方信任跨链与点对点跨链方案区别
    • 比特币二层
      • brc-201
    • 预言机 Oracle
      • Supra: MAP Protocol 上的去中心化预言机
    • 帐户
    • 交易
    • 区块
    • MPT树
    • RLP编码
    • Gas费用
    • 消息跨链
    • 轻客户端
      • MAPO轻客户端
    • 全链开发组件层MOS
      • MOS接口和功能
      • MOS的部署
      • Messenger
    • 中继链(atlas)
      • 节点架构
        • 中继链(atlas)架构 - 区块和交易结构
        • 创世
          • 创世配置 - 介绍创世配置文件
          • 创世合约
            • ABI
              • Accounts
              • Election
              • EpochRewards
              • LockedGold
              • Validators
            • 地址
            • 部署
        • 预编译合约 - 支持的预编译合约
        • 协议
          • Proof of Stake
          • 共识
          • 选举
          • 奖励
          • 治理
      • 部署节点 - 包括公共RPC节点
        • 运行节点(中继链)
        • 归档节点(中继链)
        • 引导节点(中继链)
        • 验证节点 (中继链)
        • RPC节点(中继链)
      • Marker工具 - atlas的简易客户端工具
        • Genesis
        • Validator
        • Vote
        • Common
      • 搭建私有网络
      • 公共网络服务信息
        • 公共网络
      • 示例
        • 如何成为一个 Validator 并加入到 Atlas 网络中
        • 如何成为一个 Validator 并加入到 Atlas 网络中[高级]
    • Compass(maintainer,messenger)
      • Compass - 架构及模块说明
      • Compass配置参数
      • Compass环境与部署
      • Compass二次开发 - 基于compass定义自己的路由服务
  • MAPO技术堆栈
    • 堆栈
      • 接入的链
    • EVM兼容
      • 智能合约语言
      • 智能合约结构
      • 智能合约库
      • 编译智能合约
      • 测试智能合约
      • 部署智能合约
      • 可组合性
      • 智能合约安全性
      • 智能合约形式化验证
      • 开发框架
      • 开发网络
    • 实现跨链互通
      • EVM兼容链的跨链互通
        • 轻客户端验证
        • 轻客户端状态更新
        • MOS层
      • 非EVM兼容链的跨链互通
        • 轻客户端验证
        • 轻客户端状态更新
        • MOS层
    • 如何开发全链应用
    • 轻客户端信息
    • SDK/API - mapo支持的API
      • MOS接口
      • 轻客户端接口
      • 中继链RPC
        • json-rpc
          • atlas json rpc
          • atlas consensus rpc
        • javaScript sdk
        • go-sdk
      • 后端API
        • 浏览器API
        • 数据统计与分析API
  • 零知识证明(zk)
    • 零知识证明
Powered by GitBook
On this page
  • Light-client层
  • light-client合约开发:
  • 合约部署
  • Maintainer开发
  • Mos层
  • mos合约部署
  • Messenger程序开发
  • 应用层
  1. MAPO技术堆栈
  2. 实现跨链互通

EVM兼容链的跨链互通

Previous实现跨链互通Next非EVM兼容链的跨链互通

Last updated 11 months ago

Mapo Protocol的跨链过程涉及多个步骤,从锁定资产到验证数据,确保资产在不同区块链之间的安全传输和互通,这里我们仅讨论EMV兼容链的接入过程。完成以下几个模块的开发和部署即可接入到mapo protocol:

Light-client层

接入mapo Protocol协议的双方链都需要部署对方的,由于双方链都是兼容EVM,所以这里双方light-client都将以solidity实现,这样可以减少双方链主网的升级与light-client的维护。为了在接入链上部署mapo-relay-chain的light-client合约,需要接入链支持bls,bn254等预编译指令。

由于接入链与Mapo Protocol上的其他链的消息跨链都是通过map-relay-chain作为中转,所以接入链只需要部署map-relay-chain的就可以实现来自于map-relay-chain的跨链消息的验证。由于map-relay-chain已经实现了solidity版本的,故接入链只需要专注于实现自己的solidity的light-client, 接入链的light-client至少需要满足两个功能:

  • 维持和更新light-client的状态,即保存一定数量的区块头及持续更新校验新的区块头。

  • 可以根据light-client的当前状态,验证源链上的合约事件功能,通常是交易的收据的验证(MPT的验证信息)。

light-client合约开发:

为了接入Mapo Protocol协议,接入链方需要满足Mapo Protocol定义的[ILightNode接口](https://github.com/mapprotocol/map-contracts/blob/main/protocol/contracts/interface/ILightNode.sol),其中主要满足以下接口:

// Verify the validity of the transaction according to the header, receipt
// The interface will be updated later to return logs

function verifyProofData(bytes memory _receiptProof) external view returns (bool success, string memory message, bytes memory logs);

function updateBlockHeader(bytes memory _blockHeader) external;

function updateLightClient(bytes memory _data) external;

合约部署

  • 在map-relay-chain上部署接入链的light-client合约.

Maintainer开发

  • 获取当前light-client的状态

  • 根据当前light-client的状态获取对应链的区块头数据并提交到light-client

Mos层

 enum MessageType {
        CALLDATA,
        MESSAGE
    }

    // @notice This is the configuration you need across the chain.
    // @param relay - When it is true, the relay chain is required to perform a special execution to continue across the chain.
    // @param msgType - Different execution patterns of messages across chains.
    // @param target - The contract address of the target chain.
    // @param payload - Cross-chain content.
    // @param gasLimit - The gasLimit allowed to be consumed by an operation performed on the target chain.
    // @param value - Collateral value cross-chain, currently not supported, default is 0.
    struct MessageData {
        bool relay;
        MessageType msgType;
        bytes target;
        bytes payload;
        uint256 gasLimit;
        uint256 value;
    }

    // @notice Gets the fee to cross to the target chain.
    // @param toChain - Target chain chainID.
    // @param feeToken - Token address that supports payment fee,if it's native, it's address(0).
    // @param gasLimit - The gasLimit allowed to be consumed by an operation performed on the target chain.
    function getMessageFee(uint256 toChain, address feeToken, uint256 gasLimit) external view returns(uint256, address);


    // @notice Initiate cross-chain transactions. Generate cross-chain logs.
    // @param toChain - Target chain chainID.
    // @param messageData - Structure MessageData encoding.
    // @param feeToken - In what Token would you like to pay the fee.
    function transferOut(uint256 toChain, bytes memory messageData, address feeToken) external payable  returns(bytes32);


    // @notice Add the fromaddress permission.
    // @param fromChain - The chainID of the source chain.
    // @param fromAddress - The call address of the source chain.
    // @param tag - Permission,false: revoke permission.
    function addRemoteCaller(uint256 fromChain, bytes memory fromAddress, bool tag) external;

    // @notice Query whether the contract has execution permission.
    // @param mosAddress - This is the mos query address.
    // @param fromChainId - The call chain id of the source chain.
    // @param fromAddress - The call address of the source chain.
    function getExecutePermission(address mosAddress,uint256 fromChainId,bytes memory fromAddress) external view returns(bool);

    event mapMessageOut(uint256 indexed fromChain, uint256 indexed toChain, bytes32 orderId, bytes fromAddrss, bytes callData);

    event mapMessageIn(uint256 indexed fromChain, uint256 indexed toChain, bytes32 orderId, bytes fromAddrss, bytes callData, bool result, bytes reason);

mos合约部署

在map-relay-chain上部署mos合约:

  • 前往evm文件夹。

在接入链上部署mos合约:

  • 前往evm文件夹。

mos合约部署后可以通过setLightClient方法设置对应light-client合约地址.

Messenger程序开发

在这个过程中,Messenger服务在促进跨链消息及其相关证明的传输中扮演关键角色,确保信息在源链和目标链之间安全可靠地传输。它抽象了与智能合约交互和处理事件的复杂性,使开发者更容易将自己的链集成到Mapo Protocol框架中。

应用层

应用层代表了跨链框架的真正业务逻辑。用户在该层定义具体的业务逻辑,如资产管理以及锁定、解锁、铸造、销毁等操作。实际的跨链操作发生在应用层中,其中会调用Mos层的transferOut接口,将具体的跨链消息写入链上。

以下是应用层内的跨链过程流程:

  • 用户交互:用户与应用层进行交互,启动跨链操作,如在链之间锁定、解锁或转移资产。

  • 调用transferOut:当用户启动跨链操作时,应用层会调用Mos层的transferOut接口。该接口构建和格式化跨链消息,包括在目标链上执行的操作的细节。

  • 路由消息:一旦跨链消息构建完成,Messenger服务会被通知(监听)。Messenger服务收集必要的证明数据,并将跨链消息与证明一起提交到目标链。

  • 目标链验证:在目标链上,使用为源链部署的light-client来验证接收到的跨链消息的真实性和合法性。light-client确保数据与源链的数据一致,确认消息的有效性。

  • 执行和操作:在成功验证后,目标链上的应用层解码接收到的消息并执行相应的操作,如铸造新代币、解锁锁定的资产等。

应用层充当用户意图与跨链通信的技术复杂性之间的桥梁。它提供了用户友好的界面,让用户触发跨链操作,并确保这些操作在涉及的链之间安全执行和验证。

在接入链上部署map-relay-chain的合约.

Maintainer服务是一个独立的程序,用于更新同步light-client的状态,向源链和目标链上的light-client提交对应链上的区块头数据. 由于Maintainer服务已经支持了map-relay-chain,所以接入链的开发者只需要在Maintainer服务中增加对自己链的支持即可. 接入链的开发者可以fork一个mapo protocol提供的做二次开发以增加对自己链的支持.

Mos层定义了mapo protocol通用消息跨链的框架结构及实现逻辑,接入链方的开发者不需要再实现该模块,而可以直接部署使用,Mos层需要在跨链双方的链上都部署,由于是EVM兼容链,这里我们实现的Mos是solidity版本,其安装部署流程参考.

主要数据结构和:

下载。

按照中提供的部署说明部署mos合约。

下载。

按照中提供的部署说明部署mos合约。

Messenger服务是一个独立的程序,旨在监控并路由源链和目标链上mos合约的特定事件。这些事件包括常见的消息事件,如mapMessageOut和mapMessageIn。Messenger服务为这些事件构建相应的证明数据,并最终将跨链消息以及证明数据提交到目标链。由于Messenger服务已经支持map-relay-chain,集成链的开发者只需要在Messenger服务中添加对自己链的支持。开发者可以fork一个Mapo Protoco提供的,并自定义以添加对自己链的支持。

light-clinet
Maintainer
这里
接口
mos库
README
mos库
README
Messenger服务
light-client
light-client
light-client