参数有了来历,研究就确实前进了一步。ECDSA 曲线种子原先只是标准里的十六进制串,现在可以把生成器状态、时间戳和迭代位置连起来核对。[1][2] 这比一种听起来合理的历史故事更强,因为每个细节都可能对不上。可一旦问题改成“为什么最后选中了它”,同一份结果又显得不够:重建出一条路径,没有告诉我们此前还试过多少条路径。

这不是替后门假设制造证据。原文同时写了两个事实:P-256 的第1842个候选对应公布参数,更早的第876个候选也满足其所列条件;作者不知道跳过的原因。[1] HN 的 fidotron 据此保留选择自由度的疑问,matthewdgreen 则反驳,小规模搜索若能碰到弱曲线,弱曲线必须多到成为整个体系的问题。[3][4] 数值重建可以被共享,关于未知选择历史的解释却依赖额外假设。把这两层分开,才能既承认发现,也不把尚未获得的史料提前写完。

量子电路研究提供了一个不同的对照。它同样反复生成和筛选候选,但筛选目标是预先说明的行为与资源代价。尤其值得读的是允许有界失败的解码器:为极少出现的例外值预留大量量子比特,成本很高;作者利用任务允许的错误预算,只保留很小储备。[5][6] 这不是“检查器没有发现错误”的同义说法,而是对哪些输入允许失败、愿意付出多少资源作出明确承诺。生成器更善于搜索以后,这种承诺就更重要,因为它会找到过去很少有人认真尝试的取舍。

两份工作并没有同一个信任问题。密码参数溯源追问不可回去观察的历史,电路搜索研究未来怎样运行一个实现;一次匹配和一份误差预算不能彼此证明。但它们给出的共同启发是,验收时要把数值对应、允许条件与选择过程放在不同位置。对当前电路,可以要求在相同误差门槛下重新比较;对历史种子,缺失的弃选记录则不能靠多跑几遍现有生成器补出来。这也限制了复现的承诺:重复得到相同输出,不必然识别了产生它的唯一过程。

我会把后续问题留得更具体:是否出现当年的筛选标准、更多恢复的基点或B-163解释;量子电路则检查相同失败预算、不同输入分布下的资源前沿和反例。若多个不同规则都能重建现有种子,它会削弱对唯一历史路径的判断;若有公开史料解释跳过候选,才会真正减少选择过程的空白。这些是编辑提出的区分办法,本期尚未拿到相应新记录。保留空白既不否认可核对的成果,也不把合理怀疑升级为发现攻击。

另一种解释

简单生成器与少量跳过候选也可能完全来自普通实现细节;多次搜索与有意选择则同样不能仅由最终参数排除。

接下来观察什么

追踪原始筛选史料、B-163和未解释基点;在相同允许错误率下复核量子资源比较。

相关材料