传统冷存储的致命缺陷
传统冷存储基于一个危险的前提:如果你控制了密钥,你就控制了资金。这造成了灾难性的单点故障:
- 简单多签:M-of-N个密钥被攻破 → 资金全部流失
- 盲签风险:签名者意外签署恶意交易 → 完全损失
- 供应链风险:多签提供商的前端被攻破 → 游戏结束
即使复杂的多签名设置也遭受相同的基本弱点:它们都是全有或全无的安全模型。一旦攻击者获得阈值数量的密钥,任何操作安全措施都无法防止全部资金损失。
更好的方法:自保护智能合约钱包
以太坊支持一种根本不同的方法。我们不只依赖密钥安全,还可以在协议级别编程钱包来强制执行安全策略。核心设计原则应该是约束功能:不要使用通用钱包合约,而是使用仅执行特定、预定义操作的专用合约。以下是一个示例:
|
|
图1:一个不理想的多签执行函数示例以及一个应用了一系列安全策略的函数
通过防止钱包合约盲目执行多签请求的任何操作,我们可以对多签的操作应用安全控制策略,提高系统的深度防御和整体安全态势。
实施深度防御
为了保护您的冷存储基础设施,拥有多层安全控制(也称为深度防御)非常重要。我们在《让智能合约超越私钥风险成熟》中更详细地讨论了其中几种策略。
1. 角色分离的多签名架构
实施两个具有严格分离权限的不同多签:
配置多签
- 高度安全,很少访问的密钥(可能地理分布)
- 只能修改钱包策略(允许列表、限制、时间锁)
- 不能直接移动资金
- 需要更高的阈值(例如7-of-4)
操作多签
- 只能为预批准地址执行传输功能
- 不能修改安全策略
- 为操作效率设置较低阈值(例如3-of-2)
这种分离确保即使两个多签中的一个完全被攻破,也无法绕过安全策略。
2. 具有主动监控的时间锁操作
所有关键操作都应强制执行强制延迟。以下是这些时间锁操作的模型。这为事件响应团队检测和防止恶意交易提供了一个关键窗口。
图2:时间锁和角色分离为智能合约创建深度防御
这对应于前述博客文章中的成熟度级别3。
3. 渐进式速率限制
实施适合您交易所风险承受能力、资金偿还能力以及从冷存储转出资金的预期使用频率的速率限制。
实践中使用的一个良好速率限制器示例是Chainlink的CCIP RateLimiter.sol。这种基于桶的速率限制器以指定速率缓慢填充每个代币的"桶",直到桶满。当容量被消耗时,它会从桶的余额中扣除。这种方法允许有效的速率限制,并且能够在快速突发中消耗大量容量(最高达到桶限制)。
应急响应机制
您需要确保您的交易所有一个应急响应计划和监控基础设施,可以检测并让您的团队能够响应涉及冷钱包基础设施的事件。在正常的多签名设置中,一旦恶意交易在链上执行,事件响应团队就没有机会最小化损害。
冷存储钱包应使用时间锁机制,监控基础设施可以使用这些机制来核对链上活动与预期的冷钱包活动,并在检测到差异时触发事件响应。
使用时间锁还使事件响应团队能够在恶意交易执行之前取消它们,完全减轻任何损失。
安全分析:攻击场景
假设您的系统受到攻击:攻击者攻破了一个或两个多签,或者他们发现并利用了您智能合约中的错误。以下是比较传统多签与设计良好、强制执行策略的钱包时,损害会是什么样子。
| 攻击场景 | 传统多签的损害 | 策略执行钱包的损害 |
|---|---|---|
| 操作多签被攻破 | 全部资金损失 | 限于每日速率限制和允许列表地址。如果恶意交易被时间锁守护者取消,可能没有影响 |
| 配置多签被攻破 | 全部资金损失 | 只能添加、删除或修改速率限制配置。无法在没有攻破允许列表地址的情况下窃取资金。如果恶意交易被时间锁守护者取消,可能没有影响 |
| 两个密钥都被攻破 | 全部资金损失 | 最大损失受时间锁和速率限制限制。如果恶意交易被时间锁守护者取消,可能没有影响 |
| 智能合约错误 | 不适用 | 取决于错误严重性;可以通过使用简单、经过充分测试的合约来减轻错误风险 |
如表所示,使用实施上述深度防御措施的自保护钱包,在多签被攻破或错误被利用后,货币损失显著减少。
开始实施
要实施这种方法,请执行以下操作:
- 审计您当前的架构:映射所有可能的资金移动路径。尽可能用策略约束它们。
- 设计您的约束:定义适当的允许列表、速率限制和时间锁。
- 实施监控:构建系统以检测和响应时间锁事件。
- 测试事件响应:在需要之前练习应急程序。
- 接受审计:让安全专家审查您的实施。
保护您的冷存储
通过利用以太坊的可编程性,交易所可以构建对密钥泄露具有弹性的冷存储系统。关键见解很简单:不要只保护您的密钥;编程您的钱包以保护自己。
这些模式并不是什么新鲜事物。事实上,它们已经被领先的DeFi协议在生产环境中使用了多年,管理着数十亿美元的总锁定价值。现在是中心化交易所采用DeFi开创的安全创新的时候了。
全有或全无的密钥安全时代已经结束。构建能够优雅失败、限制损害并为您的安全团队提供响应时间的系统。您的用户资金依赖于此。
有关智能合约安全和托管解决方案的更多信息:
- 在X上关注Benjamin Samuels:@thebensams
- 观看:15亿美元问题:交易所如何构建更安全的冷存储
- 阅读:托管稳定币Rekt测试
- 阅读:让智能合约超越私钥风险成熟