Vitalik Buterin AI 将增强加密货币的安全性

Vitalik Buterin 如果开发者将机器生成的代码与经过数学验证的软件相结合，人工智能有望让加密货币系统及更广泛的互联网基础设施更加安全。这位Ethereum 人在一篇新博文中表示，AI的形式化验证已具备足够的实用性，足以在实际的安全工作中发挥重要作用。

形式化验证利用可由机器验证的证明来确认软件的行为完全符合预期，布特林表示，近期AI 有助于编写代码和证明。他将这种结合视为对日益加剧的担忧的一种回应——即AI 加速漏洞的发现和网络攻击的发生。

他指出 Ethereum 基础设施、zero-knowledge 系统、共识机制以及后量子密码学，认为这些领域是经过验证的代码最为关键的环节。在这些领域中，一个小小的漏洞就可能导致不可变资产被锁定、破坏密码学保障，甚至将核心网络软件变成攻击面。

布特林还警告说，证明并非万能良方，因为开发者可能会验证错误的假设，忽略硬件漏洞，或者将关键组件排除在验证系统之外。尽管如此，他认为AI 最终AI 帮助防御者更快地消除漏洞，速度甚至会超过攻击者将这些漏洞大规模武器化的速度。

UK 24/7 结算与代币化转型

英格兰银行和金融行为监管局就一份旨在让代币化在批发金融中发挥更大作用的路线图，征求了各公司的意见。监管机构表示，基于区块链的基础设施有望降低成本。关于市场摩擦、规则及安全性的反馈意见需于7月3日前提交。

该时间表将分阶段延长结算时间，首先是2027年9月提前RTGS ，以便与亚洲市场的时间安排更好地衔接。2029年可能推出节假日结算服务。官员们还概述了在2027年10月更广泛的加密货币监管框架生效前，将稳定币用于机构unit 。

Revolut 在交易量突破10万笔之际Revolut Card

数字银行巨头Revolut 本周在英国及欧洲经济区推出了其首张实体加密货币借记卡。该公司设计了一款以狗狗币为主题的支付卡，卡面配备了特殊的light 二极管显示屏，在接触式支付时会亮起。此次推出旨在满足激增的消费者需求，目前该卡的日均交易量已经常超过10万笔。

客户可在全球任何接受主流国际支付处理商的地方使用其数字代币，且无需支付额外的汇兑手续费。该金融机构此前已在移动应用中嵌入了专用网络，以支持灵活的staking 和自动汇款功能。此次实体扩张是其计划在美国市场获取商业银行牌照的前奏。

Elon Musk OpenAI 中Elon Musk 3800万美元

加利福尼亚州的一个联邦陪审团裁定 OpenAI 执行官 Sam Altman 在Elon Musk提起的一起重大诉讼中无责。陪审团一致裁定，这位特斯拉创始人就早期慈善捐款提出正式投诉的时间过晚。美国地方法官伊冯娜·冈萨雷斯·罗杰斯接受了该裁决，从而彻底结束了这场备受瞩目的法庭之战。

马斯克最初起诉他的前合伙人，指控他们歪曲了最初的非营利使命，以谋取私营企业投资者的利益。这位科技大亨声称，他早先捐赠的3800万美元实际上被挪用，用于与微软建立商业合作关系。辩护律师成功驳回了这些指控，并证明外部资本对于资助庞大的计算基础设施至关重要。

每日数据

Wall Street 巨头Goldman Sachs 在第一季度大幅削减了其在加密货币交易所交易产品上的财务敞口。根据联邦监管文件显示，这家投资公司已完全清仓了其在多只瑞波币（Ripple）Solana 价值1.54亿美元的持仓。随着市场趋势的变化，机构资产管理公司正重新调整其数字货币头寸，投资组合经理们据此执行了这些清仓操作。

尽管该金融机构将各基金的持仓规模削减了10%，但 Bitcoin 主要Bitcoin 持仓价值仍超过7亿美元。交易员还将Ethereum 减少了70%，同时增加了Coinbase 精选加密货币相关股票的投资。这种战略性资产再配置，体现了在宏观经济周期波动期间，该机构对企业技术投资采取了高度选择性的策略。

更多爆炸性新闻

• 伊朗正在考虑实施一种基于保险的霍尔木兹海峡过境收费制度，预计可创收逾100亿美元，不过关于Bitcoin 报道尚未得到证实，且可能与诈骗有关。
• 又有两名Ethereum 的研究人员辞职 exodus 持续数月的领导层和研究exodus 进一步加剧exodus 在此期间，一场充满争议的内部重组已让社区感到不安。
• Galaxy 获得了纽约州的BitLicense 资金传输牌照，这使得其规模约 90 亿美元的机构级平台得以进入美国最严格的加密货币市场之一。
• 在市场出现剧烈抛售之际，BitMine 购入了71,ETH 约1.51亿美元，使其持币量增至近528ETH 汤姆·李ETH 表示此次下跌具有投资吸引力。
• Bitwise表示，将动用BHYP管理费的10%来积累并质押HYPE，从而进一步深化与Hyperliquid快速发展的衍生品生态系统的协同效应。
• 由于营收下滑49.2%、监管打击、诉讼费用以及wallet 黑客wallet 等因素影响Bitcoin 申请了第11章破产保护，并关闭了超过9,000台自动取款机。
• 该策略BTC 约20亿美元BTC 购入24,BTC ，使其持仓量突破84.3BTC Bitcoin总供应量的4%以上BTC 因为 STRC 的资金费率再次加速上涨之际。

如需获取数字资产市场的最新动态，us 关注us @Datawalletcom。