密码标准通常会公布一组人人共用的参数,让不同实现可以互通。可把参数写进标准,和留下它们当年怎样产生、为何被选中的记录,是两回事。ECDSA 是广泛使用的椭圆曲线数字签名方法;它的一批标准曲线长期有种子来源不明的问题,过去的查找又受到“短语哈希”传闻影响。
本期先读曲线种子溯源:Anthropic 报告,模型从旧式伪随机数生成器的输出结构恢复状态,再找到对应时间戳。这个办法能把现有参数重算出来,却仍未解释部分可行候选为何被跳过。第一篇观察围绕这段差别展开,把可检验的新关系与尚未恢复的选择历史分开。
接着读量子电路重设计。这里也让模型反复提出候选,但外部程序会核对行为、统计量子比特和门数;一些设计还明确以允许的小概率失败换取资源。两项工作共同提醒我们,理解一次发现,要看清检查究竟承诺了哪些条件,不能只记住“模型找到答案”。
第二篇观察回到自动代码审查。Claude Code 团队不仅回放事故,也让审查器检查已知干净的改动,统计误报是否诱发有害修改;这给上期只看失败回放的疑问补上一种可行办法。再读聊天应用压测,会看到另一类代价:成功送达更多消息,可能只是让用户等得更久。
当日材料
- 时钟生成了曲线种子,仍有候选跳过的原因未明
- Claude 重设计量子电路:少存历史,也显式使用失败预算
- OmniVerifier-C1 把图像要求拆开计分;规则任务再提供参考终态
- SAE 重建表现接近,学到的特征仍可能对不上
- Kimi K3 的 AMD 推理优化:缓存要能在同一位置恢复
- 审查机器人也要会停:Claude Code 团队把误报和循环轮数纳入评估
- Piotr Sarnacki 重测聊天应用改写:送达率上升,也可能只是排队更久