自选

我的自选

查看全部

市值	价格	24h%

全部
产业
Web 3.0
DAO
DeFi
符文
空投再质押
以太坊
Meme
比特币L2
以太坊L2
研报
头条
投资

30.00% 70.00%

利好

利空

ETH $2116.65
0.13%

市值
$2547.58亿

净流入
-$8015.35万

成交额
$28.45亿

热门币种

更多

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

以太坊基金会成员接连出离

2026-05-19 18:31:00

收藏

又有两名研究人员离职

本周一，以太坊基金会迎来两名顶尖研究人员的离职，这使得近几个月内该机构引人注目的离职人数已增至至少八位。朱利安·马与卡尔·比克分别结束了他们在基金会长达四年与七年的任职。

马曾为以太坊的抗审查特性以及跨层桥算法与策略做出贡献，而比克则参与了信标链的早期设计，该设计将权益证明机制引入区块链。

卡尔·比克确认其最后一个工作日为5月29日周五。他补充说，自己近日迎来新生儿，计划在考虑下一步去向的同时，花更多时间陪伴家人。

马在社交媒体上发文表示，离开以太坊基金会是为了专注于产品与增长领域的工作，并称该机构"是一个非常出色的地方，但不符合我接下来的发展路径"。

更广泛的离职潮

马与比克的离职延续了今年以太坊基金会的高知名度人才流失潮，仅五月内离职的高级开发者与研究人员总数已达五人。

这波更广泛的离职潮还包括巴纳贝·蒙诺、蒂姆·贝科、特伦特·范·埃普斯和亚历克斯·斯托克斯等知名贡献者。

托马什·K·斯坦恰克于二月辞去以太坊基金会联合执行董事一职，任职未满一年；而乔什·斯塔克则在三月结束了七年的任期后离职。

四月，核心研究员兼项目经理乔什·斯塔克宣布离开机构，此举发生在以太坊基金会贡献者特伦特·范·埃普斯宣布辞职的次日。

此番人员变动正值基金会进行内部转型之际，该转型与一项旨在重新定义其在以太坊生态中角色的新组织使命相关，引发了社区对这个非营利组织的方向、治理与长期发展的广泛讨论。

尤为值得注意的是，据称该机构在发布着重强调"CROPs"价值观（即抗审查、开源、隐私与安全）的使命文件后，曾要求员工签署忠诚承诺书。

本月初，以太坊基金会确认巴纳贝·蒙诺与蒂姆·贝科正逐步离开基金会，亚历克斯·斯托克斯则进入休假阶段，威尔·科科伦、凯夫·韦德伯恩和弗雷德里克将接任协议集群负责人职位。

随着基金会试图在日益去中心化的以太坊生态中重新定位自身角色，不断增长的离职名单也引发了新一轮讨论：这个曾助力创建该网络的组织，能否与网络共同演进？

展开阅读全文

今日快讯

高盛在2026年第一季度减少了对XRP和Solana的敞口，同时维持了主要的比特币配置，此举重塑了市场围绕这两种资产的讨论。最新的投资组合披露引发了加密货币市场的新辩论：机构投资者是在暂时轮动资金，还是在向大盘数字资产进行更深层次的结构性转变。XRP和Solana前方仍有催化剂，但近期的价格走势表明，随着山寨币领域的流动性条件持续收紧，投资者仍保持谨慎。高盛的此次调整发生在一个特殊时期：尽管整体市场存在有利窗口，但XRP和Solana均未能实现决定性的突破。分析师表示，这一事态反映了加密货币市场正处于一个过渡阶段，机构资本正变得更具选择性，并越来越关注流动性更深、监管框架更清晰的资产。高

高盛缩减瑞波币与Solana持仓，比特币配置依然坚挺

以太坊或在地缘冲突缓和后重拾涨势汤姆·李提出，当前市场的压力更偏向短期波动而非趋势性转折。他认为若中东紧张局势趋缓，以太坊有望迎来反弹。核心观点汤姆·李指出中东冲突强度降低将助推以太坊回升；当前油价高企仍是抑制以太坊表现的主要阻力；资产代币化与人工智能技术则为其长期看涨逻辑提供支撑。油价波动下的困局汤姆·李分析称，以太坊当前主要承受宏观层面的压力，这已超出单纯的技术性价格调整范畴。在此环境下，市场对确定性的需求超越了对纯技术的追捧，以太坊需要风险偏好回归与更清晰的市场框架。其逻辑简明直接：油价攀升促使投资者削减风险资产敞口，以太坊随之进入震荡区间。抛售并非源于其内在缺陷，而是市

汤姆·李预测中东冲突结束后以太坊将迎来复苏

Pump.fun在2026年第一季度仍是Solana最大的收入来源，尽管模因币活动有所降温，但其收入达到1.247亿美元，占该网络3.422亿美元总应用收入的三分之一以上。模因币启动板表现强劲该模因币启动板的收入环比增长17%，表明其核心业务依然具有韧性，Messari在其Solana第一季度报告中指出。启动板在第一季度创造了1.44亿美元的收入，约占Solana总应用收入的42%。该领域的佼佼者是Bags，其季度收入激增1347%，达到1150万美元，这主要得益于一月份人工智能主题模因币的热潮。然而，这种激增被证明是短暂的，月度收入到二月时下跌了85%。随着网络日益吸引更广泛的用户

Pump.fun占Solana第一季度收入的三分之一以上，尽管Meme币热潮降温

加密货币高管安全支出激增随着绑架、入室袭击和"扳手攻击"日益成为行业普遍风险，加密货币交易所及其高管正大幅增加个人安全投入。安全威胁线下蔓延行业数据显示，针对从业者的暴力威胁正从网络空间转向现实世界。所谓"扳手攻击"，指犯罪分子通过暴力威胁迫使受害者交出私钥、密码或钱包访问权限。近期趋势表明，此类威胁已从虚拟欺诈升级为人身安全危机。交易所安全成本飙升公开文件显示，知名交易平台正持续加大高管安保力度。2025年某交易所为其首席执行官支出的安全防护费用达870万美元，较上年增长40%。该平台在申报文件中强调，当安全团队判定需要时，公司可能提供包括专业护卫、安全居所和住宅安防在内的个人安保

加密货币勒索攻击致Coinbase安保支出飙升至870万美元

以太坊持续承压市场显露回调风险以太坊在未能收复关键阻力区域后持续面临抛售压力，近期价格走势显示多头动能减弱，深度回调的可能性正在增加。市场正在测试可能决定以太坊后续走向的关键支撑位。日线图分析在多次未能维持2300至2400美元阻力区上方的动能后，以太坊延续了调整态势。该资产近期失守2150美元附近的100日移动平均线，目前徘徊于2000美元附近上升通道下轨区域，这预示着中期空头力量正逐渐占据主导。阻力区的反复受阻表明，每次反弹尝试中卖方仍保持活跃。若以太坊未能守住当前通道支撑，价格很可能将进一步跌向1800美元附近的主要需求区域。上行方面，市场情绪若要实现实质性转变，首先需要重

以太坊价格预测：失守百日移动均线后，ETH跌破2000美元已成定局？

比特币回踩W形态突破区域九万美元目标位仍存可能比特币价格正在重新测试日线图中W形态的突破区域。当前75,800至76,800美元区间已成为关键支撑范围。同时，比特币仍位于主要移动均线上方，只要支撑有效，涨向90,000美元的潜在走势便依然成立。 W形态颈线测试决定后市走向从图表可见，比特币在二月首次跌破该区域后，于64,000至67,000美元附近形成两个圆弧底，随后价格回升至颈线上方并向上冲击82,000美元区域。目前比特币正自高位回撤，对同一颈线进行上方向下的测试。此类回踩通常将决定突破的有效性。若比特币能维持在75,811美元上方，则W形态结构依然有效，下一上涨目标可能指向97,

比特币价格预测：多方坚守关键7.5万美元关口，剑指9万美元目标

以太坊基金会人事地震引发未来担忧以太坊基金会近期出现一系列高层人员离职，这引发了关于该平台未来发展与内部凝聚力的新讨论。在担任联合总监仅一年的托马什·斯塔恩查克离职后，离职潮呈现出加速态势。连续离职与团队重组今年四月至五月期间，六位核心贡献者相继离开基金会或开始长期休假，这对核心工程与研究团队产生了显著影响。负责第一层协议设计的协议集群部门在两位颇具影响力的工程师巴纳贝·莫诺和蒂姆·贝科离职后，正在进行结构调整。多位长期任职的成员也已离开。乔什·斯塔克在基金会工作七年，曾参与多个项目并共同领导"万亿美元安全计划"，现已离职。同样，在协议公会工作五年的特伦特·范·埃普斯也已辞去全职职务

以太坊价格暴跌四成，核心开发者出走引发市场动荡

以太坊基金会内部变动持续展开作为加密货币领域的核心机构，以太坊基金会正经历一系列深刻变革，高层人员的接连离职推动着这一进程。继联合总监托马什·斯坦恰克履职仅一年便离任后，这些人事变动再度引发关于该基金会组织架构与发展方向的讨论。核心团队架构调整近两个月间，以太坊工程与研究团队的多位核心成员相继离职或开启长期休假。这波离职潮促使负责第一层架构的协议集群部门进行重组。在主要贡献者巴纳贝·蒙诺与蒂姆·贝科离开后，该部门的工作格局已发生显著变化。长期参与关键工作的资深成员乔什·斯塔克与特伦特·范埃普斯也已转向新阶段。斯塔克结束了七年任职，而范埃普斯在五年全职贡献后转为兼职顾问。这些变动凸显出

以太坊基金会动态新进展

基于定期投资计算器的历史回测一项最新分析揭示了自2015年起每月坚持定投比特币的实际回报，同时也指出常见的“只需定投比特币”这一说法过于简化现实情况。数据显示，若从2015年1月开始每月投入100美元购买比特币，至2026年5月共进行137次投资，累计投入13,700美元。截至2026年5月19日，所积累的8.219枚比特币价值约为632,315美元，总回报率达4,515%。该策略的平均比特币获取成本约为每枚1,667美元，因早期在价格上涨前购入了更多份额。不同入市时点的表现对比对于在2021年5月市场高位附近开始定投的投资者，尽管经历2022年市场下跌，每月100美元的定投在五年间仍

Coinbird分析显示：自2015年起每月定投100美元比特币，13,700美元本金已增值至63.2万美元

以太坊显现买入信号交易者紧盯2100美元关键支撑区分析师阿里·马丁内斯预测以太坊可能反弹，但阻力位仍限制上行势头。TD序列指标显示，在以太坊经历连日下跌后，看跌压力正逐步减弱。技术指标暗示趋势转折加密货币分析师阿里·马丁内斯指出，以太坊12小时图表出现TD序列买入信号，表明在持续数日的抛售压力后，ETH可能正酝酿反弹。当该信号出现在2138美元价位附近时，他指出若买家能在当前价位维持支撑，反弹或将随之而来。此前以太坊从2300美元上方回落，看跌情绪主导市场。但最新图表结构显示抛售动能正在衰减。马丁内斯分析称，完整的TD序列“9”计数常预示趋势衰竭和短期反转可能。此外，近期K线实体较

以太坊闪现罕见买入信号分析师预言ETH将强势反弹

以太坊呈现多年压缩筑底形态分析师发现以太坊可能正形成一项长期技术形态，预示着市场动能或将转变。根据bitcoindata21分享的数据，以太坊相对于美国供应管理协会制造业周期已构建长达数年的压缩基底。宏观结构显示长期压缩格局最新分析聚焦于以太坊相对美国制造业周期的12个月百分比变化模型。图表显示，历史上经济扩张期往往与数字资产走强阶段相契合。分析师指出，只有当商业周期处于活跃阶段时，以太坊及其他替代性数字资产才可能显现超额收益。分析师进一步援引金融市场历史案例，指出白银、黄金、日经指数等资产在经历长期盘整结构后均出现过显著上行行情。这种类比暗示，漫长的压缩筑底阶段最终可能催生更强烈的

以太坊长线底部信号预示潜在突破

Bitget钱包整合xStocks基础设施，拓展代币化资产版图 Bitget钱包宣布已集成xStocks基础设施，其9000万用户可通过自托管钱包平台访问超130种代币化股票与ETF。根据周二公告，此次整合将Bitget钱包的代币化实物资产产品扩展至超300种，涵盖股权、大宗商品、贵金属及指数挂钩资产。该公司表示，自2025年推出以来，其代币化股权产品已处理超300亿美元交易量。相关产品未在美国、英国等受限司法管辖区开放。此次上线同时支持报价请求与自动化做市商流动性模式，用户可零交易费、免燃气费进行代币化资产交易。据披露，用户可通过加密货币交易、兑换及存储的统一界面访问代币化股权与其他实物

Bitget钱包集成Kraken支持型xStocks股权代币

关键要点平行融资努力仍在继续对潜在收购方的战略意义 Tenstorrent已引起英特尔和高通的初步收购兴趣这家AI芯片开发商正在就战略选择咨询投资银行该公司的潜在估值超过50亿美元若公司决定出售，可能会出现更多收购方这家初创公司同时正在探索新一轮融资据彭博社周一报道，人工智能处理器开发商Tenstorrent已成为英特尔和高通初步收购讨论的对象。这家初创公司已与两家半导体制造商进行了讨论，并开始咨询投资银行公司以评估战略选择。在竞争激烈的人工智能芯片领域，Tenstorrent将自己定位为与英伟达和AMD等行业领导者的竞争者。该公司的技术代表了现有市场参与者之外的新兴替代方案

英伟达挑战者 AI芯片新创Tenstorrent引发英特尔、高通收购兴趣

巨额比特币转移引发市场关注据链上监测数据显示，一个匿名钱包向加密货币交易平台转移了924枚比特币，按当前市值计算约合7103.9万美元。市场影响待观察分析指出，大量比特币转入交易所通常被视为潜在抛售信号，但具体是否转化为实际卖出行为仍需进一步确认。此类大额资产流动往往会引起投资者对市场短期波动的关注

924 BTC，从匿名钱包转移至Kraken平台

公司增持比特币据媒体披露，Strike首席执行官马特·科尔在社交平台X上宣布，公司近期以平均每枚79,348美元的价格追加购入了382枚比特币。此次增持规模约达3030万美元。完成本次操作后，Strike持有的比特币总量已上升至15,391枚。数据显示，其比特币持仓季度收益率为6.6%，年度收益率则达到18.4%

Strike再购382枚BTC，持有总量达15,391枚

比特币现货ETF遭遇大规模资金外流据SoSoValue数据显示，比特币现货ETF持续承压，继上周出现约10亿美元资金流出后，本周一单日再流出6.4864亿美元。贝莱德的IBIT以4.48亿美元流出额居首，ARK Invest与21Shares的基金流出1.1亿美元，富达旗下产品则流出6300万美元。比特币价格持续震荡根据CoinGecko统计，比特币价格自上周四的8.17万美元高点下跌6.7%，周内最低触及7.6201万美元。过去24小时内跌幅为0.7%，当前交投于7.668万美元附近。多重因素加剧市场波动区块链金融基础设施公司Wefi董事会顾问指出，近期资金外流与整体市场环境相

比特币ETF单日流出6.49亿美元，长期持有者成市场"压舱石"

核心亮点 Bitget钱包整合Kraken的xStocks平台，解锁对130多种代币化股票产品的访问。零交易费用与免燃料费交易，实现了代币化股权的无缝管理。其现实世界资产总产品目录现已超过300项，涵盖ETF、股票及大宗商品。7×24小时交易支持与碎片化所有权模式，降低了优质股权的投资门槛。Kraken的基础设施提供了透明可靠的代币化股票交易体验。通过与Kraken旗下xStocks平台的战略合作，Bitget钱包现已实现对超过130种代币化股票产品的直接访问。此次合作使得该钱包的现实世界资产总产品库突破300项大关。用户现可通过单一界面统一管理代币化股票、交易所交易基金、大宗商品及指数挂钩

Bitget钱包与Kraken携手推出130余种代币化股票交易

灰度与VanEck提交ETF修订案提升BNB机构关注度与市场热度随着多项看涨指标显示突破信号，BNB正逼近690美元阻力位，有望向700美元关口发起冲击。尽管监管层面仍存不确定性，但网络活跃度与市场动能持续增强，为币安币注入新的活力。 ETF申请将BNB推向监管聚光灯两大资产管理巨头于近日提交了现货BNB交易所交易基金的修订申请文件。相关产品计划在纳斯达克上市，旨在让投资者通过传统经纪账户直接持有BNB资产。根据备案信息，首批产品暂不包含质押功能，其信托结构将依照纳斯达克商品信托规则直接持有BNB。这一架构与美国已获批的比特币及以太坊ETF框架保持一致。市场分析人士指出，监管机构正对申

BNB瞄准700美元关口：灰度与VanEck力推ETF修订案

XRP账本3.1.3升级引发硬分叉讨论在Ripple前首席技术官戴维·施瓦茨解释XRP账本为何出现更多“技术性硬分叉”特征事件后，即将到来的3.1.3版本升级引发了新一轮讨论。核心争议焦点施瓦茨指出，相较于多数成熟公有账本，XRP账本确实存在更多具有“技术性硬分叉”特征的事件。此次3.1.3版本包含针对NFT、权限域名、保险库及借贷协议的修复修正案。未能在5月27日前完成升级的节点可能面临修正案阻断与服务中断风险。升级机制解析 XRP账本共识机制依赖可信验证节点列表而非算力竞争。施瓦茨在社交媒体平台强调，验证节点分裂本身并不直接决定分叉结果，关键在于各方能否组建具有共识的有效独立节点列

Ripple CTO详解XRPL在3.1.3版本截止前的硬分叉

参议员沃伦指责货币监理署放任加密企业以无监管银行模式运作美国参议员伊丽莎白·沃伦作为加密货币行业的著名批评者，近日指控货币监理署未能对数字资产公司实施有效监管。她指出，这些公司实际上以银行模式运作，却规避了相应监管。沃伦在致货币监理署的信函中强调，该机构已批准至少九家加密公司以可能绕开现行银行法规的方式开展业务。具体指控与涉及对象根据彭博社报道，沃伦在信中重点指出了稳定币发行商通过申请信托牌照管理抵押资产这一日益增长的趋势。自第二届特朗普政府上任以来，此类操作明显增多。她特别提及瑞波、Paxos及Coinbase的关联机构已获得此类批准，并指出这些批准使得加密企业得以在规避联邦法律对银

参议员沃伦指责货币监理署纵容加密公司扮演无监管银行角色

更多新闻

NEXON股价因回购预期而飙升

네오위즈홀딩스股价因回购注销计划触及涨停在市場對其股份回購與註銷計劃的預期推動下，네오위즈홀딩스股價於19日盤中觸及漲停，最終以大幅上漲收盤。當日在科斯達克市場，該公司股價收報2.3萬韓元，較前一交易日上漲12.47%。股價在開盤後即表現強勢，以9.78%的漲幅開盤，早盤一度飆升至2.655萬韓元，漲幅達29.83%觸及漲停板，並創下本月最高價位。隨後雖因獲利了結賣盤湧現漲幅收窄，但強勢走勢仍持續至收盤。回購註銷計劃引發市場積極反應投資者的迅速反應源於前一日的公司公告。네오위즈홀딩斯宣布已決定簽訂規模達100億韓元的股份回購信託協議，目的在於通過註銷提升股東價值。股份回購即公司從市場

1 分钟前
Bybit推出美元交易与WLFI奖励整合

Bybit平台上线美元稳定币USD1 加密货币交易平台Bybit已正式上线由World Liberty Financial发行的美元稳定币USD1，并将其列为核心流动性资产之一。此次整合伴随一项收益激励计划，持有者有机会从总量为4500万枚的WLFI代币奖池中获得每日奖励，提供的年化回报率最高可达20%。此外，Bybit已批准将USD1作为合格抵押品，应用于其保证金交易台、机构借贷服务及加密贷款产品中，从而将该资产深度嵌入交易所的核心金融基础设施。 USD1简介 USD1是一种由美元支持的稳定币，由World Liberty Financial发行，由BitGo信托公司托管，其储备金由

12 分钟前

BNB
0.05%

ETH
0.13%

SOL
0.19%

USD1
0.01%

WLFI
0.67%
高盛缩减瑞波币与Solana持仓，比特币配置依然坚挺

高盛在2026年第一季度减少了对XRP和Solana的敞口，同时维持了主要的比特币配置，此举重塑了市场围绕这两种资产的讨论。最新的投资组合披露引发了加密货币市场的新辩论：机构投资者是在暂时轮动资金，还是在向大盘数字资产进行更深层次的结构性转变。XRP和Solana前方仍有催化剂，但近期的价格走势表明，随着山寨币领域的流动性条件持续收紧，投资者仍保持谨慎。高盛的此次调整发生在一个特殊时期：尽管整体市场存在有利窗口，但XRP和Solana均未能实现决定性的突破。分析师表示，这一事态反映了加密货币市场正处于一个过渡阶段，机构资本正变得更具选择性，并越来越关注流动性更深、监管框架更清晰的资产。高

12 分钟前

BTC
0.12%

ETH
0.13%

SOL
0.19%

XRP
0.21%
汤姆·李预测中东冲突结束后以太坊将迎来复苏

以太坊或在地缘冲突缓和后重拾涨势汤姆·李提出，当前市场的压力更偏向短期波动而非趋势性转折。他认为若中东紧张局势趋缓，以太坊有望迎来反弹。核心观点汤姆·李指出中东冲突强度降低将助推以太坊回升；当前油价高企仍是抑制以太坊表现的主要阻力；资产代币化与人工智能技术则为其长期看涨逻辑提供支撑。油价波动下的困局汤姆·李分析称，以太坊当前主要承受宏观层面的压力，这已超出单纯的技术性价格调整范畴。在此环境下，市场对确定性的需求超越了对纯技术的追捧，以太坊需要风险偏好回归与更清晰的市场框架。其逻辑简明直接：油价攀升促使投资者削减风险资产敞口，以太坊随之进入震荡区间。抛售并非源于其内在缺陷，而是市

12 分钟前

ETH
0.13%
Pump.fun占Solana第一季度收入的三分之一以上，尽管Meme币热潮降温

Pump.fun在2026年第一季度仍是Solana最大的收入来源，尽管模因币活动有所降温，但其收入达到1.247亿美元，占该网络3.422亿美元总应用收入的三分之一以上。模因币启动板表现强劲该模因币启动板的收入环比增长17%，表明其核心业务依然具有韧性，Messari在其Solana第一季度报告中指出。启动板在第一季度创造了1.44亿美元的收入，约占Solana总应用收入的42%。该领域的佼佼者是Bags，其季度收入激增1347%，达到1150万美元，这主要得益于一月份人工智能主题模因币的热潮。然而，这种激增被证明是短暂的，月度收入到二月时下跌了85%。随着网络日益吸引更广泛的用户

12 分钟前

SOL
0.19%
Bitget钱包将代币化股权引入加密钱包

Bitget钱包推出现实资产交易门户 Bitget钱包于5月19日推出现实资产交易门户，使加密货币钱包用户无需离开自托管界面，即可直接访问超过300种代币化股票、交易所交易基金、大宗商品及指数产品。据其公告称，该门户聚合了来自两大领先代币化证券平台——Ondo全球市场与xStocks——的流动性，并通过结合询价与自动化做市商的双重执行模型，在以太坊、Solana及BNB链上完成交易。代币化股票：运行机制代币化股票是基于区块链的代币，代表对传统股票或基金的所有权敞口。每个代币通常由受监管托管人持有的底层证券以1:1比例支持，使持有者能够通过加密钱包而非传统券商账户，实现全天候交易与股票挂钩的

12 分钟前

ONDO
0.69%
TD Cowen看好Strategy增持比特币后股价有140%上涨空间

TD Cowen上调Strategy股票目标价在Strategy公司宣布近期比特币增持与债务管理举措提升其每股比特币敞口并改善资产负债表状况后，TD Cowen调高了该公司股票的目标价格。 TD Cowen分析师Lance Vitanza与Jonnathan Navarrete在周二的研究报告中指出，该券商将Strategy股票目标价从395美元上调至400美元，同时维持“买入”评级。分析师将此次调整归因于该公司第二季度国库活动表现超出预期，其比特币增持量甚至超越了TD Cowen对整个季度的最初预测。比特币持仓大幅增加 Strategy在本周早些时候提交的8-K表格中披露，其在5月11日

12 分钟前

BTC
0.12%
维塔利克·布特林提出以人工智能辅助形式化验证为软件开发安全的终极形态

以太坊联合创始人勾勒网络安全未来愿景以太坊联合创始人维塔利克·布特林近日为区块链及其他领域的网络安全描绘了乐观前景。他指出，在人工智能驱动攻击日益强大的时代，将人工智能与形式化验证技术结合，或将决定性扭转攻防天平，使防御方占据优势。在5月18日发布的博客文章中，布特林阐释了开发者如何编写代码——甚至可以是EVM字节码或汇编等低级格式代码，进而使用Lean等验证语言通过机器可验证的数学证明来确保证明的正确性。人工智能工具通过同步生成高度优化的代码及相应证明，可显著加速这一过程。在他看来，人类未来只需专注于确保高级规范能真实反映其预期目标。形式化验证的重要性日益凸显形式化验证并非全新概念

13 分钟前

ETH
0.13%
TRC-20与ERC-20 USDT是否相同？选错网络为何会导致资金损失？

TRC-20与ERC-20上的USDT：相同代币，不同网络 TRC-20与ERC-20网络上的USDT是相同的代币，它们都是由Tether发行的与美元挂钩的稳定币，可按1:1比例兑换为该公司的储备金。然而，支撑该代币的是两个完全不同的底层网络。TRC-20 USDT存在于波场区块链上，而ERC-20 USDT则存在于以太坊区块链上。将USDT发送至错误的网络通常会导致资产的永久损失。虽然某些钱包支持两种网络并在每个步骤明确提示差异，但发送方仍需承担确保网络与接收方匹配的责任。错误选择所带来的代价足以让我们直面这一问题：它们是相同代币，但属于不同网络，选错网络即可能造成资金损失。简短回答：

13 分钟前

ETH
0.13%

TRX
0.14%