岗位方向 · 数学相关职业 / 计算机
密码研究与工程
研究或实现密码构造与协议，并检验其安全假设和系统使用条件。
先看代表工作：交付安全定义与攻击者模型 →
CrypFormBench有密码专属形式分析，支持模型候选与语义核对；输入安全模型仍需独立接收，不以可编译判安全。
只对应这项工作 · 外部报告结果、有条件的编辑推断；不是整个职业的完成率。
职业范围、别名与核查日期
密码研究、实现与系统集成是相邻分工；不是设计自定义加密即可成为安全方案。 本页按职责提供公开参照；地域、职级和准入以目标组织的现行要求另核。
也常见于：密码研究、密码算法、密码工程、密码协议、密码分析 · 核查 2026-10-20
主要交付目标
范围依据、重要变体与未覆盖部分
按本职业主要交付组织工作范围；多个目标可以由同一结果包接收。职责来源用于核对工作定义，AI采用、工具可得性和实际表现按各项具体证据判断。这里不是所有地区与细分岗位的完整清单。
安全问题与威胁模型
安全定义、攻击能力和假设；威胁模型/安全游戏或符号模型；原方案—模型—目标对照
对应工作：交付安全定义与攻击者模型。
重要变体：符号协议模型；既有构造的计算安全模型
密码构造与协议
算法、参数和安全论证；构造/参数与安全界；完整形式开发与假设清单
对应工作：交付构造/协议的安全论证。
重要变体：既有构造的计算安全模型；新构造/密码分析
密码分析与反例
攻击路径、复杂性及适用范围；攻击trace/程序或反例；复杂性/概率与适用范围
对应工作：交付有效攻击或可定位反例。
重要变体：符号协议模型；新构造/密码分析
实现与测试
标准对照、测试向量和互操作证据；固定库/实现与向量/差分；互操作、错误处理与版本
标准库/测试/实现接收路径完整；AI集成安全为显式迁移判断，需本任务实测。
重要变体：标准构件常规集成
本项仍有未展开内容；不表示AI不能完成。
实现安全评估
侧信道、随机性、密钥使用和泄漏风险；并发重启/轮换控制；平台泄漏诊断及覆盖限制
给出真实设备与状态验证路径；没有本包直接AI侧信道/密钥安全端到端结果。
重要变体：目标硬件/侧信道
本项仍有未展开内容；不表示AI不能完成。
系统集成与迁移
协议选择、密钥生命周期和兼容验证；迁移/兼容/回退演练；key版本/协商与资源影响
完整集成/迁移交付与拒收已给，现实系统证据仍待；不以工具可下载作为迁移成功。
重要变体：既有协议与密钥系统的版本迁移；后量子迁移
本项仍有未展开内容；不表示AI不能完成。
Mathematicians ↗ · 职责资料用于检查工作范围，不提供AI成绩。
Computer and Information Research Scientists ↗ · 职责资料用于检查工作范围，不提供AI成绩。
Information Security Analysts ↗ · 职责资料用于检查工作范围，不提供AI成绩。
当前范围以外
- 自定义密码方案不会因可运行自动获安全认可
- 未经授权实际攻击不纳入
仍需补充的证据或内容
- 密码形式模型/引理证据不覆盖AI端到端实现、key生命周期、侧信道与现场迁移。
- Shannon10月源码分解范围较v1论文更宽，需独立验证；目标平台/协议版本与标准另核。
主要做什么，AI 改变了哪些工作
按具体交付判断采用条件。下列条件评估与局部证据分别标示，不合成为一个职业自动化百分比。
交付安全定义与攻击者模型
交付物：威胁模型/安全游戏或符号模型；原方案—模型—目标对照
关联局部工作证据
CrypFormBench有密码专属形式分析，支持模型候选与语义核对；输入安全模型仍需独立接收，不以可编译判安全。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
尚待验证：攻击者/随机预言机/信道理想化会改变主张。
查看执行条件、逐条证据与完整验收
把安全问题、角色/消息、查询/腐化能力与假设固定下来。
AI怎样组织交付：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。
在本职业的适用范围：按符号/计算安全输入核对模型，不强制原方案是新构造或局部证明补全。
执行条件、可用工具与场景差异
密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
Shannon Prover ↗ · 60701dbe…；vendored EasyCrypt及locked Python · macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。
CrypFormBench ↗ · b5540654…；论文v1 · 公开数据/实验及多语言工具，非统一即用协议安全产品。
符号协议模型：秘密/认证目标与Dolev-Yao式理想化。 可交模型/trace候选，不套计算安全证明。 验收：角色/消息绑定、可达性和攻击者能力，有限搜索界与无界保证分开。
既有构造的计算安全模型：对已有原语/协议定义或核对计算安全游戏、查询/腐化能力与安全界，不要求先提出新构造或仅补局部引理。 可委派模型/游戏及论证候选，语义先核再查最终安全目标。 验收：假设/参数/攻击者查询、nonce/随机性和游戏跃迁逐项对应原方案；局部证明和完整安全界分开。
判断的具体依据
外部报告结果
CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
支持：密码形式分析专属的能力/失败证据。
原文定位与适用范围
定位：§3任务；§5评估；§6语义错误
范围限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。
判断限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。
研究配置与计分口径
v1；9模型、7工具语言，符号与计算模型；任务类型及分母依论文分开，本文不把总体分当任务完成概率。
有条件的编辑推断
给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。
支持：模型语义失配决定验收边界。
原文定位与适用范围
定位：semantic alignment/error analysis
范围限制：本AEAD变体为设计例，未执行。
判断限制：本AEAD变体为设计例，未执行。
与这项判断直接相关的进展
首次公开 2026-06-24
同时看角色/攻击者/目标及工具状态。
- 对应工作：密码安全论证包：威胁模型、协议与证明/攻击对照；判断：CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
完整验收、失败处理和后续验证
密码安全论证包：威胁模型、协议与证明/攻击对照 →
安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。
拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。
完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。
拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。
攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。
拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。
保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。
拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。
不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。
下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。
研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。
- 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。
- 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：核角色/密钥/nonce/消息绑定与攻击者能力，已知不安全变体必须暴露问题，防删攻击者能力求通过。
适用缺口与验证方法
尚未覆盖：攻击者/随机预言机/信道理想化会改变主张。
怎样核对：核角色/密钥/nonce/消息绑定与攻击者能力，已知不安全变体必须暴露问题，防删攻击者能力求通过。
交付构造/协议的安全论证
交付物：构造/参数与安全界；完整形式开发与假设清单
关联局部工作证据
ShannonProver直接展示密码证明工程；论文给定引理分解，10月源码更宽的游戏分解搜索只作当前入口声明，未继承论文成绩。
依据身份：外部报告结果、工具与方法依据、有条件的编辑推断；各条只支持自身范围。
已展示：ShannonProver v1在专家给定安全模型及引理级分解后自动构建EasyCrypt证明，含部署协议相关个案。
尚待验证：部分污染控制材料不公开；完整模型及部署不因引理通过自动成立。
查看执行条件、逐条证据与完整验收
从锁定目标交付游戏跃迁、引理及完整证明，或条件性未解范围。
AI怎样组织交付：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。
在本职业的适用范围：已有方案完整游戏和新构造研究分开；不是所有构造论证都仅补固定局部引理。
执行条件、可用工具与场景差异
密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
Shannon Prover ↗ · 60701dbe…；vendored EasyCrypt及locked Python · macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。
CrypFormBench ↗ · b5540654…；论文v1 · 公开数据/实验及多语言工具，非统一即用协议安全产品。
新构造/密码分析：模型和构造都可变，可能研究新攻击。 探索候选与反例；需要独立文献/复杂性及原模型核对。 验收：假设/参数/复杂性/攻击成功定义，未解不等于安全。
既有构造的计算安全模型：对已有原语/协议定义或核对计算安全游戏、查询/腐化能力与安全界，不要求先提出新构造或仅补局部引理。 可委派模型/游戏及论证候选，语义先核再查最终安全目标。 验收：假设/参数/攻击者查询、nonce/随机性和游戏跃迁逐项对应原方案；局部证明和完整安全界分开。
判断的具体依据
外部报告结果
ShannonProver v1在专家给定安全模型及引理级分解后自动构建EasyCrypt证明，含部署协议相关个案。
支持：明确的密码证明工程成果与输入边界。
原文定位与适用范围
定位：Abstract；evaluation/case studies；AppendixC
范围限制：不是独立设计完整安全模型，也不是代码/物理安全证明；部分污染控制材料不公开。
判断限制：不是独立设计完整安全模型，也不是代码/物理安全证明；部分污染控制材料不公开。
研究配置与计分口径
arXiv2607.02847v1；专家供模型/分解；EasyCrypt checker与多分支调度；不同任务预算/可获得材料按原文，不推本例成本。
工具与方法依据
10月固定源码提供游戏/辅助引理分解搜索与完整文件检查入口，比v1论文输入范围更宽的声明需另验证。
支持：当前实现可检查及运行入口。
原文定位与适用范围
定位：What does Shannon automate / project-level guide
范围限制：源码方法声明不是该宽范围已测成功率。
判断限制：源码方法声明不是该宽范围已测成功率。
有条件的编辑推断
给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。
支持：模型语义失配决定验收边界。
原文定位与适用范围
定位：semantic alignment/error analysis
范围限制：本AEAD变体为设计例，未执行。
判断限制：本AEAD变体为设计例，未执行。
与这项判断直接相关的进展
首次公开 2026-07-03 · 判断变化 2026-07-03
可搜索证明并完整重验，模型选择/部署仍另核。
- 对应工作：密码安全论证包：威胁模型、协议与证明/攻击对照；判断：ShannonProver v1在专家给定安全模型及引理级分解后自动构建EasyCrypt证明，含部署协议相关个案。
完整验收、失败处理和后续验证
密码安全论证包：威胁模型、协议与证明/攻击对照 →
安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。
拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。
完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。
拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。
攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。
拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。
保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。
拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。
不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。
下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。
研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。
- 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。
- 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：独立重建完整目标和依赖/假设，游戏条件/安全界与参数对应；局部引理不写主定理已证。
适用缺口与验证方法
尚未覆盖：部分污染控制材料不公开；完整模型及部署不因引理通过自动成立。
怎样核对：独立重建完整目标和依赖/假设，游戏条件/安全界与参数对应；局部引理不写主定理已证。
交付有效攻击或可定位反例
交付物：攻击trace/程序或反例；复杂性/概率与适用范围
关联局部工作证据
可委派符号/计算攻击候选和解释；未发现攻击不等于安全，实际操作须在授权环境。
依据身份：外部报告结果、有条件的编辑推断；各条只支持自身范围。
已展示：CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
尚待验证：符号trace与可实现计算攻击不同。
查看执行条件、逐条证据与完整验收
在明确安全模型/参数内检验构造，给可重放路径和成本。
AI怎样组织交付：代理可搜索中间游戏、引理和证明并响应checker；来源/安全定义与最终游戏连接独立核对，不固定所有密码任务用同一工具。
在本职业的适用范围：仅选形式分析/语义证据，不给现实攻击普适成功率。
执行条件、可用工具与场景差异
密码专属评估和Shannon个案支持自动证明工程；它们都不能替代模型选择与部署条件。因此给代理完整论证目标，按语义/最终证明和有效攻击接收，保留未解出口。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
Shannon Prover ↗ · 60701dbe…；vendored EasyCrypt及locked Python · macOS/Linux、opam/Python≥3.12/uv及模型key；严格live eval需Linux+bubblewrap，未运行。
CrypFormBench ↗ · b5540654…；论文v1 · 公开数据/实验及多语言工具，非统一即用协议安全产品。
符号协议模型：秘密/认证目标与Dolev-Yao式理想化。 可交模型/trace候选，不套计算安全证明。 验收：角色/消息绑定、可达性和攻击者能力，有限搜索界与无界保证分开。
新构造/密码分析：模型和构造都可变，可能研究新攻击。 探索候选与反例；需要独立文献/复杂性及原模型核对。 验收：假设/参数/复杂性/攻击成功定义，未解不等于安全。
判断的具体依据
外部报告结果
CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
支持：密码形式分析专属的能力/失败证据。
原文定位与适用范围
定位：§3任务；§5评估；§6语义错误
范围限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。
判断限制：不是生产代码、硬件泄漏或任意新密码安全性；历史模型/题集限定。
研究配置与计分口径
v1；9模型、7工具语言，符号与计算模型；任务类型及分母依论文分开，本文不把总体分当任务完成概率。
有条件的编辑推断
给出可核对安全目标后，委派完整论证候选并以模型、最终目标和攻击控制接收；代码部署另验。
支持：模型语义失配决定验收边界。
原文定位与适用范围
定位：semantic alignment/error analysis
范围限制：本AEAD变体为设计例，未执行。
判断限制：本AEAD变体为设计例，未执行。
与这项判断直接相关的进展
首次公开 2026-06-24
同时看角色/攻击者/目标及工具状态。
- 对应工作：密码安全论证包：威胁模型、协议与证明/攻击对照；判断：CrypFormBench专门评估密码模型解释、生成、补全、转换和修正，语法可执行与安全语义需分开看。
完整验收、失败处理和后续验证
密码安全论证包：威胁模型、协议与证明/攻击对照 →
安全模型忠实：独立核对角色、密钥、nonce、消息绑定和攻击者查询/腐化能力；用已知不安全变体作为负控制，验证模型能暴露攻击。
拒收：删去重放/腐化能力使协议“安全”；加理想信道而原实现没有。
完整形式结果不藏未证部分：固定环境重放全部目标，核对admit/axiom/假设/solver与证明依赖；游戏跃迁和引理连接到最终目标，局部通过单列。
拒收：多个引理通过但最终安全界未证；把构造安全假设直接当最终定理。
攻击/反例在原模型内：重放trace/代码，检查前提、复杂性、概率、参数和预算；区分符号攻击与可实现计算攻击。
拒收：攻击需要超出允许查询或不现实时间，却写破坏目标安全级别。
保证与部署不混淆：核对报告只声称已证模型/参数；理论保证到代码/随机源/侧信道/密钥管理缺口必须可见。
拒收：IND-CPA证明被说成认证加密/抗侧信道；nonce重复时仍套原安全界。
不能证明时列最小未解引理和已证范围；发现攻击保留可重放输入/trace；模型歧义先给相异解释及影响，不偷偷削弱攻击者。
下一项验证：固定一个公开协议或AEAD安全游戏，隐藏参考证明，对照已知nonce复用不安全变体；独立重建全部目标及模型对应，保存未解引理和总预算。
研究前沿：论文v1在专家给模型与引理分解下完成证明工程；10月固定源码进一步声明项目级分解搜索，属于可检实现入口，需另试验，不能冒称论文已验证更宽能力。
- 扩大：未见协议/游戏分解下，完整安全目标在固定攻击者模型中通过，独立密码分析一致。
- 收缩：只会补语法，漏nonce/腐化假设、改变目标或跳过最终目标；缩到固定引理补全。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：重放前提、查询/腐化预算、参数、概率/复杂性；不现实时间或超出攻击者能力不得称破坏目标安全级别。
适用缺口与验证方法
尚未覆盖：符号trace与可实现计算攻击不同。
怎样核对：重放前提、查询/腐化预算、参数、概率/复杂性；不现实时间或超出攻击者能力不得称破坏目标安全级别。
交付标准实现与互操作
交付物：固定库/实现与向量/差分；互操作、错误处理与版本
关联局部工作证据
可委派使用高保证标准构件的候选集成；HACL*是工具/保证资产，不是AI实现安全试验。
依据身份：工具与方法依据、有条件的编辑推断；各条只支持自身范围。
已展示：当前所选依据为工具方法或编辑迁移判断，尚无该交付的直接结果。
尚待验证：无直接AI端到端安全实现评估，不能用形式模型成绩填空。
查看执行条件、逐条证据与完整验收
把已接受原语/协议接入目标系统，并验证失败路径。
AI怎样组织交付：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。
在本职业的适用范围：普通标准库/协议接入可为经典AEAD，不以PQC迁移为前提。
执行条件、可用工具与场景差异
HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
HACL*固定研究库 ↗ · 504c2987…；F*/KaRaMeL链按项目锁定 · 开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。
生产packages入口 ↗ · 官方研究库指向，具体release尚未为目标系统选定 · 尚未构建/目标平台测试；工具可获取不代表任务通过。
标准构件常规集成：在目标系统使用已接受的经典或既定标准库/协议；不要求后量子替换、尺寸变化或旧版迁移。 可交标准构件包装与独立向量/互操作/失败检查候选，安全接收仍查实际key/nonce条件。 验收：固定库/平台/接口，标准向量、差分、坏tag/截断、key/nonce生命周期及保证覆盖；同一错误实现的往返一致不够。
判断的具体依据
工具与方法依据
HACL*固定代码提供限定算法的内存安全、功能正确和secret independence说明，生产集成入口另指向packages。
支持：可复用高保证构件及保证范围。
原文定位与适用范围
定位：README HACL* / ValeCrypt / Status
范围限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。
判断限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。
有条件的编辑推断
可让代理整包产出标准库集成与验证材料，但没有直接证据把密码形式模型成绩转成端到端实现安全可靠性。
支持：相邻模型/语义能力提示需要核对安全前提。
原文定位与适用范围
定位：§3任务定义及§6模型语义错误
范围限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。
判断限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。
有条件的编辑推断
接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。
支持：限定代码保证与集成条件分开。
原文定位与适用范围
定位：README verification scope / production packages
范围限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
判断限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
完整验收、失败处理和后续验证
密码实现交付：标准构件、密钥条件与目标平台验证 →
功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。
拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。
密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。
拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。
理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。
拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。
迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。
拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。
向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。
下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。
研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。
- 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。
- 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：独立向量/边界/差分/对端，坏tag与截断拒绝；固定编译产物，往返一致不能替标准正确。
适用缺口与验证方法
尚未覆盖：无直接AI端到端安全实现评估，不能用形式模型成绩填空。
怎样核对：独立向量/边界/差分/对端，坏tag与截断拒绝；固定编译产物，往返一致不能替标准正确。
交付实现安全与密钥条件证据
交付物：并发重启/轮换控制；平台泄漏诊断及覆盖限制
关联局部工作证据
可委派检查执行与候选修复；库secret independence只涵盖部分时间侧信道，不能宣称任意硬件安全。
依据身份：工具与方法依据、有条件的编辑推断；各条只支持自身范围。
已展示：当前所选依据为工具方法或编辑迁移判断，尚无该交付的直接结果。
尚待验证：目标硬件、编译、泄漏采集和统计功效需真实环境。
查看执行条件、逐条证据与完整验收
检查随机源、nonce/key生命周期、秘密依赖和目标平台泄漏。
AI怎样组织交付：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。
在本职业的适用范围：工具保证范围直接可查；平台/生命周期AI效果不冒充已测。
执行条件、可用工具与场景差异
HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
HACL*固定研究库 ↗ · 504c2987…；F*/KaRaMeL链按项目锁定 · 开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。
生产packages入口 ↗ · 官方研究库指向，具体release尚未为目标系统选定 · 尚未构建/目标平台测试；工具可获取不代表任务通过。
目标硬件/侧信道：有功耗/电磁/时序泄漏威胁。 可委派工具配置、分析和候选修复；未有本例AI测量成绩，不能只给安全标签。 验收：实际设备/编译器、采集方法、统计功效/攻击验证和覆盖限制；secret independence不等于全物理泄漏。
判断的具体依据
工具与方法依据
HACL*固定代码提供限定算法的内存安全、功能正确和secret independence说明，生产集成入口另指向packages。
支持：可复用高保证构件及保证范围。
原文定位与适用范围
定位：README HACL* / ValeCrypt / Status
范围限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。
判断限制：不是AI成绩；只抵抗某些定时侧信道，包装/编译/硬件条件仍需核查。
有条件的编辑推断
接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。
支持：限定代码保证与集成条件分开。
原文定位与适用范围
定位：README verification scope / production packages
范围限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
判断限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
完整验收、失败处理和后续验证
密码实现交付：标准构件、密钥条件与目标平台验证 →
功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。
拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。
密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。
拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。
理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。
拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。
迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。
拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。
向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。
下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。
研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。
- 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。
- 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：并发/重启nonce唯一、key隔离/轮换、随机源失效，适用静态/动态泄漏与攻击验证；无显著泄漏不是无泄漏证明。
适用缺口与验证方法
尚未覆盖：目标硬件、编译、泄漏采集和统计功效需真实环境。
怎样核对：并发/重启nonce唯一、key隔离/轮换、随机源失效，适用静态/动态泄漏与攻击验证；无显著泄漏不是无泄漏证明。
交付协议集成与可回退迁移
交付物：迁移/兼容/回退演练；key版本/协商与资源影响
关联局部工作证据
可分阶段委派候选迁移和验证；后量子/混合协议先核标准与库，不自定义组合并自动冠以安全。
依据身份：有条件的编辑推断；各条只支持自身范围。
已展示：当前所选依据为工具方法或编辑迁移判断，尚无该交付的直接结果。
尚待验证：标准/产品当前可用和实际对端行为需要目标系统核验。
查看执行条件、逐条证据与完整验收
系统内替换算法/参数，维持旧数据/对端可读和key可追溯。
AI怎样组织交付：代理围绕目标系统组织标准库集成、向量/差分、生命周期和迁移实验；确定性向量直接执行，异常定位到调用/状态而非重造算法。
在本职业的适用范围：普通版本/key迁移与后量子尺寸/握手情景分开，只有实际PQC输入才选后者。
执行条件、可用工具与场景差异
HACL*等工具提供高保证构件，不能证明代理集成无误；密码形式分析只是相邻能力证据。可委派候选补丁和检查执行，关键采用由真实系统证据决定，而非代码像标准或模型声称安全。
公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
HACL*固定研究库 ↗ · 504c2987…；F*/KaRaMeL链按项目锁定 · 开源研究代码/生成C；实际生产发布/绑定查hacl-packages再固定版本，不使用浮动main冒称可复现。
生产packages入口 ↗ · 官方研究库指向，具体release尚未为目标系统选定 · 尚未构建/目标平台测试；工具可获取不代表任务通过。
后量子迁移：参数/证书大小、握手、混合方案和兼容约束变化。 标准/库/协议版本先核定，再交候选实现与迁移实验，不自定义组合。 验收：跨对端、降级/回退、key格式/尺寸与资源消耗；理论PQC证明不能代替互操作。
既有协议与密钥系统的版本迁移：经典算法/协议/参数或key系统版本更新，需旧数据/对端兼容与可回退，不必是后量子方案。 可分阶段委派迁移候选及测试；先明确新旧保证、状态和回退允许范围。 验收：旧新数据/对端、key版本/轮换、部分失败及降级控制重放，回退不得恢复已知不安全模式。
判断的具体依据
有条件的编辑推断
可让代理整包产出标准库集成与验证材料，但没有直接证据把密码形式模型成绩转成端到端实现安全可靠性。
支持：相邻模型/语义能力提示需要核对安全前提。
原文定位与适用范围
定位：§3任务定义及§6模型语义错误
范围限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。
判断限制：该来源不评AI实现、key生命周期、侧信道或迁移；推荐是待验证工程迁移。
有条件的编辑推断
接收依赖真实平台上独立功能、key/nonce和迁移控制，库形式保证不能单独覆盖集成。
支持：限定代码保证与集成条件分开。
原文定位与适用范围
定位：README verification scope / production packages
范围限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
判断限制：本AEAD迁移为设计例，平台测量需另授权与提供环境。
完整验收、失败处理和后续验证
密码实现交付：标准构件、密钥条件与目标平台验证 →
功能/互操作正确：独立标准向量、边界/空消息/大消息、差分实现、对端互操作；篡改标签/重放/截断按契约拒绝。
拒收：能加解密互通却接受坏tag；自测同一错误算法彼此一致。
密钥/nonce条件实际维持：在并发、进程重启、重试和轮换下检查唯一性与生命周期；失败不泄露明文/密钥，随机源故障可观察。
拒收：重启后计数nonce归零；错误路径写密钥日志或释放未认证明文。
理论/代码/平台证据分开：核对所选库对应源码/编译产物和保证范围；目标平台做适用的静态/动态泄漏检查并记录统计条件，未测项不宣称无侧信道。
拒收：HACL*源码保证被外推到所有编译器/调用包装/硬件；一次无显著泄漏被当证明。
迁移和回退可运行：授权测试环境演练旧新数据/对端、key版本、部分失败和回退；验证不能降级到不安全算法或混用格式。
拒收：回退丢失key标识导致旧数据不可读；协商降级重开漏洞。
向量不符先拒收功能；nonce或随机源条件未满足则拒收安全接入；无法做平台测量明确交付限制，不用理论证明补平台空缺。
下一项验证：在授权样板系统集成固定AEAD库，加入坏tag、并发重启nonce复用、key轮换和版本回退负控制；独立检查真实编译产物与平台泄漏范围。
研究前沿：可用高保证库与形式密码代理是不同资产；本轮没有直接覆盖AI端到端生成、侧信道测试和生产迁移的试验，保留这一迁移缺口。
- 扩大：未见系统/平台下库保证连接清楚，生命周期/迁移/泄漏检查可独立复现。
- 收缩：自动生成原语、隐含nonce/随机假设或降级回退；缩到已审库包装与测试候选。
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。
本场景怎样接收：跨版本/对端、部分失败、key轮换及降级控制，回退不丢数据/重开漏洞，测尺寸/资源和延迟。
适用缺口与验证方法
尚未覆盖：标准/产品当前可用和实际对端行为需要目标系统核验。
怎样核对：跨版本/对端、部分失败、key轮换及降级控制，回退不丢数据/重开漏洞，测尺寸/资源和延迟。
与这些工作关联的进展
公开 2026-07-03 · 判断变化 2026-07-03
密码引理证明工程已有EasyCrypt代理案例 →
给定模型和引理分解后可以委派证明脚本搜索。
适用边界：10月源码更宽分解能力不继承v1已测范围。
公开 2026-06-24
密码模型的生成/转换开始独立于通用编码测量 →
符号与计算安全模型有专属形式分析评价。
适用边界：不覆盖生产代码/硬件泄漏或现实部署可靠性。
未来 3–5 年（2029–2031） · 条件情景
未来3–5年，工作组合可能怎样变化
未来 3–5 年是编辑条件情景，不是就业数量预测。每项均列基准、加速、受限路径和需观察的信号；职业职责来源不等于 AI 能力证据。
基准情景
形式密码证明工程与标准库集成更易委派，模型、实现和部署保证分别接收。
加速情景
若新安全模型/完整证明与目标平台实现能共同独立验证，代理可参与更大构造与迁移任务。
受限情景
若只补语法或借库保证掩盖nonce/泄漏/部署条件，缩到固定引理和已审构件包装。
哪些信号会改变判断
- 模型/安全目标语义与最终证明覆盖
- 未见协议/变体下证明或有效攻击的可重放性
- 平台泄漏/key生命周期及互操作迁移结果
这些是围绕工作内容的条件推演，不是已测的职业替代率；当前分工也不是永久边界。
进入与成长，可用什么说明能力
本页目前主要提供工作与作品证据，基础课程、责任级别和中国地区准入尚未完成专题整理；请按目标机构原文另核。
完整交付可展示的证据
- 明确安全游戏/攻击者、构造与完整论证或有效攻击
- 标准库、密钥/nonce条件与目标平台/迁移实际验证
这是公开的能力证据参考。具体地区、职级与组织要求应按目标岗位原文核对；是否符合你的情况由你和自己的 Agent 判断。
用你已有的上下文继续
交给我的 Agent
带走当前公开资料，让你的 Agent 结合已有背景继续分析。也可以读完就结束。
查看可复制的内容
我正在了解：密码研究与工程 研究或实现密码构造与协议，并检验其安全假设和系统使用条件。 请先解释这些职业或岗位方向的工作差异、AI 当前影响和证据边界。如果我要结合个人情况做判断，复用你已经知道的我的经历、偏好和约束，只追问会改变结论的缺口；不要把本站已收录的方向当作全部选项。 公开资料： 职业与工作资料：https://edgeofwork.com/careers/cryptography-researcher.md?version=2026-10-21.careers.2 密码安全论证包：威胁模型、协议与证明/攻击对照：https://edgeofwork.com/work-units/W-M11.md?version=2026-10-21.workunits.2 密码实现交付：标准构件、密钥条件与目标平台验证：https://edgeofwork.com/work-units/W-M12.md?version=2026-10-21.workunits.2 区分职业资料、研究结果、工具声明和编辑推断；读取资料给出的日期、版本与范围。需要时补充原始来源。使用自己的自然报告或对话继续，无需把个人材料和分析回填网站。
来源与职业名称的对应
官方分类提供职业参照；市场岗位方向按实际工作作较窄或相邻映射。美国资料的地区、学历和准入要求不能直接当作中国要求。
Mathematicians ↗
O*NET-SOC · 15-2021.00 · US · O*NET-SOC 2019；OnLine Updated 2026
共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。
相关工作参照 · Definition / Tasks
Computer and Information Research Scientists ↗
O*NET-SOC · 15-1221.00 · US · O*NET-SOC 2019；OnLine Updated 2026
共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。
相关工作参照 · Definition / Tasks
Information Security Analysts ↗
O*NET-SOC · 15-1212.00 · US · O*NET-SOC 2019；OnLine Updated 2026
共享部分方法或工作对象，不能据此认定岗位与该编码完全相同。
相关工作参照 · Definition / Tasks
查看原文、日期与适用边界
Mathematicians ↗
美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射
原文定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例；核查 2026-10-20；来源已核对。
不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。
Computer and Information Research Scientists ↗
美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射
原文定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例；核查 2026-10-20；来源已核对。
不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。
Information Security Analysts ↗
美国 O*NET-SOC 职业职责参照；中文标题及导航由编辑按工作内容映射
原文定位：职业定义、Tasks、Work Activities；不采用薪酬和学历比例；核查 2026-10-20；来源已核对。
不证明中国岗位数量、准入资格或在招需求；不提供该职业的 AI 实测结论。