待验证50% 置信权衡取舍精确时间

哈希校验只能验证两个二进制是否一致,无法验证二进制本身是否可信

1

来源数

50%

置信度

长期有效

时效性

2026/9/10

首次发现

来源

信任信任攻击：如何污染整个Linux发行版的信任链

涉及实体

哈希校验concept

相关事实

待验证哈希校验无法验证二进制本身是否可信，当所有人从同一被污染源头出发时会算出一致的哈希值80% 相似待验证形式化验证只能保证推理链条内部的自洽性，无法自动判断被证明的命题是否与原猜想在语义上完全等价71% 相似待验证一致性检验只能降低幻觉概率，无法根除，如果所有推理路径基于同一错误的共识性偏见会共振出一致但错误的答案71% 相似待验证用单次种子的McNemar检验结果来声称算法层面的优越性在逻辑上是不充分的67% 相似待验证哥德尔不完备定理的推论之一是不存在能够判定任意程序是否停机的算法（停机问题），代码正确性验证在一般意义上属于不可判定问题67% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/886987

API

curl https://kongchang.com/api/v1/knowledge/claims/886987

MCP

get_claim(id=886987)