知情人士：SpaceX 股东批准普通股 1 拆 5 拆分方案

2 天前

05月16日，星期六 11:33

知情人士：SpaceX 股东批准普通股 1 拆 5 拆分方案

火讯财经讯，多位知情人士透露，多数SpaceX股东已表决通过非上市企业SpaceX董事会提议的普通股1拆5拆股计划，同时将全部C类普通股转换为A类普通股，该方案于2026年5月4日起正式自动生效。股东已收到邮件通知，拆股完成后公司每股公允市价从526.59美元调整至约105.32美元。SpaceX表示，此次拆股仅成比例调整每股价格、增加股东持股数量，不改变公司整体价值与股东持股总价值。

Vitalik：AI 辅助形式化验证有望同时提升代码效率与安全性

火讯财经讯，Vitalik Buterin发文探讨形式化验证在区块链安全领域的应用前景。他指出，以太坊前沿研发正兴起一种新范式，直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性，研究者Yoichi Hirai将该范式称为“软件开发的最终形态”。Vitalik认为，AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为“安全核心”与“非安全边缘”，以太坊将成为重要安全核心之一。

26 分钟前
欧股普遍上涨，富时 100 和 DAX30 指数涨超 1%

火讯财经讯，欧股纷纷转涨，英国富时100指数和德国DAX30指数涨幅均超1%，欧洲斯托克50指数和西班牙IBEX35指数涨幅为0.8%。

30 分钟前
AI 审计公司 Calibre 完成 330 万美元 Pre-Seed 融资，Vicus Ventures 与 CIV 领投

火讯财经讯，伦敦AI审计自动化初创公司Calibre完成330万美元Pre-Seed融资，由Vicus Ventures与CIV领投。该公司由前Palantir高管创立，将利用AI Agent自动处理文件审核、信息提取、合规验证等重复性工作，解决审计人员耗时于低价值流程的痛点，降低认证行业人力成本、提升效率。投资方认为AI Agent有望成为审计认证领域的重要基础设施。

38 分钟前
标普 500 期货转涨，市场情绪回暖

火讯财经讯，标普500期货出现转涨迹象，市场情绪有所回暖。

38 分钟前
彭博社：伊朗启动“比特币支持”的霍尔木兹海峡航运保险机制

火讯财经讯，伊朗为应对霍尔木兹海峡高风险通航环境，已推出基于比特币的航运保险安排，上线名为“Hormuz Safe”的海运保险平台，为过境船只提供数字化保险服务，支持包括比特币在内的加密货币支付。当前美伊冲突升级背景下，海峡船舶战争险费用大幅飙升，部分船只穿越该海峡的保险成本已达船舶价值的约5%。

41 分钟前

2 天前

知情人士：SpaceX 股东批准普通股 1 拆 5 拆分方案

Vitalik：AI 辅助形式化验证有望同时提升代码效率与安全性

欧股普遍上涨，富时 100 和 DAX30 指数涨超 1%

AI 审计公司 Calibre 完成 330 万美元 Pre-Seed 融资，Vicus Ventures 与 CIV 领投

标普 500 期货转涨，市场情绪回暖

彭博社：伊朗启动“比特币支持”的霍尔木兹海峡航运保险机制

友情链接：