Cosmos安全漏洞解析：21天锁仓资金可提前赎回？

今晨，Cosmos 团队表示在 Cosmos SDK 发现严重安全漏洞。PeckShield 安全人员分析发现，原本 Cosmos 抵押之后需要等待 21 天才能赎回，但合约代码里 Validator 状态变化时存在一种逻辑缺陷，使得用户可以减少 21 天固定赎回时间，从而提前赎回抵押的数字资产，进而破坏原本的 POS 共识可更短周期使用资金进行重复抵押赚取利息。

Cosmos 是最新上线的基于 Tendermint 共识的区块链网络，提出 IBC 通迅协议，用于解决资产跨链的问题，其核心主链被称为 Cosmos Hub，号称『万链之王』。其上的平台代币为 Atom，用户通过验证者投票参与服务治理与维护，同时接收系统激励，史称『 Staking 模式』，为 2019 年区块链明星项目之一。

由此可知，运行一个 Validator 角色的难度不低于开一个 PoW 矿池，普通用户要想加入 Cosmos 主网，并获取收益是个门槛比较高的事情。

由于普通用户持币但又不想参与验证，那么其手中的 Atom 会面临增发而贬值，但是直接参与 Cosmos 主网有一定的技术难度，因此出现了 委托人 Delegator 角色。委托人是那些不能或不想自己运行验证节点的 Atom 持有者，普通用户可以将 Atom 委托给验证人并获得部分收入，例如星火矿池提供的委托服务。

用户一旦赎回委托订单，Cosmos 将在赎回操作 21 天之后将委托抵押的 Atom 退回给委托人。

因此这 21 天为平台固定的锁仓时间，如果出现一种情况，Cosmos 系统存在设计缺陷，导致委托人的赎回周期可变，这对平台上的其它用户（委托人和验证者）来说，是不公平的，也破坏了 Cosmos 区块链的共识机制。

在了解这个漏洞之前，我们先来看下 Cosmos 网络之上的验证者状态变化图：

其中，一共有三个状态：

• bonded

• unbonded

• unbonding

状态之间的变化关系如下：

上面我们了解到验证者在帮助抵押赎回方面的整体流程，表面上没有什么问题，PeckShield 安全人员在分析 Cosmos SDK 代码的时候，发现了这一赎回流程中的致命设计缺陷，可导致委托者利用验证者 unbonding 状态，突破 21 天锁仓固定期而提前赎回。

我们先看旧版的赎回代码：

其大体流程如下，获取 验证者 的  unbonding 完成时间（对应真实的锁仓到期时间）和区块高度；

细心的用户发现了这里的问题，一图以盖之：

简而言之，系统在计算锁仓到期时间的时候，误用 Validator 开始  unbond 状态时间和  Delegator 赎回发起时间，使得  Delegator 可以使用这一时间差赠取差异：

此时，我们再来看修复之后的代码：

此时，无论 Delegator 何时发起  Undelgate 操作，都会确保从操作发起时开始计算 21 天，而与验证者无关。

Staking 作为 2019 年新潮的区块链方向，获取了一定的瞩目，无论你是 Staking 的项目方，还是参与 Staking 的验证者及普通用户，在资产面前，我们都应该保有敬畏之心。