POL:跨链桥警钟常鸣：Polygon 如何预防「潘多拉魔盒」的开启

深度解析Polygon网络结构、互操作性与跨链消息传递方式，再谈双花漏洞安全事件。

1?Polygon是谁？

Polygon是以太坊的layer2扩容方案，其愿景是建造以太坊的区块链互联网。Polygon提供了一个通用框架，允许开发人员利用以太坊的安全性创建定制的，专注于应用程序的链，并提供一个互操作性网络，结合了各种不同的扩展方案，如：zk-rollup、PoS等。其中，PolygonPoS是目前Polygon上最成熟和广为人知的扩容方案。它利用侧链进行交易处理，实现提升交易速度并节省Gas消耗的目的，网络结构主要包含以下三层：

Ethereum层：

以太坊主网上的一系列合约，主要包括：Staking、Checkpoint、Reward合约，负责PoS权益相关的质押管理功能，包括：提供MATIC原生代币的质押功能，使得任何质押该代币的人可以作为验证者加入系统；验证Polygon网络的转态转换获得质押奖励；惩罚验证者的双重签名、验证者停机等不合法行为；保存checkpoint。

Heimdall层：

权益证明验证节点层，包括一组PoSHeimdall节点，负责将Polygon网络的检查点提交给以太坊主网，同时监听部署在以太坊上的一组质押合约。主要流程为：首先选择验证者池中的一部分活跃的验证者作为块生产者，它们将负责在Bor层创建区块并广播；接着根据Bor提交的检查点，验证Merkle根哈希并附加签名；最后，提议者将负责收集指定检查点的所有验证者签名，如果签名数量达到2/3以上，则在以太坊上提交该检查点。

Bor层：

出块节点层，包括一组由Heimdall层上的验证者委员会定期选取的区块生产者，它们是一个验证者子集，负责将Polygon侧链上的交易聚合并生成区块。该层会定期向Heimdall层发布检查点，其中检查点代表Bor链上的一个快照，如下图所示。

2?Polygon互操作性

2.1检查点

检查点机制是一种将Bor层的数据同步到以太坊上的机制，其中同步的数据是检查点，即在一个检查点间隔的时间段内包含的Bor层区块数据快照，源码如下：

Proposer：提议者，它也是由验证者选取的，区块生产者和提议者都是验证者的子集，且他们的责任取决于其在整个池子中的股权比例。

RootHash：是由StartBlock到EndBlock之间的Bor块生成的MerkleHash。

以下是编号1到n的Bor块生成RootHash值的伪码：

综上，该值是Bor区块头中的区块号number、区块时间戳time、交易树根Hash值txhash、收据树根Hash值receipthash计算得到的keccak256哈希值构成的Merkeltree的根哈希值。

AccountRootHash：需要将每个检查点发送到以太坊上的验证者相关账户信息的MerkleHash，单个账户信息的哈希值计算方式如下：

跨链桥Horizon黑客地址再转出18,036枚ETH，已转出地址下62%的资金:6月29日消息，据欧科云链链上天眼监测，被标记为跨链桥Horizon黑客地址（0x0d04开头）于今日16:18:09分转出18,036枚ETH至中转地址（0x7520开头），随后分3笔（6,012枚ETH、6,012枚ETH及6,009枚ETH）转出至3个不同地址。近3日以来，Horizon黑客地址（0x0d04开头）已转出约62%的盗取资金，约54,108枚ETH（当前价值超6100万美元）。[2022/6/29 1:38:56]

由账户Merkletree根哈希值生成AccountRootHash的方式与RootHash值相同。

2.2StateSync

状态同步机制是指将以太坊数据同步到PolygonMatic链，主要分为以下几个步骤：

首先以太坊上的合约会触发StateSender.sol中的syncState()函数进行状态同步

syncState()函数将发出一个event事件，如下：

Heimdall层的所有验证者都会收到该事件，其中一个验证者会将该交易打包到heimdall区块中，并添加到待处理的状态同步列表中；

bor层节点会通过API获取到上述待同步列表，交给bor层的合约进行进一步的业务逻辑处理。

2.3PolygonBridge

PolygonBridge实现了Polygon和Ethereum之间的双向跨链通道，使得用户可以在两个不同链平台之间更为方便地转移代币而不会产生第三方威胁和市场流动性限制。PolygonBridge有PoS和Plasma两种类型，二者在Polygon和Ethereum之间的资产转移都有以下相同之处：

1）首先需要将Ethereum上的代币映射到Polygon，如下图所示：

2）同样采用双向锚定技术，即

a：从以太坊上转移的代币资产都会先在Ethereum上被锁定，且相同数量的映射代币会在Polygon上被铸造；

b：为了将代币资产提取到Ethereum，首先需要将这些映射代币在Polygon上burn掉，之后再解锁锁定在Ethereum上的资产；

下图为PoSBridge和PlasmaBridge的对比：

由上图可知，安全性方面，PoSBridge依赖于外部验证者集合的安全性，而Plasma依赖于Ethereum主链的安全性。同时在用户进行跨链资产转移时，PoS仅需要一个检查点的间隔时间，大约20分钟到3小时；而Plasma则需要一个7天的争议挑战期。同时PoS支持更多的标准代币，而Plasma仅支持三种类型，包括：ETH、ERC20、ERC721。

3?跨链消息传递—PoSBridge

PoSBridge主要包含两个功能：Deposit和Withdrawals，其中Deposit指的是将用户在以太坊上的资产转移到Polygon，Withdrawals则指的是将资产从Polygon提取到以太坊上。

稳定币跨链桥Symbiosis推出Mobile SDK和JS SDK:据官方消息，稳定币跨链桥Symbiosis Finance宣布推出两个软件开发工具包（SDK）功能，分别是Symbiosis Mobile SDK、Symbiosis JS SDK。Symbiosis相信，SDK集成将在Web3浪潮中发挥巨大作用。

据悉，Symbiosis Mobile SDK是一个多平台库，旨在创建适用于Symbiosis生态系统和Web3领域的应用程序。为此，Symbiosis使用Kotlin多平台方法同时支持Android和iOS生态系统。

JS SDK帮助开发人员将协议集成到外部应用程序中。用户不需要对智能合约有深入了解，就能理解如何使用SDK。它还有助于用户进行代币跨链兑换。浏览器钱包可以使用该SDK来吸引新用户，获得更多的流量和收入。Symbiosis计划在未来推出一款可以添加到任何网站的小插件。[2022/3/30 14:27:33]

Deposit

下面以用户Alice使用PoSBridge将其以太坊账户上的代币资产发送到其在Polygon账户中为例进行介绍：

1、如果用户想转移的代币资产为ERC20、ERC721、ERC1155类型，则首先需要用户将要转移的代币通过approve函数授权。如下所示：通过调用以太坊上token合约中的approve方法将对应数量的token授权给erc20Predicate合约。

其中approve函数有两个参数：

spender：用户授权允许花费代币的目标地址

amount：可以被花费的代币数量

2、上述授权交易被确认后，用户接着通过调用RootChainManager合约的depositFor()方法将代币锁定到以太坊上的erc20Predicate合约中。此处，如果转移的资产类型是ETH，则调用depositEtherFor()。具体如下：

其中depositFor函数有三个参数：

user：接收Polygon上deposit代币的用户地址

rootToken：以太坊主链上的token地址

depositData：ABI编码后的代币数量

以下是RootChainManager合约中depositFor函数的具体代码：

分析源码可知，该函数首先获取到token对应的predicate合约地址，接着调用其lockTokens()函数将token锁定在该合约中。最后_stateSender将调用syncState()进行状态同步，该函数只有admin设置的状态发送者才能调用。

3、StateSender.sol中的syncState()函数将提交事件StateSynced，具体为：

Autonio宣布Smartdex 2.0测试版已启动，支持跨链桥接和交换:12月16日消息，Autonio发推称，Smartdex 2.0测试版已经启动，跨链桥接和交换也随之启动。为此，我们有四个关键的合作伙伴，其中一些功能已经实现，还有一些正在开发中。具体如下：

Smartdex将利用Biconomy的技术堆栈，包括即将推出的即时存取款协议，支持L1和L2之间的交易，以及无gas交易基础设施。

通过Router Protocol，Smartdex 2.0将利用其流动性超级网格在Polygon上聚合跨链流动性，随后将其扩展到其他链，如BSC、HEC、Avalanche、Polkadot和Algorand。Router Protocol也支持跨链交易。

据了解，Autonio成立于2018年，以DAO为架构，致力于为DeFi生态系统开发易用的交易工具、Smartdex和交易服务。[2021/12/16 7:43:54]

其中第一个参数为该log的序号索引，第二个参数用于校验调用者是否是已注册的合法合约地址，第三个是需要进行状态同步的数据。该交易会被添加到Heimdall块中，并被添加到挂起的状态同步列表中。

4、接着PolygonMatic链上的bor节点通过API获取到状态同步列表中的StateSynced事件后，该链上的ChildChainManager合约会调用onStateReceive()函数，该函数用于接收从以太坊上传过来的同步数据，根据状态同步的业务逻辑类型进行下一步处理：

data：包括bytes32类型的syncType、bytes类型的syncData。其中，syncType代表业务类型，包括deposit和mapping代币映射；当syncType为mapping时，syncData为编码后的rootToken地址、childToken地址和bytes32类型的tokenType；当syncType为deposit时，syncData为编码后的user地址、rootToken地址和bytes类型的depositData。depositData在REC20中是数量，ERC721中指的是tokenId。

5、由于此处进行的是Deposit业务，所以接着会调用_syncDeposit()函数。该函数会首先将syncData按照对应格式解码，得到对应的rootToken、user地址、depositData。接着校验rootToken在polygon上是否有对应的映射代币childToken，如果有则调用childToken的deposit()函数。

6、此处我们以ERC20的代币合约为例，介绍映射代币合约如何deposit。该函数将mint对应数量的代币到用户账户中。

Algorand基金会向跨链协议pNetwork提供赠款以构建跨链桥:跨链协议pNetwork宣布已经从Algorand基金会获得了一笔赠款，用于创建一个由pNetwork驱动的桥接，使Algorand与外部资产和生态系统连接起来。通过pNetwork建立的互操作性基础设施，Algorand区块链致力于改善与其他开源区块链的交互。（CoinGape）[2021/4/28 21:08:07]

该函数有两个参数：

user：正在进行存款的用户地址

depositData：用ABI编码的amount

Withdrawals

下面以用户Alice使用PoSBridge将其在Polygon账户中存放的资金提取到以太坊账户为例进行介绍：

1、当用户withdraw时，需要首先在Polygon链上通过调用映射token合约的withdraw()函数，burn掉对应数量的映射代币。

withdraw仅包含一个参数：将要被burn掉的token数量。对应的token合约中的withdraw()函数如下：

2、上述交易将经过大约20分钟到3小时将被包含到checkpoint中，被验证者提交到以太坊。

3、一旦交易被添加到检查点中并提交到了以太坊，将调用以太坊上的RootChainManager合约的exit()函数，该函数将通过验证提交的检查点内容确认在Polygon上withdraw交易的有效性，并触发对应的Predicate合约解锁用户deposit的代币。

其中，传入该函数的Proof证明inputData包括以下数据：

headerNumber：包含了withdraw交易的检查点区块header

blockProof：证明子链中的区块头是提交的merkleroot的叶子节点

blockNumber：子链上包含withdraw交易的区块号

blockTime：withdraw交易的区块时间戳

txRoot：区块交易树的root值

receiptRoot：区块收据树的root值

receipt：withdraw交易的收据

receiptProof：withdraw交易收据的默尔克证明

branchMask：收据树中32位表示的收据路径

receiptLogIndex：从收据树中读取的日志索引

下面是该函数的核心逻辑，主要包括三部分：第一部分是校验withdraw交易收据的有效性，第二部分是校验检查点是否包含了交易区块，第三部分是调用predicate合约中的exitTokens()函数将锁定的代币发送给用户。

4、以ERC20Predicate合约为例，即从log中解码出接收者、发送者、发送代币数量后，将给定数量的代币发送给用户。

物联网区块链平台IoTeX即将推出跨链桥ioTube v4:官方消息，物联网区块链平台IoTeX即将推出跨链桥ioTube v4，支持跨链币安智能链BSC，实现BSC,IoTeX和ETH之间的资产双向跨链转换。

据悉，今年IoTeX跨链基础设施不断完善发展，后续还将支持波卡，Heco，Fantom等更多公链跨链，IoTeX生态dapp和DeFi项目启动后将实现无缝跨链流动。ioTube 是 IoTeX 2019年开始推出的跨链基础设施，是物联网开放金融#DeFIoT 的系列基础组件之一，为开发者提供去中心化资产和数据跨链协议模块，同时支持桌面和移动版本。[2021/3/13 18:42:10]

由PoSBridge跨链消息传递过程源码分析可知，整个过程的函数调用都只有验证者指定的角色才能调用，所以跨链的安全性仅由PoS保证。

4?跨链消息传递—PlasmaBridge

PlasmaBridge同样包含两个功能：Deposit和Withdrawals，具体流程如下图所示：

PolygonPlasma与我们跨链桥系列第一篇文章介绍的比特币PlasmaMVP实现略有差别，主要采用基于账户模型的PlasmaMoreVP。该算法与Plasma相比，主要在withdraw部分做了部分改进。

由于ERC20、ERC721的代币传输，是通过类似比特币UTXO的event日志实现的，所以我们首先介绍一下该事件：

input1：转账前发送者的账户余额

input2：转账前接收者的账户余额

output1：转账后发送者的账户余额

output2：转账后接收者的账户余额

其次，原先的PlasmaMVP，由于区块是由单个或者少数的区块生产者生成，因此在Polygon上存在以下两种攻击场景：

Operator作恶：

上一篇文章提到，当用户的交易被Operator打包为Plasma区块后，存在链下数据的不可用性问题。因此，用户在进行exit交易时，如果从较旧的交易开始退出，Operator可以使用其最近的一笔交易对其发起挑战，则会挑战成功。同时，由于Plasma中采用了PoS的检查点机制，Operator如果勾结验证者作恶，甚至可以伪造一些状态转换并提交到以太坊。

用户作恶：

用户在发起exit交易后，继续在Polygon上花费代币，类似于跨链的双花。

综上，Polygon的PlasmaMoreVp算法采用了另一种计算退出优先级的算法，即从最近的交易开始退出。该方式由于使用了类似UTXO的LogTransfer事件，只要用户的合法交易使用了正确的input1、input2，即使Operator一些恶意交易打包在用户交易之前，由于用户交易仅来自有效的input，所以也能被正确处理。相关伪代码如下：

Deposit

下面以用户Alice使用PlasmaBridge将其以太坊账户上的代币资产发送到其在Polygon账户中为例进行介绍：

1、首先用户同样需要将其需要转移的代币资产通过approve函数授权给主链上的Polygon合约depositManager。

2、同样等到授权交易被确认后，用户调用erc20token.deposit()函数，触发depositManager合约的depositERC20ForUser()函数，存入用户的ERC20代币资产。

3、当以太坊主网确认了该deposit交易，接下来会创建一个仅包含这笔交易的区块，并将其采用状态同步机制发送到Polygon网络上的childChain合约中，mint相同数量的映射币并存入用户在Polygon上的账户。

注：由childChain合约源码分析可知，Plasma仅支持三种类型，包括：ETH、ERC20、ERC721。

Withdraw

当用户想使用Plasmabridge从Polygon上提取资产到以太坊上，会经历以下几个步骤：

1、用户通过调用Polygon上映射币的withdraw()函数，burn掉Polygon链上的映射代币资产：

也可以调用Polygon上的PlasmaClient的withdrawStart()接口实现。

2、用户可以调用ERC20Predicate合约中startExitWithBurntTokens()函数，该函数首先会调用WithdrawManager.verifyInclusion()校验checkpoint是否包含withdraw交易和对应的收据，代码如下：

验证通过后，将调用WithdrawManager.addExitToQueue()将其按照优先级排序插入到消息队列中：

最后，addExitToQueue()调用_addExitToQueue()铸造一个NFT作为退款凭证：

3、用户等待7天的挑战期

4、挑战期完成，可以调用WithdrawManager.processExits()函数将代币发送给用户。

该函数主要分为两个步骤：首先确认消息队列中的withdraw交易是否已经过了7天挑战期，如果已经超过挑战期则将其该交易移除队列：

接着，判断退款凭证NFT是否在挑战期内被删除，未被删除则将该NFT销毁并将对应资产退还给用户：

5?PolygonPlasmaBridge双花漏洞

2021年10月5日，白帽子GerhardWagner提交了一个Polygon漏洞，该漏洞可能导致双花攻击，涉及到的金额为8.5亿美元，白帽子因此获得了Polygon官方的2,000,000美元漏洞赏金。

在前文PlasmaBridge的介绍中我们知道，完整的一次Withdraw交易过程为：

用户在Polygon上发起Withdraw交易，该交易会burn掉用户在Polygon的代币；

经过一个检查点间隔，等待该withdraw交易被包含到检查点中；

超过2/3的验证者签名后将其提交到以太坊，此时用户调用ERC20PredicateBurnOnly合约中的startExitWithBurntTokens()校验checkpoint是否包含burn交易；

校验通过，则铸造一个NFT退款凭证发给用户

用户等待7天挑战期

调用WithdrawManager.processExits()销毁NFT，并退款给用户

注意：Polygon为了防止交易重放，使用NFT作为退款凭证，来唯一标识一笔Withdraw交易。但是，由于NFT的ID生成缺陷，造成了攻击者可以构造参数利用同一笔有效的Withdraw交易，生成多个不同ID的NFT，再利用这些NFT进行退款交易，从而实现「双花攻击」。

下面将对如何如何生成NFT进行详细介绍：

1、由上文中的源码解析可知，addExitToQueue()会调用_addExitToQueue()铸造一个NFT：

由传参分析可知，exitid=priority，则NFT的ID即为PlasmaBridge中的age优先级左移一位生成。

2、上文的源码解析可知，age是WithdrawManager.verifyInclusion()函数的返回值，该函数会首先校验withdraw交易的有效性，校验通过则生成对应的age。其中，校验的逻辑中使用了可控参数data解码出的值branchMaskBytes：

同时生成age时也使用了该值：

3、跟踪交易验证逻辑中的调用的MerklePatriciaProof.verify()函数，发现该函数调用_getNibbleArray()对branchMaskBytes进行了转码操作：

4、继续跟踪该解码函数，该函数对branchMaskBytes转码时存在丢弃部分值的情况，这种数值丢失的方式会造成不同的值转码后获得同样的解码值。具体为：如果传入的hp编码后的值b的第一个十六进制位是1或3，就解析第二个十六进制位。否则，就直接忽略第一个字节。

那么如果攻击者构造一个branchMaskBytes参数，使得其第一个十六进制位不等于1和3，则共有14*16=224种方式，能够获得相同的转码后的值。

具体的攻击流程为：

通过PolygonPlasma向Polygon存入大量ETH/代币

在Polygon上发起Withdraw交易，等待7天的挑战期

修改withdraw交易中branchMaskBytes参数的第一个字节，重复发起Withdraw交易

综上，该漏洞主要是由于生成防止重放的退款凭证NFT的ID算法设计存在问题，导致相同的退款交易可以生成不同的NFT，造成双花攻击。事实证明，编码分支掩码的第一个字节应该始终是0x00.修复方法是检查编码的分支掩码的第一个字节是否是0x00并且不要将其视为不正确的掩码。

原文标题：《跨链桥安全研究(三)|多边形战士Polygon安全透析，如何预防「潘多拉魔盒」的开启？》

撰文：成都链安

来源：ForesightNews

标签：POLPolygonLYGPOLYPOLY币达普币能存polygon钱包polygon币圈polydoge币会不会万倍币

DYDX热门资讯