维塔利克:形式化验证或成加密货币安全领域的最大飞跃
以太坊创始人提议以AI辅助形式化验证提升安全性
以太坊联合创始人Vitalik Buterin表示,通过人工智能辅助的形式化验证技术将能生成“极致高效的代码”,并大幅提升系统安全性。这一提议的提出正值以太坊在当年头四个月因漏洞攻击损失超3亿美元之际。
形式化验证的技术路径
Vitalik在其最新技术论述中指出,采用人工智能技术并以低级语言或Lean语言实现的形式化验证,可能成为加密货币行业最重要的安全跃迁。他详细阐述了人工智能如何推动加密安全领域的新方法论,该方法涉及使用EVM字节码等底层语言或专门用于编写数学证明的Lean语言直接编写代码。
他特别强调:“若执行得当,这种方法既能输出极致
2026-05-19
以下为《清晰法案》仍可能无法成为法律的七个原因
美国《数字资产市场清晰法案》在参议院银行委员会以15比9的投票结果推进后,迈出了重大一步。所有13名共和党成员以及民主党参议员鲁本·加列戈和安吉拉·阿尔斯布鲁克斯均支持该提案。该法案试图通过明确划定美国证券交易委员会(SEC)和商品期货交易委员会(CFTC)的监管界限,来解决加密货币领域最棘手的问题之一。委员会投票后,比特币价格突破81,000美元,XRP上涨近5%,因投资者乐见其进展。然而,该法案在成为美国实际法律之前,仍须克服巨大的政治和程序障碍。《清晰法案》究竟能为加密货币做什么《清晰法案》,正式名称为《2025年数字资产市场清晰法案》,旨在为在美国运营的加密货币和区块链公司制定更清晰的
焦点转移:XRP成为首选资产
投资风向转变:XRP成为避险新选择
过去一周,与XRP相关的投资产品实现显著增长,资金流入总额达6760万美元。根据CoinShares最新数据,这一数字较前一周大幅增长70%。当前,加密货币市场的主导力量比特币和以太坊正面临明显的资金外流压力。
美国投资者策略调整
CoinShares最新报告显示,美国投资者正呈现出规避高风险加密资产的明显倾向。中东地区紧张局势升级是推动这一转变的重要因素。美国数字资产市场因此遭遇约11.4亿美元的资金撤离,其中比特币与以太坊分别承受9.815亿美元和2.493亿美元的净流出。
与之形成鲜明对比的是,XRP正成为吸引资金的新焦点。深入分析区域数据可见,流入
Bitmine 虽持千亿 ETH,纽交所首秀股价仍跌 4.1%
纽约证券交易所首秀后 Bitmine股价回落4.1%
备受期待的纽约证券交易所转板完成后,尽管投资者对其庞大的以太坊投资组合兴趣高涨,美国领先的数字资产公司Bitmine的BMNR股票仍大幅走低,最终收跌4.1%报19.06美元。早盘涨幅在抛压加剧后逐渐消退,投资者在股票以新代码交易的首日经历了剧烈波动。
转板后的股价表现
Bitmine于2026年4月9日正式开始在纽约证券交易所交易,此前其于美国证券交易所上市。BMNR股票交易活动激增,五日平均交易量攀升至8.57亿美元。就市场活跃度而言,Bitmine的BMNR股票成交量在全美股票中排名第133位。
BMNR股票的近期回调源于早盘涨势未
Verus Bridge 遭遇 1150 万美元以太坊相关漏洞
加密货币行业再次遭遇大规模黑客攻击,据称Verus-Ethereum跨链桥在最新攻击中损失约1150万美元。区块链安全研究人员发现,入侵者很快将被盗资金兑换为以太币,这加剧了市场对跨链桥安全性的担忧。
跨链桥遭遇重大损失
数据显示,攻击者从桥接协议中提取了多种资产,包括代币化比特币、以太币与USDC稳定币,随后将其兑换为约5402枚以太币。目前已有与攻击相关的钱包地址被追踪。
本次漏洞利用了连接Verus区块链生态与以太坊网络的跨链桥。尽管跨链桥已成为资产在不同区块链间转移的热门工具,但近年来它已成为黑客最主要的攻击目标之一。
安全专家估算,攻击者在此次事件中提取了约103.6枚tBTC
2026-05-18
Bitmine公司以太坊持有量突破528万枚,接近供应量5%目标
比特矿业沉浸科技宣布以太坊持仓突破528万枚
该公司目前持有的以太坊约占其1.207亿枚流通总量的4.37%。截至5月17日,其加密资产、现金及"远射计划"持仓总值已达126亿美元。
稳步迈向"5%炼金术"目标
仅过去一周内,该公司新增71,672枚以太坊,质押持仓总量达4,712,917枚。按每枚2,191美元计算,质押资产价值约103亿美元。近89%的以太坊储备已参与质押,预计可产生年均2.89亿美元质押收益,最近七日质押收益率达2.80%。
根据最新公告,该公司已完成长期战略目标的87%,计划在2026年前持有以太坊总供应量的5%。除以太坊储备外,公司还持有202枚比特币、6.85亿美元
维塔利克·布特林表示:人工智能验证代码将提升以太坊安全性
以太坊联合创始人维塔利克·布特林认为,通过人工智能技术实现数学验证的软件,有望开启加密货币系统乃至更广泛互联网基础设施安全的新纪元。
在他个人博客发布的文章中,布特林详细阐述了人工智能如何能够显著降低开发者编写代码及进行严格数学验证的难度。
何谓人工智能验证?
这项被称为“形式化验证”的技术,利用可通过数学检验的证明来判断软件行为是否符合预期。尽管相关研究已持续数十年,但人工智能的最新进展使得生成代码及其数学证明的过程变得更为实用高效。
布特林特别指出,以太坊的基础设施、零知识证明、新一代共识机制以及抗量子密码学等技术,将可能从这种先进的验证方法中获益最多。
加密生态面临的安全挑战
在加密
2026-05-18
Adshares黑客退还62.8万美元的86%,分析师揭露漏洞隐患
Adshares漏洞攻击者归还大部分资金 安全风险仍存
据PeckShieldAlert披露,5月17日Adshares跨链桥漏洞攻击者已向项目部署地址返还256枚ETH(约54.07万美元),覆盖了约62.8万美元总损失中的86%。尽管部分资金的返还为近期频受攻击的DeFi领域带来喘息之机,但安全研究人员警告,平台和用户在事后恢复期仍需保持警惕,不法分子常会趁此机会针对受影响用户进行二次诈骗。
漏洞成因分析
Web3安全平台CD Security创始人Chris Dior指出,事件根本原因在于跨链桥铸币验证失效。攻击者通过伪造不存在的原生链交易ID,利用桥接铸币者外部账户签署三笔wrapT
2026-05-18
比特矿业新增71,672枚ETH,国库储备突破528万枚ETH
Bitmine单周增持逾7万枚以太坊
据监管文件披露,Bitmine在一周内为其企业资金库增加了71,672枚以太坊,使其以太坊总持有量达到528万枚。该公司通过向美国证券交易委员会提交的8-K文件公布了这项资金库变动,该增持行为发生在一个明确的七日期限内。
关键数据一览
单周增持量:71,672枚以太坊
资金库总量:528万枚以太坊
披露方式:通过SEC 8-K监管文件申报
以股票代码BMNR进行交易的Bitmine Immersion Technologies近期持续增持以太坊。此前曾有公开信息显示,在本次增持前该公司已持有521万枚以太坊。
资金库规模扩张轨迹
最新单周收购使该公司
2026-05-18
【午夜行情速递】加密货币市场震荡下行:比特币报76,351美元,以太坊跌至2,109美元
加密货币市场整体呈现下跌态势
根据市场数据显示,截至5月19日凌晨,比特币报76,350.74美元,较前一日下跌2.14%。以太坊报2,108.74美元,跌幅为3.53%。
主流山寨币普遍下行
XRP下跌2.58%,报1.38美元;BNB下跌2.37%,报636.49美元;Solana下跌2.72%,报83.90美元。狗狗币跌幅较为显著,达6.12%;波场亦小幅下跌0.26%。而Hyperliquid逆势上涨2.88%,表现相对独立。
市场整体数据概览
当前山寨币总市值约为1.0149万亿美元,24小时交易量约524.4亿美元。加密货币总市值达2.544万亿美元,过去24小时总交易量约为8
全球DEFI总锁仓价值自十月峰值骤降50%
从周期高点显著回落
全球去中心化金融已经跨越了一个重要门槛。据多家分析机构数据显示,自2025年10月周期高点以来,DeFi领域总锁仓价值已下降约50%,当前总值显著低于2022年FTX崩盘后记录的水平。
此轮峰值本身具有标志性意义。2025年10月初,多链DeFi总锁仓价值达到1719亿美元,随后大规模市场抛售开始回吐这些涨幅。宏观经济压力,包括对华关税威胁的再度出现,触发了2025年第四季度的市场逆转,导致DeFi总市值下跌37.2%,至12月的1009亿美元。这一跌势持续至2026年。据报告,截至2026年5月,总锁仓价值已降至约380亿美元,低于此前FTX事件后约430亿美元的低谷水平
量子技术悄然威胁加密货币安全
量子技术为加密货币安全蒙上阴影
近期一项由金融巨头发布的研究揭示,量子计算的进步正对加密货币领域构成令人警醒的挑战。报告指出,不仅数字货币的脆弱性增加,整个互联网的基础框架也面临更大风险。
量子计算:区块链的新对手?
该分析阐明了量子计算机如何撼动传统加密方法。当前支撑区块链网络、金融通道和数字交易平台的安全机制,严重依赖在数学上被认为可靠的算法。然而新兴的量子技术正威胁着这些基础,对数字完整性构成了全新挑战。
密码学专家警告,量子计算机的巨大算力可能使传统加密技术失效。数字资产生态中的关键环节——如钱包与交易平台——在这一颠覆性发展面前可能变得越来越脆弱。
比特币面临迫在眉睫的威胁?
报
超流动性巨鲸持有多空平衡头寸,资产总值达40.39亿美元
Hyperliquid平台大额持仓者的未平仓合约总值目前达到40.39亿美元,多空分布接近均衡,在近期震荡行情后,双方均承受着数百万美元的未实现亏损。
数据概况
Coinglass数据显示,Hyperliquid上大额持仓者的总仓位为40.39亿美元,其中多头仓位19.81亿美元(占49.05%),空头仓位20.58亿美元(占50.95%),多空比率为0.96。
目前双方仓位均处于浮亏状态:多头仓位的总未实现亏损约3080万美元,空头仓位总未实现亏损约1460万美元,这表明高杠杆参与者普遍承受着压力。
其中一个地址(0xa5b0..41)持有约15倍杠杆的ETH多头仓位,建仓均价约为每枚22
2026-05-18
维塔利克·布特林:AI驱动的形式化验证或将重塑加密安全格局
维塔利克·布特林:人工智能驱动的形式化验证或将革新加密安全
以太坊联合创始人维塔利克·布特林近日指出,将人工智能与形式化验证技术相结合,有望显著提升加密货币系统乃至更广泛互联网基础设施的安全性。相关评论突显出人工智能与区块链技术正日益深入融合的发展趋势。
何为形式化验证?
形式化验证是一种通过数学方法严格证明软件行为完全符合设计意图的技术。与传统测试仅能发现漏洞不同,形式化验证能从根本上确保特定类型的错误不存在。然而,该技术历来因流程缓慢且依赖大量人力,在加密开发等高速演进领域中难以普及。
人工智能成为安全催化剂
布特林阐释道,人工智能的最新进展正在大幅提升代码编写与验证证明的效率。虽然人
2026-05-18
XRP账本迎15亿美元RWA涌入,以太坊遭遇大规模资金外流
现实资产赛道风起云涌,XRP账本引发关注
随着现实资产领域专家宙斯在社交平台上针对XRP账本近期态势发表鲜明观点,这一网络在现实资产领域再度掀起关注浪潮。宙斯指出,XRP账本当前"在现实资产资金流入方面占据绝对主导地位",流入金额达15亿美元,而同期以太坊则录得约12亿美元资金流出。他补充道,以太坊虽仍以较大优势保持整体领先地位,但更关键的问题随之浮现:到2026年底,究竟哪条区块链将在现实资产竞赛中拔得头筹?
现实资产赛道的价值内核
此番讨论之所以备受瞩目,源于现实资产已成为加密货币领域最受关注的板块之一。其核心理念虽简明,却蕴含巨大潜力。将国债、基金、债券等金融产品代币化,有望使传统金融
尽管坐拥126亿美元以太坊储备,Bitmine(BMNR)股价仍下跌4.10%
BMNR股价在转板纽约证券交易所后回落随着公司以太坊资产组合扩大至528万枚,MAVAN质押基础设施持续为财库创造收益BMNR股价下跌4.10%,Bitmine巨额528万枚ETH财库引关注Bitmine公司完成纽交所转板后,其持有的528万枚以太坊资产持续成为市场焦点。BMNR股价在早盘冲高动能消散后回落,尽管公司数字资产组合规模已达126亿美元。转板纽交所后BMNR股价回落周一Bitmine(BMNR)股价下跌,公司庞大的以太坊财库持续吸引显著市场关注。该股收盘报19.06美元,下跌0.82美元,早盘涨幅最终失去动能。公司披露其持有的加密货币、现金储备及战略投资总价值达126亿美元。股价早
Aave恢复WETH借贷比率 四月rsETH事件后调整生效
Aave为何恢复WETH抵押参数设定?
Aave已在六个Aave V3网络上恢复封装以太坊的正常贷款价值比,撤销了四月rsETH漏洞导致借贷协议流失超2.3亿美元ETH后实施的紧急限制。这一决定标志着DeFi最重要抵押资产之一正迈向常态化。封装以太坊作为以太坊的代币化形式,在去中心化金融领域被广泛用作借贷抵押品、杠杆工具、流动性策略及链上国库管理的基础资产。
危机期间,Aave将受影响市场的WETH贷款价值比降至0%,实际上冻结了其作为借贷抵押品的功能,阻止用户开设新的WETH债务头寸,从而避免无实际支撑资产持续冲击借贷市场时引发进一步风险。目前以太坊核心层、以太坊优质层、Arbitrum、B
2026-05-18
加密货币ETP六周净流入中断,单周流出10.7亿美元
加密投资产品单周流出资金10.7亿美元 投资者减持比特币与以太坊 另类代币获选择性布局
根据5月18日发布的资金流动报告,数字资产投资产品上周录得10.7亿美元资金流出,结束了连续六周的资金净流入态势,并成为本年度第三大单周流出规模。报告指出,此次资金变动可能反映地缘政治风险升温引发的避险情绪,同时相关监管立法的进展在一定程度上抑制了更广泛的抛售。
资金流向呈现明显分化
比特币相关产品流出9.82亿美元,使其年初至今净流入规模缩减至39亿美元。同期以太坊产品遭遇2.49亿美元流出,创下自1月30日以来最大单周流出纪录。区块链股票ETF亦出现1.33亿美元资金撤离,显示市场调整已波及加密资产相关
CoinEx 在 DeFi 收益下行时代的加密储蓄推广
DeFi蓝筹稳定币收益率落后于银行现金及代币化国债,CoinEx力推灵活储蓄作为流动性工具当前DeFi蓝筹稳定币借贷收益率已低于美国主流高收益储蓄账户,促使CoinEx等平台将加密储蓄重新定位为综合收益工具的一部分,而非简单的利率竞争产品。加密储蓄产品在某些细分领域仍具竞争力,但如今它们需直接面对经纪商现金与银行存款的美元收益率竞争,而后者的风险水平显著更低。风险溢价消失的加密收益评论者指出,这一变化标志着DeFi原有价值主张的悄然逆转。一份广泛流传的2026年4月利率分析总结直指:“当前DeFi稳定币收益已成静默的悲剧——Aave/Morpho/Euler等协议利率约1.8%–3.1%,而盈
【午夜快讯】高盛调整ETF策略:削减比特币与以太坊相关投资,纳入XRP和Solana
高盛调整加密货币投资布局
据披露信息显示,高盛在2025年第四季度曾持有价值约1.54亿美元的XRP相关ETF,包括Bitwise、富兰克林邓普顿、灰度及21Shares等机构产品,但在第一季度已全部清仓。同时,该公司亦处置了所有与Solana相关的ETF持仓,包括灰度Solana信托ETF、Bitwise Solana质押ETF以及富达Solana基金等。
相比之下,高盛仍大规模持有比特币ETF,包括价值约6.9亿美元的贝莱德IBIT与约2500万美元的富达FBTC,不过这两项持仓较上一季度均减少约10%。在以太坊ETF方面,其持有的贝莱德ETHA规模缩减约70%,降至约720万股、价值1.
2026-05-18
7🞪24快讯
6月1日
今天
星期一

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
去中心化交易所
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
ETF追踪
索拉纳ETF
瑞波币ETF
香港ETF
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
大额转账
链上异动
比特币回报率
稳定币市值
期权分析
新闻
文章
财经日历
专题
钱包
合约计算器
账号安全
资讯收藏
自选币种
我的关注