2026-06-07 星期日

新聞中心 - 第95頁

關注 HTX 新聞及深度資訊,盡覽最熱門的加密新聞與市場動態

Vitalik最新长文:AI时代,代码如何变得更安全?

随着AI编程能力快速提升,软件安全面临新挑战:AI既能高效生成代码,也能高效发现漏洞。在加密行业,智能合约、ZK证明等一旦出现缺陷,可能导致不可逆的资金损失。Vitalik探讨了应对此问题的路径——形式化验证。这种方法将程序应满足的性质写成数学命题,再用机器可检查的证明验证这些性质是否成立。虽然形式化验证无法保证绝对安全(证明可能遗漏假设、规范可能写错等),但它提供了一种更可靠的安全范式:用多种方式表达开发者意图,再让系统自动检查这些表达是否兼容。 以太坊未来将依赖复杂底层组件(如STARK、ZK-EVM、共识算法等),这些系统的实现复杂,但安全目标往往可以相对清晰地形式化。AI辅助的形式化验证在此可发挥最大价值:AI负责编写高效代码和证明,人类负责检查被证明的命题是否对应真正的安全目标。 Vitalik认为,面对强大的AI攻击者,答案不是放弃开源或依赖中心化机构,而是将关键系统压缩为更小、更可验证的“安全核心”。AI可能导致粗糙代码增加,但也可能让真正重要的代码变得比过去更安全。形式化验证与AI结合,可推动软件分化为“安全核心”和“不安全边缘组件”,前者通过严格验证承载高信任负担,后者在沙箱中运行以限制风险。最终,形式化验证有助于在AI时代构建更可信的网络安全基础。

marsbit05/19 09:56

Vitalik最新长文:AI时代,代码如何变得更安全?

marsbit05/19 09:56

IOSG:开发者数量腰斩之后,Crypto并没有死

2026年,Crypto开源社区的GitHub月活开发者数量从2022年高峰的45K腰斩至约23K。然而,数据背后并非行业萎缩,而是一场深刻的“人才去杠杆”。 流失的主要是牛市期间涌入的新人,其代码贡献占比从未超过25%。相反,入行两年以上的资深开发者数量创下历史新高,贡献了约70%的代码量,并正向Bitcoin、Solana等有真实用户和收入的生态集中。 这批留下的建设者在“代码即法律”的零容错环境中,磨练出一项核心能力:在规则与信任缺失的条件下,从零构建让陌生人愿意参与的可运转系统。这项能力正随着AI时代的到来被重新定价。 AI规模化面临三大结构性瓶颈:算力的聚合与优化、多智能体协作的激励对齐、以及智能体的自主支付基础设施。这些问题在传统领域缺乏答案,却与Crypto建设者处理过的协议治理、经济机制设计、稳定币支付等问题高度同构。已有案例证明,Crypto积累的机制设计直觉、开发者生态经验和构建可信系统的能力,能有效迁移至AI领域解决这些新挑战。 因此,建设者的角色正在从“编写智能合约”转向“为AI自主系统设计可信规则”。资本招聘与投资趋势也印证了这一转变,市场越发看重能连接Crypto与AI、解决系统级信任与协调问题的复合型能力。 表面看开发者数量减半,但行业核心密度在上升。Crypto建设者长期积累的对规则、激励和真实性的敏感度,正转化为AI时代稀缺的系统级能力,两者的交汇是一个正在发生的结构性机会。

marsbit05/19 09:28

IOSG:开发者数量腰斩之后,Crypto并没有死

marsbit05/19 09:28

币股风向标丨Strategy上周投入超20亿美元买入超2.48万枚BTC;Bitmine ETH持仓增加至总供应量的4.37%(5月19日)

加密货币市场经历反弹后再次回落至7.6-7.9万美元区间,概念股普遍下跌。美股面临回调风险,摩根士丹利警告若美债收益率波动上升,股市可能显著回调。巴菲特与桥水基金等机构一季度调整持仓,加码芯片股,减持软件股。 上市公司比特币配置活动激增,上周全球上市公司净买入比特币20.3亿美元,环比暴涨超44倍。其中,Strategy投入约20.1亿美元购入近2.49万枚BTC,总持仓量突破84.3万枚。统计内上市公司合计持有BTC约111.4万枚,占流通市值5.6%。Strive公司一季度增持6001枚BTC,但因币价下跌录得净亏损。 以太坊方面,Bitmine过去一周增持约7.17万枚ETH,总持仓量达527.8万枚,占ETH总供应量的4.37%,其中大部分已用于质押获取收益。行业观点认为,以太坊财库公司正转向更注重质押收益的模式,与比特币财库的高杠杆策略分化。 Solana财库公司表现不佳,Upexi因持币价值下跌导致季度净亏损扩大;DeFi Development尽管每股SOL持有量一年内增长108%,但一季度也因SOL价格下跌而亏损。 此外,山寨币财库公司Hyperion DeFi披露其HYPE代币持有量已突破200万枚,一季度实现净利润。Bitwise资产管理公司宣布,将把其Hyperliquid ETF部分管理费收入用于购买并质押HYPE代币。 政策层面,美SEC可能很快推出代币化股票监管框架,或推动链上证券发展。

marsbit05/19 09:28

币股风向标丨Strategy上周投入超20亿美元买入超2.48万枚BTC;Bitmine ETH持仓增加至总供应量的4.37%(5月19日)

marsbit05/19 09:28

活动图片