上个月，在美伊停火期间，伊朗宣布将对过霍尔木兹海峡油轮以比特币的形式征收通行费，消息发酵后引发了加密爱好者的讨论，认为比特币终于在最极端的地缘政治环境里发挥了“电子现金”的作用。Odaily 当时分析认为，伊朗此举可能是一种地缘政治战术，比特币在这场博弈里相当于一颗烟雾弹，核心目的是对美元体系进行公开挑衅。（

但在一个月后的今天来看，伊朗丢出来的是一颗货真价实的“金融炮弹”。5 月 18 日，伊朗宣布推出国家支持的数字海上保险平台 Hormuz Safe，为通过波斯湾和霍尔木兹海峡的船舶提供海上保险，并以比特币和其他加密货币结算。

编者按：随着 AI 编程能力的快速提升，软件安全正面临一个新的悖论：AI 可以更高效地生成代码，也可以更高效地发现漏洞。对加密行业而言，这一问题尤为关键。智能合约、ZK 证明、共识算法和链上资产系统一旦出现缺陷，后果往往不是普通软件报错，而是不可逆的资金损失和信任崩塌。

Vitalik 在本文中讨论了 AI 时代代码安全的另一条路径：形式化验证。简单来说，它不是依赖人类审计员逐行检查代码，而是把程序应当满足的性质写成数学命题，再用机器可检查的证明去验证这些性质是否成立。过去，形式化验证因门槛高、过程繁琐，一直停留在相对小众的研究和工程领域；但随着 AI 能够辅助编写代码和证明，这套方法正在重新获得现实意义。

随着世界杯的临近，除了预测市场热度攀升外，另一个行业也悄然升温。最近，FIFA 宣布了一项新规则：所有首次参加世界杯的球员都需要在球衣上佩戴“世界杯首秀章（debut patch）”。这意味着即便是全球闻名的超级球星，如 Erling Haaland 和 Lamine Yamal，也需要佩戴这枚特殊徽章。

懂行的人都知道，这枚 patch 在赛后会被拆下、认证、切割，并嵌入球星卡中，最终可能变成某张 1/1 首秀签字卡，经过评级、拍卖、交易，价格在未来可能超过一辆超跑。

$CBRS 的热度尚未完全消退，Trade.xyz 今天早上在 Hyperliquid 上线了第二个 Pre-IPO 永续合约。这次的标的是 SpaceX。

据 Bloomberg 和 Reuters 报道，SpaceX 在 4 月 1 日向 SEC 秘密提交了 S-1 注册文件，目标估值 1.75 万亿美元，计划募资最高 750 亿美元。如果成功，这将是沙特阿美 2019 年那笔 290 亿美元 IPO 的 2.5 倍，成为人类资本市场有记录以来最大的单笔公开募股。

首批与预测市场相关的ETF未能如期在美国市场推出。本月初，由于美国证券交易委员会（SEC）介入进一步审查，这类创新型产品的上市时间被迫推迟。SEC要求发行方补充披露产品机制的细节，特别是如何追踪事件合约、结算风险处理方式，以及向普通投资者解释潜在极端损失的具体方法。

预测市场ETF并非本月才出现的新概念。早在今年2月，Roundhill Investments率先提交相关文件，随后Bitwise Asset Management和GraniteShares也相继跟进。这些发行方的设计思路类似，即将现实事件的结果包装成ETF产品，使投资者能够通过传统证券账户交易事件发生的概率。