# 区块链的所有文章

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

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

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

活动图片