# 以太坊的所有文章

在 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

币股风向标丨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

哈佛大学炒币或亏损 1.5 亿美元!已清仓以太坊、大幅减持比特币 ETF 仓位

哈佛大学管理公司最新13F持仓报告显示,其持有的贝莱德比特币现货ETF较上季度再度缩水43%,同期买入的以太坊ETF则全部清仓。短短两个季度,哈佛在加密资产上的公开持仓从峰值4.43亿美元跌至约1.17亿美元。 回顾其操作历程:2025年第二季度,哈佛首次披露持有约1.17亿美元比特币ETF,并同步建仓黄金ETF,被视为一种对冲策略。第三季度,哈佛大幅加仓比特币ETF至约4.43亿美元,使其成为其公开美股组合中最大的单一持仓,占比约20%。在此期间,传统资产回报预期走低以及学界态度的转变,为机构增持提供了背景。 然而,2025年第四季度市场触顶回落,哈佛开始减持比特币ETF,并逆势建仓以太坊ETF。最新报告显示,刚建仓不足一季度的以太坊ETF已被全部清空,比特币ETF仓位也进一步大幅削减。据估算,此轮操作中,比特币部分亏损幅度约28%,以太坊部分亏损约35%,合计疑似亏损超过1.5亿美元。 市场对此看法不一。一种观点认为这是典型的追涨杀跌行为。另一种观点则指出,减持是出于风控和组合再平衡的需要,且哈佛仍保留了约1.17亿美元的比特币ETF底仓。文章分析,哈佛的减仓行动可能与其面临的现实压力有关:包括2025财年出现运营赤字、捐赠基金支出受限制、新税收法案导致税负大幅增加等。在财政压力、流动性需求以及领导层即将交接的背景下,流动性好、波动性高的加密ETF资产成为优先调整对象。 与此同时,其他机构选择各异,如阿布扎比主权基金连续加码比特币ETF,达特茅斯学院捐赠基金则维持仓位并扩展至其他加密资产。哈佛的操作表明,顶级捐赠基金进入加密市场并非基于信仰,而是遵循传统的风险预算逻辑,在环境变化时会果断进行流动性管理和风险收缩。

marsbit05/18 11:50

哈佛大学炒币或亏损 1.5 亿美元!已清仓以太坊、大幅减持比特币 ETF 仓位

marsbit05/18 11:50

活动图片