Zcash 致命漏洞曝光：AI 审计发现潜伏4年缺陷，价格暴跌40%

2026年5月，隐私币Zcash的Orchard屏蔽池被发现存在严重soundness漏洞，该漏洞自2022年上线以来潜伏近4年。安全研究员Taylor Hornby借助Anthropic最新发布的Claude Opus 4.8 AI模型，成功定位并验证了电路约束不足问题，甚至构建出可无限伪造ZEC的利用程序。消息公开后，ZEC价格从高点暴跌近40%-50%，市值蒸发数十亿美元。Zcash开发团队在5天内紧急部署软分叉禁用Orchard交易，随后通过NU6.2硬分叉修复漏洞。官方确认无资金损失，用户隐私和资金安全未受影响。此次事件凸显了复杂零知识证明系统的审计挑战，以及AI在安全审计中的巨大潜力，成为区块链安全领域的标志性案例。 #Zcash #隐私币 #漏洞 #AI审计 #ClaudeOpus4.8 #区块链安全 #零知识证明 #加密货币

AI 热潮降温？专家警告新一轮“AI寒冬”或将到来

近期，围绕人工智能的乐观情绪正在悄然转变。曾经预言知识工作者将很快被取代、人类将享受更多闲暇时光的狂热，逐渐被现实冷却——当前技术仍有明显局限。尽管AI最终会让部分岗位过时，但它并非万能“点金石”。有观点认为，大语言模型和智能体的蜜月期可能接近尾声，但这不是技术停滞，而是由于缺乏广泛采用和扩散。从加密货币领域经验看，“寒冬”反而是排除噪音、专注建设的好时机。过去18个月，企业普遍以AI使用量（如token消耗）作为成功指标，甚至出现“tokenmaxxing”现象——员工为刷内部排行榜而让AI执行无意义任务。亚马逊曾推出KiroRank排行榜，工程师却用自动化代理虚增使用量，导致token飙升但实际产出无提升。最终亚马逊关闭该榜单，转而追踪工程师是否用AI产出有用代码。这暴露了激励机制与目标脱节的问题。 #AI #人工智能 #AI寒冬 #大模型 #技术采用 #tokenmaxxing #企业AI #科技趋势

思考

作者近期使用LLM代理完成了两个项目：一个是Python项目的重构（成功且可持续），另一个是从零开始的Go项目（watgo）。在后者中，作者通过Markdown文件与代理迭代设计API，随后要求代理按逻辑顺序编写小型、可审查的变更列表（CL）。但单个CL往往过大，需要多轮清理和重构，尽管整体仍有生产力增益，但不如宣传的显著。作者将项目分为两类：一次性项目（可接受不理解的代码）和长期维护项目（必须全面审查每一行代码）。对于长期项目，建议使用CLI代理本地运行，同时打开VSCode实时查看差异、运行测试，仅接受完全理解的代码，并坚持小步提交。作者认为，当前代理尚不能完全自主维护长期项目，跨过AGI门槛前仍需人类深度参与。 #LLM #AI编程 #代码审查 #项目管理 #软件开发 #生产力

AI预筛查工具助金融机构评估独联体对手方合规风险

一位开发者发布了名为“CIS Secondary-Sanctions Exposure”的AI预筛查工具，用于在金融机构接纳独联体（CIS）国家对手方前进行增强型尽职调查。该工具针对哈萨克斯坦、乌兹别克斯坦、吉尔吉斯斯坦等国的实体，自动匹配OpenSanctions制裁名单（CC-BY 4.0），并生成结构化证据评估、决策准备度评分及强制人工复核指引。系统整合了OFAC EO 14114、欧盟第14轮制裁包、英国OFSI及FATF/EAG类型学要求，旨在提升欧盟、英国、阿联酋及新加坡等地机构的制裁合规效率。该Agent以A2A 1.0协议运行，支持实时JSON-RPC调用，当前得分为87/100，具备有效AgentCard证书与100%正常运行记录。 #AI #合规科技 #制裁筛查 #金融科技 #独联体 #风险管理 #开放制裁 #尽职调查

AI代理如何花费你的钱？—

近日，一篇题为《How Do AI Agents Spend Your Money? Analyzing and Predicting Token Consumption in Agentic Coding Tasks》的论文在arXiv预印本平台发布。该研究由Longju Bai等8位学者共同完成，聚焦于AI代理在执行编码任务时的token消耗分析与预测。论文探讨了不同代理行为对计算资源的影响，旨在帮助开发者和企业更有效地管理AI代理的经济成本。通过分析token消耗模式，研究为优化AI代理的部署策略、降低运营开销提供了理论依据，对推动AI代理在编程领域的实际应用具有参考价值。 #AI代理 #Token消耗 #编码任务 #arXiv #论文 #人工智能 #成本优化