05月18日，星期一 08:55
火讯财经讯，Vitalik Buterin发文探讨形式化验证在区块链安全领域的应用前景。他指出，以太坊前沿研发正兴起一种新范式，直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性，研究者Yoichi Hirai将该范式称为“软件开发的最终形态”。Vitalik认为，AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为“安全核心”与“非安全边缘”，以太坊将成为重要安全核心之一。
0
火讯财经讯，Coinglass数据显示，过去24小时全网爆仓总额达9.16亿美元，其中多单爆仓8.26亿美元，空单爆仓8987.94万美元。比特币多单爆仓3.36亿美元，空单爆仓3571.91万美元；以太坊多单爆仓2.41亿美元，空单爆仓1985.95万美元。同期全球共有149347人被爆仓，最大单笔爆仓单为Bitget平台的BTCUSDT_UMCBL交易对，价值3243.69万美元。
45 分钟前
火讯财经讯，美国现货比特币ETF本周净流出约12.6亿美元，为今年1月下旬以来最大单周资金外流，已连续6个交易日净赎回，仅周一就流出约6.49亿美元，后续流出态势略有缓和但仍持续。美债收益率走高、美元走强及地缘政治紧张是资金撤出主因。以太坊ETF同样承压，连续10个交易日净流出，为2025年3月以来最长流出周期，全周累计流出约2.16亿美元。BlackRock旗下iShares比特币信托（IBIT）当前管理资产约611亿美元，低于累计资金流入约37亿美元，受近期市场价格波动影响持仓价值有所缩水。截至ETF交易日收盘，比特币价格约7.75万美元，以太坊约2130美元，整体窄幅震荡。尽管短期资金流出明显，现货比特币ETF自推出以来累计净流入仍约571亿美元，资产规模约989亿美元。
1 小时前
火讯财经讯，Toncoin宣布其bridge-v3跨链桥拟于2026年9月1日正式永久关闭。过渡期内所有按比例收取的跨链手续费已取消，曾使用该桥的用户需尽快检查钱包，在截止日期前完成未处理或未回收资产的提取。在以太坊或BNB Smart Chain中持有Wrapped TON的，应在截止日期前重新桥接回TON网络；持有jUSDT、jUSDC、jDAI、jWBTC等代币的则需桥接回以太坊网络，用户需在截止日前完成所有资产迁移，避免资产无法再跨链操作，9月1日之后该跨链桥将停止所有转账功能。
1 小时前
火讯财经讯，据CoinGlass数据，过去24小时加密货币市场总爆仓金额达9.28亿美元，其中多单爆仓8.38亿美元，空单爆仓8913.56万美元。BTC爆仓6966.79万美元（多单3.38亿美元，空单3586.79万美元），ETH爆仓4.39亿美元（多单2.4亿美元，空单1988.42万美元），SOL爆仓4308.56万美元（多单4091.32万美元，空单217.24万美元）。期间共有153066人被爆仓，最大单笔爆仓为Bitget的BTCUSDT_UMCBL交易对，价值3243.69万美元。
1 小时前
火讯财经讯，媒体报道称，Binance被指在两年内处理约8.5亿美元与伊朗制裁相关金融网络有关的交易，最终流向伊朗伊斯兰革命卫队。Binance CEO Richard Teng否认相关报道，称其“根本不准确”，强调平台不允许受制裁主体交易，相关可疑行为发生在涉事主体被美国制裁之前。报道提及核心人物为伊朗商人Babak Zanjani，其相关企业及关联账户被指通过同一设备操作，在Binance平台形成秘密支付网络。报道还称，Binance内部合规系统2024年底识别到来自德黑兰的访问异常并触发多次风控警报，但相关账户未被及时关闭，且伊朗央行及相关实体2024至2025年间也曾通过Binance进行资金流动，包括约1.07亿美元及其他跨境加密交易。Binance重申其合规体系“行业领先”，称2023年认罪并支付43亿美元和解金后持续强化风控机制，已就相关报道对媒体提起诽谤诉讼，同时否认美国司法部正在就该事项对其展开调查。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
