智能合约中的签名重放漏洞
V刘晨曦
发表于 2023-1-5 02:06:39
95
0
0
许多在以太坊上部署的智能合约也有直接验证数字签名的功能,以使得一个或多个验证者可以通过提交离线创建的签名(甚至是由另一个智能合约生成的签名)来授权操作。这项验证通常被用于多重签名冷钱包或者投票合同,以便一起提交各种签名或委托授权。
此类实现中的常见漏洞是签名重放攻击。在 Cryptonics 对一个重要项目的智能合约审计中,我们遇到了这个问题的一个有趣例子。在本文中,我们将使用此示例来说明智能合约中签名验证是如何出错的。# [' S& i+ z d9 r$ b. ~* S
与签名验证相关的漏洞通常是由于误解了底层的密码学原理和签名的目的而引起的。因此,在详细了解此特定漏洞之前,我们先快速了解一下密码学签名的工作原理。
密码学签名$ x) ^! x+ E$ {& N
大多数的密码学签名体系都基于公私钥对。私钥能够对数据进行签名,而且此签名能够被对应的公钥所验证。就像它的名字所暗示的一样,一个用户的公钥是公开的,而私钥则一定要保密。
对数据进行加密签名可实现两个重要属性:, g- Z+ f' E) |- d5 o
数据签名者可识别性,这是通过恢复签名者的公钥来实现的。2 v& T2 y: r' |
数据完整的可验证性,意思是签名可以用于证明自签名以来数据未被修改。6 |* C1 J2 O" Z X* c
虽然这些是非常强大的属性,但是需要重点注意的是签过名的数据本身不提供额外的保障。签名不能保证一条消息的唯一性,也不能保证签名人就是发信人本身。当然,加密签名可以被用于确认相关事实,但是应用程序也须执行必要的检查。我们可以在以太坊智能合约中调查以上事实。
以太坊中的签名验证7 {5 k% J% L6 f2 D% E, ~
以太坊和比特币一样,采用椭圆曲线数字签名算法(ECDSA)和 secp256k1 曲线。智能合约可以通过系统方法 ecrecover 访问内置的 ECDSA 签名验证算法。以下示例展示了这个函数的用法:/ c9 I" k% ^6 Y" i6 G. `: x v
address signer = ecrecover(msgHash, v, r, s);
这个方法的输入参数是签名值 v,r 和 s,以及签名数据的 keccak256 哈希值。它可以校验数据的完整性,即确认数字签名与数据的哈希值相对应,并且可以从签名中恢复签名者的以太坊地址(以太坊地址乃是从公钥中推导出来的)。
**任何额外的检查,不论是检查签名地址是否为正确地址,还是检查被签名的消息是否唯一,都必须被手动添加进智能合约中。8 F7 T) ~& }% X1 W5 s
**
经常有人误解了 ecrecover 的功能,然后搞出了安全漏洞。
签名重放漏洞
代码示例
让我们来看一下我们在最近的合约审计中发现的漏洞:6 q+ @5 E7 l z: f- e# ?: P' f ~
function unlock(
address _to,5 V6 M4 f: W. u
uint256 _amount,
uint8[] _v," Z! ^) j* Q6 K4 Q) d1 a
bytes32[] _r,; t. a! X' {; }
bytes32[] _s/ p! \) `8 [/ u/ V- d- T. Q- ]
)
external+ R! h8 d. J, E0 s& Z$ O( W
{7 c' E% C7 ~/ v9 }4 e0 K
require(_v.length >= 5);# R- L9 V, q) ?7 T% t
bytes32 hashData = keccak256(_to, _amount);; ~2 u% i: ~& Q
for (uint i = 0; i y. d0 p8 ^+ X' y8 H# _9 k
以上代码是我们所审计的代码的简化版本,为使代码变得简短易懂,它只保留了最基础的信息。但是其中的漏洞被完整地保留了下来。
被审计的合约是跨链桥接器的一部分,它能让数字资产从一个区块链转移到另一个上。以太币在以太坊智能合约中被锁定之时,另一条链上会创建出对应的资产。当资产在另一条链上被锁定或销毁时, unlock 函数可以释放先前被锁定的以太币。要实现这个效果时,跨链中继者可以提交一系列的验证者签名、一个解锁的数额以及一个目标地址。这个函数要求至少五个签名来解锁需要的数额并将资金传给接收方。而内部的 _isValidator 函数(为了简化,省略掉了具体实现)会检查一个地址具不具备验证者身份。& j8 L1 I: ?$ c
攻击情景# S5 I$ v3 T, i/ ]4 D
以上代码的问题在于被验证者用 ECDSA 算法签过名的消息中。这个消息只包含接收者的地址以及需要解锁的数量。**在这个消息中,并没有什么内容能防止相同的签名被多次重复使用。**想象如下的情景:
Bob 在与以太坊连接的另一条链上有等价于 10ETH 的资产被他通过桥接器传回了以太坊链上。1 r# B- Q- v) a7 d; I3 i
Alice 是一个处理跨链交易的中继者。她收集了必需的验证者签名,在所连接的链上锁定了相对应的资产数量,并且调用 unlock 函数将 10ETH 从合约中释放给 Bob。
包含一系列签名值的交易能够在区块链上公开读取。, \5 q; `* Q; g- Z
Bob 现在可以复制这个签名值的序列并且自己提交一个一模一样的解锁函数调用请求。这个解锁的操作能够再一次成功,导致又一个 10ETH 被发送给Bob。, h l) Y& n' j
Bob 能够重复这个过程直到智能合约中的以太坊被耗尽。
改进手段8 H, w0 }2 j0 w e
以上情形被称为签名重放攻击。这种攻击能成功是由于我们无法验证所签名消息的唯一性,也不知道它之前是否被用过。" L# l+ g1 D* c: d* v( t- E* D
一个防止此类攻击的简单方法是在被签名数据中包含一个消息序列号或者 nonce。以上代码的修正版如下:# T1 Y4 D4 Q7 j6 |! B5 G9 K
public uint256 nonce;
function unlock(
address _to,
uint256 _amount,
uint256 _nonce," q/ h0 a. |8 b( o! l4 Q$ }+ J
uint8[] _v,
bytes32[] _r,
bytes32[] _s5 E1 [% c8 Q8 ]2 u0 n
)3 j: M6 b. o4 g; b. j) O3 b
external5 K* X9 Z' r8 t0 A& O7 W
{
require(_v.length >= 5);2 ~4 n9 n; E/ Y" ~9 N! I" N
require(_nonce == nonce++);, |- n/ z9 o6 }, e- h* V
bytes32 hashData = keccak256(_to, _amount, _nonce);
for (uint i = 0; i 5 b: u2 ?# ~$ {9 b9 j9 k5 _
这段代码现在要求每一个成功的解锁调用都包含一个序列号。因为消息中得包含一个独一无二的数字,所以每次成功调用所要求的签名都是独一无二的。这表示之前观测到的消息对攻击者来说没用了,因为重放会失败。
签名验证的最佳模式, _* B. A u3 k% K! L
上述例子只是其中一个示例,演示了不能保证唯一型的签名如何被重放。在大部分情景中,确保签名能够与每一次调用形成唯一的匹配对预防重放攻击是非常重要的。
但是,这段代码并不完美。它并没有遵循签名验证的最佳实践。原因是它没有检查可塑性签名,我们应检查作为已接受签名一部分的 s 值是否在较低范围内。使用 ecrecover 函数的推荐流程可以在 Open Zeppelin 的 excellent ECDSA 库中找到。事实上,在社区审计过的代码,比如 Open Zeppelin 上进行开发,总是一个好主意。
BitMere.com 比特池塘系信息发布平台,比特池塘仅提供信息存储空间服务。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
声明:该文观点仅代表作者本人,本文不代表比特池塘立场,且不构成建议,请谨慎对待。
成为第一个吐槽的人