AI与密码学2:AI在OpenVM的ZkVM中的发现

ZKSecurity 团队发布研究,展示 AI 工具自动发现 OpenVM 零知识虚拟机(ZkVM)实现中的安全漏洞。这表明 AI 正在从辅助编码进化为主动发现密码学基础设施中的深层缺陷,对区块链与隐私计算的技术信任模型构成直接影响。

ZKSecurity 团队发布研究,展示 AI 工具自动发现 OpenVM 零知识虚拟机(ZkVM)实现中的安全漏洞。这表明 AI 正在从辅助编码进化为主动发现密码学基础设施中的深层缺陷,对区块链与隐私计算的技术信任模型构成直接影响。

Meta高级软件工程师Rohan Kulkarni在Business Insider分享了他在AI时代的自我学习策略:每周花4-6小时在个人时间实验AI工具(ChatGPT、Claude、Perplexity),每月自费约50美元订阅,核心原则是“让AI成为压力测试的伙伴,而不是替代自己思考的捷径”。这件事反…

AI 图像编辑工具 DreamPixel AI 正在根据用户反馈快速迭代,计划推出风格预设、批量上传和 4K 输出等核心功能。这反映了 AI 图像工具从“能生成”向“能高效复用、能批量处理、能输出高质量”进化的明确方向。

Netflix 联合 CEO Ted Sarandos 在最新财报电话会上披露,该公司目前约有 300 个项目正在使用 AI 工具,主要集中在后期制作环节。这一数字反映出 AI 已经从实验性工具变为影视工业的标准化组件,但其引发的行业争议远未平息。

AI音乐生成公司Suno内部源代码及用户数据遭黑客泄露,文件揭示其曾大规模爬取YouTube、Deezer等平台的音乐数据用于训练模型,可能加剧其面临的版权诉讼压力,也再次将生成式AI的数据合规问题推向台前。

AI驱动的旅行规划平台 Fora 宣布完成6000万美元D轮融资,估值突破10亿美元跻身独角兽行列。这笔由 Forerunner 和 Tactile Ventures 领投、Insight Partners 和 Thrive Capital 跟投的资金,使Fora累计融资额达到1.385亿美元。平台核心是利用…

1Password 发布了一项浏览器扩展集成,允许 Anthropic 的 Claude AI 代理在用户生物识别审批后,直接使用存储的登录凭证完成网页任务,但密码、一次性验证码等敏感信息全程不暴露给 AI 模型或 Anthropic 系统,实现“零暴露”架构。这是首个主流密码管理器为 AI 代理构建专用安全…

美国总统特朗普的提词器操作员加布里埃尔·佩雷斯(Gabriel Perez)因在预测市场平台 Kalshi 上押注总统演讲时长,非法获利超 10 万美元,目前已被停职并面临调查。此事件凸显了预测市场平台在防范内幕交易方面的监管漏洞。

GitHub 于 2026 年 7 月 16 日为 GitHub Enterprise Cloud 管理员新增了三个 REST API 端点,用于程序化管理 Visual Studio 订阅(VSS)的分配,解决了因 UPN 格式不匹配导致的自动匹配失败和手动处理痛点。

70岁的退休网络安全顾问比尔·约翰斯用AI生成了445本在售的未经授权传记,每本书都使用他AI生成的严肃西装照片。这一现象冲击了传统出版业的信任机制,暴露出AI工具被滥用于批量生产低质、可能侵权的文本内容。