查尔斯·霍金森在Liquid遭黑客攻击后发出警告_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

查尔斯·霍金森在Liquid遭黑客攻击后发出警告

2026-09-07 23:29:17

查尔斯·霍金森提出AI安全担忧

据Liquid报道，攻击者从其联盟钱包中移除了约4000枚比特币，价值约为3.2亿美元。资金通过SideSwap的Peg-out授权密钥（PAK）服务进行了转移，尽管Liquid和SideSwap均表示PAK本身并未受到损害。SideSwap将受影响的L-BTC与Elements中发现的报告漏洞联系起来，Elements是支撑Liquid网络的基于比特币的软件。

在联邦成员调查此事期间，Liquid禁用了桥接节点并暂停了网络活动。Cardano创始人查尔斯·霍金森利用此次泄露事件发出警告，指出人工智能可能使发现并利用软件漏洞变得更加容易。

形式化方法进入安全辩论

Cardano创始人查尔斯·霍金森已回应关于攻击者从Liquid Network联盟钱包中移除约4000枚比特币的报道。据报道，损失总额约为3.2亿美元，促使Liquid暂停网络活动，以便联盟成员审查该事件。

查尔斯·霍金森将该泄露事件与更广泛的人工智能和软件安全问题联系起来。他的回应集中在传统测试是否能跟上步伐这一问题上，随着AI工具在发现代码弱点及自动化攻击方面变得日益强大，传统测试方法的局限性愈发凸显。

Liquid对形式化验证的重视

Liquid表示，攻击者通过SideSwap的Peg-out授权密钥服务移动了资金。SideSwap和Liquid双方均表示，攻击者并未直接攻破PAK本身。相反，SideSwap指出了Elements中存在的一个漏洞，而Liquid正是基于该软件构建其网络。

我们注意到@Liquid_BTC上发生了一起安全事件。自称“白帽”的黑客已从Liquid联盟钱包中提取了约4000枚BTC（约3.2亿美元）。@Blockstream团队正试图通过链上签名消息与他们取得联系。
目前我们所知的是，资金……—— Liquid Network 🌊 (@Liquid_BTC) 2026年9月6日

交易发生后，Liquid禁用了桥接节点并暂停了网络运营。交易所也收到了警报，并开始暂停或准备暂停L-BTC的存取款操作，与此同时调查仍在继续。

该交易还附带了一条来自攻击者的OP_RETURN消息，他们自称为“白帽”，并要求通过区块链进行联系。Liquid尚未表示这一说法会改变其调查方向。该网络仍将该转账视为未经授权的联盟持有比特币转移，目前正在审查之中。

Charles Hoskinson提出AI安全担忧

查尔斯·霍金森表示，随着人工智能驱动的安全风险增加，形式化方法可以提供更强的保护。形式化方法使用数学规范和证明，在开发者发布软件之前检查软件是否符合其预期设计。

如今，人工智能系统可以审查源代码、搜索弱点，并自动化部分钓鱼和社会工程攻击。据报道，Coldcard被盗约1.3亿美元的比特币，这也让人们更加关注先进工具在未来加密货币攻击中可能扮演的角色。

Cardano对形式化验证的关注

Cardano将其开发过程的一部分建立在学术研究、同行评审和形式化验证之上。其Ouroboros共识协议源自形式化研究，而Cardano开发人员则使用数学方法来测试重要的协议属性。

该网络还使用Haskell和Plutus，它们依赖于强大的类型系统和函数式编程。这些工具有助于开发者更早地发现某些软件错误。查尔斯·霍金森长期以来一直将这种模式作为一种在代码安全投入生产环境之前减少弱点的方法进行推介。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文