编者按：随着 AI 编程能力快速提升，软件安全正在面临一个新的悖论：AI 可以更高效地生成代码，也可以更高效地发现漏洞。对加密行业而言，这一问题尤其关键。智能合约、ZK 证明、共识算法和链上资产系统一旦出现缺陷，后果往往不是普通软件报错，而是不可逆的资金损失和信任崩塌。Vitalik 在本文中讨论的，正是 AI 时代代码安全的另一条路径：形式化验证。简单来说，它不是依赖人类审计员逐行检查代码，而是把程序应当满足的性质写成数学命题，再用机器可检查的证明去验证这些性质是否成立。过去，形式化验证因门槛高、过程繁琐，一直停留在相对小众的研究和工程领域；但随着 AI 能够辅助编写代码和证明，这...
宏观市场美国三大股指全线收跌，道指跌0.65%，报49363.88点；标普500指数跌0.67%，报7353.61点；纳指跌0.84%，报25870.71点。其中，标普500指数和纳指录得三连跌。4月CPI同比意外反弹至3.8%，实际工资三年来首次出现负增长，加之特朗普与伊朗之间的地缘冲突导致的能源供应冲击，彻底打破了市场对降息的期待。美联储12月加息25个基点的概率已上升至41.7%，而2026年加息的概率更是飙升至80%以上。长期美债和日债正经历一场史诗级抛售，美国30年期国债收益率盘中突破5.20%，创下2007年金融危机前夕以来的最高水平，10年期收益率升至4.68%。日本债...
一边处理伊朗战争，一边在美股账户里下单 3,642 笔。 这就是特朗普的 Q1。 与此同时，他还在处理关税，谈判贸易协议，签署行政令。上周四，美国政府伦理办公室官网公开了一份 113 页文件。封面上留着一行手写字，申报人缴纳了滞纳金。全世界最受关注的一份交易披露，终于公布了。 同一周，美国国会正在推进禁止官员炒股的法案。据 Axios 报道，相关提案已有超过 120 名议员联署，参众两院都有版本，民调支持率超过 70%。 但这份法案最大的漏洞，就是管不到总统。 白宫的回应也很熟悉。总统资产由子女管理，交易由账户经理执行，符合美国官员股票交易披露法案的全部要求，不存在利益冲突。...
今年夏天，马斯克要做一件历史上从未发生过的事。把一家大模型公司，塞进一家造火箭的公司里，一起上市。OpenAI 现在最不该做的事，可能就是造手机。但萨姆·奥尔特曼似乎不这么想。今年一季度，OpenAI 的营收和用户增长都没达到预期。对手 Anthropic 靠 Claude Code，抢走了最愿意付钱的那群人。按这个剧本，OpenAI 现在应该收缩、聚焦，先把能赚钱这件事证明一遍，服务于今年底或明年初的 IPO 。但供应链的消息正好相反。它要去挑战全世界最成熟、最封闭、也是最赚钱的消费电子品类，iPhone。据爆料，OpenAI 正在加速第一款 AI Agent 手机，最快 2027...
全球领先的Layer1区块链生态系统BNB Chain发布了一份新的研究报告，旨在评估BNB智能链未来如何将其核心密码学系统迁移至后量子（抗量子计算）替代方案。该报告探讨了用抗量子方法（包括采用ML-DSA-44作为交易签名方案，以及使用pqSTARK聚合验证者共识签名）取代传统区块链密码学在实现路径与性能影响方面的具体表现。 尽管量子计算目前尚未能实际攻破现实系统中生产级区块链的密码学，但此项研究体现了对基础设施韧性与长期网络安全的前瞻性布局。报告评估了BSC技术栈的几个核心领域，包括： · 后量子交易签名方案 · 验证者签名聚合 · 交易验证流程 · 公钥存储方案...
一个季度盈利247亿，半年盈利逼近570亿——这家曾经连年巨亏、被市场戏称为“碎钞机”的芯片公司，正在上演中国科技史上最惊人的盈利逆袭。5月17日，长鑫科技更新科创板IPO招股说明书，一组数字震动了整个资本市场：2026年第一季度，公司营收508亿元，同比暴增719%；扣非归母净利润263.4亿元，同比增长1993.41%；公司预计今年上半年营收1100亿元至1200亿元，同比增长612.53%至677.31%；归母净利润500亿至570亿元，同比增长2244%至2544%。这份成绩单到底有多离谱，做个横向对比你就明白了。在A股非金融企业中，2025年全年净利润超过1000亿的，只有...
上周，Hyperliquid 生态一个名为 alt.fun 的新 Meme 发行平台引发了一大波 Meme 玩家的关注。上线仅一星期，其龙头代币 ALT 市值就最高达 880 万美元，现价格回落，市值保持在 670 万美元附近。alt.fun 的新颖之处可理解为，它是 Pump.fun 和 hyperliquid 的结合体，在该平台用户可以同时体验到玩 Meme 和开合约的双重刺激。alt.fun 平台机制介绍具体而言，在 alt.fun 上发行的每个 Meme 代币底层都在 Hyperliquid 上有相应的合约头寸匹配。与 Pump.fun 类似，任何用户都可...
SK 海力士的“610 万天价奖金”热潮刚过，韩国金融界便急转直下：5 月 18 日，韩国股市因 KOSPI 200 期货下跌 5% 而启动熔断机制，程序化交易一度暂停 5 分钟；三星电子则因“工会大罢工”事件而陷入左右为难。叠加此前韩国总统府政策负责人金容范（Kim Yong-beom）提出“AI 税收全民分红”，而导致股市暴跌。另一边，曾作为韩国金融重点板块的加密市场持续失血，Upbit 背后母公司 Dunamu 一季度净利润暴跌 78%。泡沫与红利并存、投机与炒作共舞的韩国金融市场坐享了 AI 时代红利，也步入了新乱局时代。三星罢工风波：从一纸禁令到谈判继续，罢工或仍将上演先说...
英伟达将于美东时间5月20日（周三）盘后发布季报，这是当前AI牛市周期的一次关键压力测试。半导体板块技术面严重超买、期权仓位高度偏向看涨，加之罕见的”股价与隐含波动率同步走高”信号，使这一财报窗口的双向风险较以往显著放大。高盛TMT首席专家Peter Callahan周一发布题为”黄灯”的简报，指出纳斯达克100指数（NDX）与费城半导体指数（SOX）上周录得本季度首个下跌周；10年期美债收益率升至约4.60%，创一年多来最大单周涨幅；油价回升至约每桶109美元；VIX同步走高。他指出，AI与半导体主题当前面临的核心矛盾是：基本面依然强劲，而技术面压力持续累积。期权分析机构SpotG...
上周末，哈佛大学管理公司（Harvard Management Company，下称 HMC）向美国证券交易委员会递交最新 13F 持仓报告，其持有的贝莱德比特币现货 ETF（IBIT）仓位较上季度再度缩水 43%，同期买入的以太坊 ETF（ETHA）则全部清零。 短短两个季度，哈佛在加密资产上的公开持仓从峰值的 4.43 亿美元跌至约 1.17 亿美元。作为管理全球最大高校捐赠基金的顶级机构之一，这一操作引发市场质疑：顶级人才也难逃高买低卖？ 事实上，哈佛与加密货币的渊源远不止于此。早在 2018 年，几家常青藤盟校的捐赠基金就通过专注加密货币的风险投资基...