10月17日，星期三 09:15
火讯财经讯，10月17日，猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示，形式化验证很早就被提出来了，之前一直用在航空航天、金融软件等对安全性要求极高的环境中进行严格的逻辑校验。区块链中如果发生了安全问题，可能直接涉及到大量的资金安全，安全要求比传统的系统、软件高很多，并且目前智能合约的逻辑还比较简单，不复杂，所以形式化验证技术便被引入了进来。形式化验证技术可以帮助审计员全面地发现问题，人工审计确实可能存在一些偏差。相互结合可以减少一部分的漏报。另外当前智能合约每天都在按千增加，人工没法一个个地审计，所以形式化验证自动技术还是能够帮助我们大方面地了解当前合约的安全整体状态。（责任编辑：席恒）
0
火讯财经讯，根据 SoSoValue 数据，美东时间 4 月 29 日，XRP 现货 ETF 单日总净流入 359.14 万美元。其中，Bitwise XRP ETF(XRP) 单日净流入 212.04 万美元，历史总净流入达 4.28 亿美元；Franklin XRP ETF(XRPZ) 单日净流入 147.11 万美元，历史总净流入达 3.50 亿美元。截至当前，XRP 现货 ETF 总资产净值为 10.36 亿美元，XRP 净资产比率 1.23%，历史累计净流入已达 12.96 亿美元。
31 分钟前
火讯财经讯，在半个月前通过做多获利 6847 万美元后，被称为“Hyperliquid 最大多军头子”的账户再次启动大规模做多 ETH。其当前利用 3 个地址持有 9 万枚 ETH 的多头仓位，总价值约 2.03 亿美元，重新成为 Hyperliquid 平台上持仓量最大的多头。该批 ETH 的开仓均价为 2265 美元。
36 分钟前
火讯财经讯，有消息称，软银集团计划在美国设立并公开上市一家名为“Roze”的独立智能机器人与数据中心公司，目标在今年内完成上市，估值约为1000亿美元。软银CEO孙正义正积极推动该计划，以弥补公司在人工智能领域已投入的数百亿美元资金。目前软银持续增加负债，孙正义希望在全球人工智能热潮中确立关键地位，并已对OpenAI进行大规模投资。
39 分钟前
火讯财经讯，有消息显示，Anthropic 正在考虑开展新一轮融资，潜在估值可能突破 9000 亿美元。如果交易落实，其估值将超越此前完成融资的 OpenAI。目前已有投资方提出高于现有估值一倍以上的报价，不过谈判仍处于早期阶段，Anthropic 尚未接受任何投资要约。该公司当前估值约为 3500 亿美元，由谷歌与亚马逊的投资作为主要支撑，同时也在评估最早于今年 10 月进行 IPO 的可能性。
45 分钟前
火讯财经讯，中金研报指出，美联储在4月会议上维持利率不变，与市场预期一致，但有四名官员投下反对票，反映其货币政策立场更趋谨慎。受美伊冲突推升油价以及前期关税效应的影响，通胀环境变得更为复杂。中金认为，美联储年内加息的概率较低，降息进程将更缓慢，下一次降息可能延后至第四季度。
45 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
