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

查尔斯·霍金森提出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