待验证60% 置信事实精确时间
SLSA框架（Supply-chain Levels for Software Artifacts）要求对每个构建产物提供可验证的来源证明
2
来源数
60%
置信度
长期有效
时效性
2026/8/23
首次发现
来源
涉及实体
相关事实
待验证SLSA 的 Provenance 格式基于 in-toto Attestation 规范构建，两者并非互斥70% 相似待验证Anthropic的研究将大模型形式化软件验证应用到上百个真实开源库的RISC-V汇编级别，并批量生成证明。67% 相似待验证证据绑定架构要求系统的每一个状态转换都必须附带可查验的证据，而非仅凭逻辑推断，与传统软件工程中的幂等性验证和事务日志理念一脉相承65% 相似待验证该工具在大型项目中的索引性能、权限提示频率以及对复杂多模块重构的处理能力尚需实际使用验证65% 相似待验证jev-seo 的实际抓取覆盖度、schema 校验完整性、GEO 评分准确性仍需在真实项目中验证65% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/789939API
curl https://kongchang.com/api/v1/knowledge/claims/789939MCP
get_claim(id=789939)