# 审计的所有文章

在 HTX 新闻中心浏览与「审计」相关的最新资讯与深度分析。潘盖市场趋势、项目动态、技术进展及监管政策，提供权威的加密行业洞察。

Ledger就Coldcard遭黑客攻击事件警告人工智能风险

莱杰公司（Ledger）首席技术官夏尔·吉耶梅针对Coldcard硬件钱包被黑事件发出警告，指出该事件暴露了比特币存储设备中随机数生成器验证的漏洞。他强调，开源代码并不等同于经过审计的代码，此次漏洞在公开代码库中存在超过五年却未被发现。莱杰的设备采用安全元件中的硬件随机数生成器，避免了Coldcard中因软件备用路径导致的问题。 事件引发了关于人工智能在代码分析中作用的讨论。吉耶梅表示，AI工具能加速漏洞发现，但尚无公开证据表明攻击者实际使用了AI。然而，有用户在Reddit和X平台声称，Claude Code仅用8分钟就通过单次提示发现了该漏洞。风投基金Dragonfly管理合伙人哈希布·库雷希此前称，仅需2美元用AI进行代码审计即可预防此次攻击。 据Galaxy Research数据，至少15名攻击者利用了该漏洞，已确认的三波攻击造成约1亿美元损失，若包括可能的第四波，总损失可能达1.3亿美元。此外，Trezor和Foundation等硬件钱包厂商已就事件相关的钓鱼攻击发出警告，提醒用户防范冒充官方的“硬件审计”欺诈。

cryptonews.ru6小时前

Ledger就Coldcard遭黑客攻击事件警告人工智能风险

cryptonews.ru6小时前

Coldcard钱包漏洞成为加拿大持卡人的噩梦

Coldcard钱包漏洞对加拿大用户影响最为严重，其损失占加拿大用户总损失的25%。Chainalysis分析指出，这主要是因为该钱包在加拿大地区非常流行，得益于当地比特币的早期采纳以及有影响力的博主推动比特币极端主义，导致这款熵不足、地址生成存在漏洞的钱包被广泛使用。除加拿大人外，美国和泰国用户也遭受了重大损失。 据估计，此次黑客攻击造成的总损失在1.1亿至1.5亿美元之间。攻击涉及超过5200个地址，被盗比特币超过1816枚。此次事件引发了比特币生态系统中最大规模的漏洞排查行动之一，“红队”计划正利用人工智能分析来识别类似漏洞，并已扫描了150个代码库。 安全专家警告，此次攻击可能涉及多达15个不同的恶意实体。攻击是分阶段进行的，初期规模最大。尽管大部分被盗资金仍停留在接收地址，尚未像其他典型攻击那样迅速被混币，但已有部分资金开始通过交易进行初步混合。 研究人员强烈建议所有Coldcard用户不仅更新固件，还应生成新的安全助记词种子，并将资金转移至新钱包，同时设置较高的交易手续费以优先确认转账。已有用户通过支付更高费用抢先于黑客交易成功保住了资金。

cryptonews.ru8小时前

Coldcard钱包漏洞成为加拿大持卡人的噩梦

cryptonews.ru8小时前

AEREDIUM首席执行官声称人工智能增强了对稳定币储备的控制

AEREDIUM控股公司获得美国专利，推出一套由人工智能驱动的实时数字资产储备审计系统，旨在替代传统的定期会计确认。该系统由公司创始人兼CEO阿尔伯特·达东发明，使用四个独立的AI模型进行持续监控，并以共识机制（至少三个模型同意）和合规监控机制来做出判定。 系统将输出从“通过”到“暂停”不等的状态级别。若结果为“暂停”，系统会指示关联的智能合约拒绝待处理的代币交易，以防止在储备不足时继续交易。审计结果会在几分钟内记录到主区块链，并交叉关联至第二条独立区块链，形成不可篡改的公开账本。 达东指出，当前行业依赖滞后数周发布的月度或季度审计报告，而储备余额持续波动，这种延迟在过往市场动荡中扮演了角色。新系统将信任内嵌于资产本身，实现“验证伴随代币”。该专利在审查过程中未缩小原始权利要求范围，为公司提供了广泛的法律保护。 达东强调，该系统并非要取代法律要求的会计审计或免除发行方的责任，而是与传统审计形成互补。不过，他预计随着实时验证工具的普及，监管机构可能会从认可转变为强制要求此类持续验证。AEREDIUM目前正与美国监管机构进行谈判，并准备提交国际专利申请。系统架构设计已考虑银行API延迟等潜在操作障碍，将过时或数据不一致的离线数据流视为风险信号而非系统故障。

cryptonews.ru8小时前

AEREDIUM首席执行官声称人工智能增强了对稳定币储备的控制

cryptonews.ru8小时前

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

OpenAI宣称其下一代AI模型解决了包括Connes刚性猜想在内的10个世界级难题。但在其发布声称推翻该猜想的37000行Lean 4代码后仅24小时，堪萨斯大学的数学家J. L. Nielsen便发表论文驳斥了这一结果。 Nielsen通过逐行审查代码指出，AI构造的反例中有一个群并未满足猜想所需的两个关键条件：ICC和Kazhdan性质(T)。问题可能出在形式化定义与原始数学概念不符、证明范围有误，或代码中的群与文档描述不一致。这意味着AI证明的陈述本身可能已偏离原猜想的核心前提。 这一事件突显了当前AI辅助证明的局限性：Lean等工具只能验证证明过程的*形式正确性*，而无法确保所证明的陈述与*原始数学意图*相符。形式化证明中“成功证明了错误命题”的风险已被多次记录。因此，人类专家对AI科研成果的实质性审查依然不可或缺。 Connes刚性猜想目前仍然是一个未解决的开放问题。

marsbit昨天 08:46

数学家24小时驳回OpenAI攻破的猜想！“AI证对了每句话，但已跟原猜想无关”

marsbit昨天 08:46

7月安全月报：总损失约9700万美元，跨链桥攻击集中爆发超3500万

2026年7月，加密货币领域安全事件总损失约9700万美元，其中黑客攻击造成约9400万美元损失。攻击路径呈现从智能合约漏洞向链下基础设施、签名密钥泄露和治理操纵等非代码层面转移的趋势。跨链桥仍是重灾区，AFX Trade、Verus等多起攻击在数小时内集中爆发，合计损失超3500万美元。 主要安全事件包括：Ostium因链下预言机权限被入侵损失约2375万美元；AFX Trade跨链桥因验证密钥泄露损失约2415万美元；BonkDAO因治理投票规则设计缺陷遭操纵，损失约2000万美元；Bonzo Lend遭遇预言机操纵攻击，损失约905万美元；Verus跨链桥遭二次攻击，损失约755万美元；B2 Network因质押合约升级权限被夺取损失约386万美元；Summer.fi因金库配置漏洞损失约604万美元。 此外，钓鱼诈骗造成约300万美元损失，出现了仿冒应用、实体信件等高危手段。安全团队建议个人用户警惕不明链接与授权，项目方需强化链下权限管理、治理规则设计及建立监控机制，行业应推动跨链桥安全标准与威胁情报共享。

marsbit昨天 02:21

7月安全月报：总损失约9700万美元，跨链桥攻击集中爆发超3500万

marsbit昨天 02:21

Trade XYZ在清算6000万美元头寸后支付赔偿金

加密货币平台Trade XYZ在发生导致约6000万美元头寸损失的技术故障后，已向受影响的交易者提供了补偿。该故障发生于2026年7月27日，起因是韩国预市场平台NXT的异常订单干扰了价格预言机的数据读取，从而错误触发了多个加密货币交易对多头头寸的强制平仓，而当时市场并未出现相应的价格波动。据估计，约有960个账户受到影响，损失金额在5700万至8000万美元之间。 事件引发了社区不满，但Trade XYZ团队迅速展开调查，确认了技术故障，并宣布对所有受损交易者进行全额赔偿。平台管理层强调客户信任是其首要任务，并承诺将加强交易基础设施的稳定性监控。 赔偿已以等值代币形式发放至用户账户。此外，平台还对系统进行了审计，以防止类似故障再次发生。这些举措在一定程度上帮助Trade XYZ挽回了声誉，市场参与者肯定了其处理问题的透明度和承担技术责任的态度。

cryptonews.ru08/01 19:17

Trade XYZ在清算6000万美元头寸后支付赔偿金

cryptonews.ru08/01 19:17

Coldcard硬件钱包被黑：黑客在25分钟内转走594枚比特币

硬件钱包Coldcard遭黑客攻击：25分钟内损失594枚比特币 硬件钱包长期以来被认为是存储数字货币最安全的方式，但Coinkite公司设备近期发生的事件迫使许多人重新审视这一观点。2026年7月30日，攻击者在短短25分钟内从500个地址转走了594.5枚比特币（约合4000万美元）。 问题的根源在于一个潜伏了五年的软件代码错误。Coldcard本应通过安全芯片生成真随机数来创建种子短语，但由于一个宏定义中的笔误，Coinkite的开发者早在2021年3月就意外禁用了此功能。这导致设备转而基于可预测的数据（如处理器序列号和内部系统时钟）生成密钥，使得生成的种子短语看似安全，实则因生成过程可预测而极易被破解。对于Mk2和Mk3型号，密钥搜索空间骤降至约40位，而更新的Mk4、Mk5和Q型号的最终熵值也仅为约72位，远低于所需的128位。 攻击者无需物理接触设备或进行网络钓鱼。他们仅利用了有缺陷的生成器参数，在离线状态下进行大规模枚举，生成了数百万可能的种子短语，并通过公开账本找到有余额的地址，自行签署了转账交易。 Coinkite最初声称新版本设备不受影响，但后续分析迫使公司承认所有运行受影响固件的设备均存在风险。公司负责人Rodolphe Novak已公开道歉，但排除了对受损用户进行经济补偿的可能性。 对于已创建种子短语的用户，仅更新固件无法消除风险。必须将设备更新至安全版本固件，在更新后的设备上生成全新的种子短语，并将所有资金完全转移到由此新种子短语生成的新地址。使用BIP-39标准的密码短语可降低风险，但不能替代密钥迁移。公司的其他产品如TAPSIGNER等未受此次事件影响。 此事件表明，即使是专用硬件也需要对代码进行持续独立的审计，尤其是在加密功能方面。从机器分析角度看，这与过去OpenSSL等随机数生成器缺陷长期未被发现的情况类似。开源代码理论上可通过独立审计和自动化工具加速发现此类错误，但此次漏洞潜伏五年表明理论与实践仍有差距。

cryptonews.ru07/31 21:41

Coldcard硬件钱包被黑：黑客在25分钟内转走594枚比特币

cryptonews.ru07/31 21:41

Tether（USDT）公布2026年第二季度预期财务业绩！这是其当前状况和资产情况

全球最大稳定币发行商Tether发布了2026年第二季度财务报告。根据审计机构BDO的报告，公司季度净营业利润约15亿美元，超额储备达41.1亿美元。 截至6月30日，USDT流通量约为1846亿美元，较一季度末增长约4.46亿美元，占全球稳定币市场份额超过60%。利润主要来自美国国债和回购协议。季度末总资产约1877.5亿美元，总负债约1836.4亿美元，其中约1836.2亿美元与已发行数字代币相关。 报告期内，Tether将担保贷款规模减少了约23.8亿美元，降幅15%，同时增持了14吨实物黄金，使其黄金总储备超过146吨。公司表示仍是美国国债的主要持有者之一，二季度全球用户基数增长了超过3000万。 CEO保罗·阿尔多伊诺强调，尽管黄金和比特币市场波动剧烈，USDT仍保持全额储备支持，并透露公司正在接受四大审计机构之一的全面独立审计。

cryptonews.ru07/31 21:00

Tether（USDT）公布2026年第二季度预期财务业绩！这是其当前状况和资产情况

cryptonews.ru07/31 21:00

发行USDT的公司Tether报告称本季度盈利15亿美元

加密货币巨头Tether发布了2026年第二季度的财务报告。报告显示，其季度净利润达15亿美元，净资产超过负债41.1亿美元。USDT发行量增至约1846亿美元，占稳定币市场总份额的60%以上，主要基于Tron和以太坊区块链发行。 公司储备金仍以美国短期国债为主，并持续增持黄金，目前实物黄金储备超过146吨，部分用于支持其黄金锚定代币XAUT。Tether自称是全球最大的私营部门黄金持有者之一，并披露其比特币持仓估值达8.93万亿美元。 截至6月30日，公司总资产约为1877.5亿美元，负债约为1836.4亿美元，其中绝大部分与已发行的代币相关。

cryptonews.ru07/31 16:53

发行USDT的公司Tether报告称本季度盈利15亿美元

cryptonews.ru07/31 16:53

Casper准备推出升级版csprUSD

Casper区块链平台与投资公司Sarson Funds合作推出了更新版的稳定币csprUSD。该稳定币将成为Casper生态的主要美元稳定币，并通过x402协议用于人工智能代理之间的自动支付。 此次更新紧随x402基金会在Linux Foundation下成立，该基金会的成员包括Visa、万事达卡、谷歌、Coinbase、Circle、Stripe、AWS和Cloudflare。x402协议使得AI代理能够通过发送标准HTTP请求，在互联网上自主支付商品和服务，而无需依赖传统支付系统。 新版csprUSD将兼容Casper 2.0并支持CEP-3009标准。用户和AI代理可在链下确认支付，而执行则在链上进行。此外，Casper的ProofLayer技术也将被整合到生态中，该技术可为链下数据生成加密证明，用于验证csprUSD的美元储备支持以及监控代币的发行与赎回。 在主网上线前，该稳定币的智能合约将接受额外的独立安全审计。此前，Casper在通过CEP-97提案后，已将每笔交易的最低费用从2.5 CSPR降至0.1 CSPR。

cryptonews.ru07/30 14:00

Casper准备推出升级版csprUSD

cryptonews.ru07/30 14:00

活动图片

热门分类right-arrow

热门标签right-arrow

其他right-arrow

监管政策right-arrow