资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
查尔斯·霍金森提出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，它们依赖于强大的类型系统和函数式编程。这些工具有助于开发者更早地发现某些软件错误。查尔斯·霍金森长期以来一直将这种模式作为一种在代码安全投入生产环境之前减少弱点的方法进行推介。
