# 安全的所有文章

在 HTX 新聞中心流覽與「安全」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策,提供權威的加密行業洞察。

哈佛等机构清仓、一个月 6 位核心人才出走,以太坊出啥问题了?

近日,以太坊基金会因人事动荡与机构减持引发关注。今年以来,已有至少7名核心成员或资深贡献者离职,包括联合执行董事、关键协议研究员和升级协调者等,直接导火索是基金会今年3月发布的新使命宣言。该宣言强调基金会将逐步减少自身影响力,但却要求员工签字认可,这种矛盾做法加剧了内部分歧。与此同时,高盛将其持有的贝莱德以太坊信托仓位削减约70%,哈佛大学捐赠基金清仓了近8700万美元的以太坊ETF持仓,以太坊基金会自身也从Lido解除质押并出售部分ETH。 内部人才流失带来了隐性经验损失,并可能延误关键升级(如Glamsterdam)。Protocol Guild贡献者指出,以太坊核心开发者薪资远低于市场水平,而Monad等竞争对手正以高薪挖角。外部竞争也日益激烈,以太坊在DeFi总锁仓价值中的份额持续下滑,手续费收入被Hyperliquid等新兴公链超越。同时,华尔街机构开始探索自建公链(如Circle的Arc),这对以太坊的机构结算地位构成潜在威胁。 Vitalik Buterin强调以太坊的目标是成为最安全、去中心化的“技术避风港”和“安全核心”。然而,在当前关键窗口期,核心团队的动荡与执行力滞后,正与这一长期愿景的兑现产生矛盾。

链捕手05/20 09:21

哈佛等机构清仓、一个月 6 位核心人才出走,以太坊出啥问题了?

链捕手05/20 09:21

加密货币资产找回,是门闷声发大财的好生意

加密货币资产找回是一项现实且持续增长的业务,主要解决用户因操作失误或技术问题导致的资产无法访问困境。常见问题包括:充值选错链、漏填交易所备注(Memo/Tag)、钱包物理故障、助记词备份错误或顺序混淆、以及中心化交易所账户冻结或提现卡顿。与传统互联网不同,加密货币的去中心化特性使用户在私钥丢失或操作出错时,往往求助无门。 随着加密货币用户基数扩大,误操作必然增多。虽然中心化交易所提供客服支持,但用户常面临工单系统响应慢、材料要求复杂、沟通不畅等挑战。专业找回服务的价值在于厘清问题根源——是技术故障、平台风控还是操作失误,并提供相应解决方案。 该领域也存在风险,部分团队实为“中间倒爷”或进行二次诈骗,如索要私钥或收取高额“解冻费”。专业团队通常会谨慎评估,根据具体问题(如充错链是否可逆、助记词错误类型、冻结原因等)判断找回可能性,而非盲目承诺。 加密货币行业越趋向大众化,越需要在复杂技术与普通用户之间搭建专业服务层。资产找回服务正逐渐专业化,需整合技术分析、合规咨询、法律支持和平台沟通能力。文章作者已与专业团队合作,可为遇到类似问题的用户提供初步评估,重点在于先诊断问题、避免情况恶化,而非保证结果。

marsbit05/20 06:47

加密货币资产找回,是门闷声发大财的好生意

marsbit05/20 06:47

D'CENT推出'Flare Campaign',为全球XRP大军解锁闲置XRP资产

硬件钱包制造商IoTrust宣布与Flare网络合作,启动为期三周的“Flare Campaign”活动,旨在帮助全球XRP持有者(XRP Army)将闲置的XRP资产盘活利用。这是继5月12日成立“XRP联盟”后的首次重要行动,该联盟由Flare、Squid Router等多家区块链公司组成,致力于扩展Ripple生态系统。 本次活动使用户能够安全便捷地将其XRP连接到Flare网络,并直接存入新推出的“Monarq XRP收益金库(MXRPY)”,在享受硬件钱包安全性的同时提升资产效用。作为Flare智能账户(FSA)的官方合作伙伴,D’CENT解决了通常需要使用FLR等网络燃料代币的复杂问题,用户无需额外购买即可通过D’CENT应用内的“发现”标签一键完成存入。 在5月19日至6月8日活动期间,D’CENT提供最优条件:平台费为零,用户仅需支付Flare网络标准基础费用(自动从XRP中扣除)。此外,参与活动的用户可共享总值40,000美元的XRP和FLR专属奖励池。 D’CENT官方表示,自2018年以来一直通过技术支持Ripple社区,此次合作旨在为XRP Army提供安全、高效的资产增值途径。IoTrust作为全球初创公司,其产品D’CENT钱包在220个国家拥有100万用户,被广泛认为是XRP持有者的首选冷钱包。公司在2025年实现营收超850万美元并持续盈利增长。

TheNewsCrypto05/19 16:19

D'CENT推出'Flare Campaign',为全球XRP大军解锁闲置XRP资产

TheNewsCrypto05/19 16:19

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

活动图片