- 项目类型
- 自主研发原型
- 状态
- 研究阶段原型,v0.2.0
- 技术
- Go · JSON
问题
开展范围明确的量子就绪审查前,往往需要先在源代码仓库中定位密码技术依赖。
Evolext 开发了什么
- 离线源代码与本地依赖发现
- 确定性控制台和 JSON 报告输出
- 已发布的合成示例报告
工程方法
扫描工具结合针对不同语言的分析与经审查的检测规则。结果是待人工审查的线索,并非对已部署系统的结论。
真正的工程决策:保持离线发现
QuantumSafe Scanner 是自主研发的原型。其代码仓库记录了以下实现选择,但这并非客户项目交付过程的证据。
- 决定
- 检查获授权的源代码与可识别的本地依赖声明,无需上传代码仓库或运行其中的代码。
- 原因
- 本地只读发现可减少不必要的代码仓库内容暴露,并避免在扫描过程中执行不受信任的项目代码。
- 权衡
- 静态发现供人工审查,不能证明运行时使用、完整覆盖、部署状态或成功的后量子协商。
可查看的成果
无需共享客户代码仓库,即可查看合成的 v0.2.0 报告。它展示报告格式与示例发现,不代表实际部署中的实测覆盖率。
证据和局限性
仅检查受支持的源代码与本地声明,不能证明运行时使用、完整资产覆盖、安全性、认证或成功的后量子协商。NIST FIPS 203、204 和 205 是算法参考标准,并非该工具的认证。