文章总结： 西安电子科技大学发布玄知大模型V4，这是面向密码学领域的可验证智能科研系统，由CryptoLLM、CryptoHarness和CryptoVerifier协同构成，实现复杂密码任务的受控执行与可复核成果交付。系统已在后量子密码、密码工程审计、协议分析等方向开展11项探索，现场专家测试反馈良好，并支持本地化部署，推动密码科研智能化。 综合评分： 85 文章分类： AI安全,安全工具,安全建设,应用安全

---

密码学大模型：玄知大模型V4发布

信息安全最新论文技术交流

2026年8月31日 11:30 辽宁

在小说阅读器读本章

去阅读

在公众号小说中沉浸阅读

2026年8月29日，在西部网络安全大会上，西安电子科技大学计算机科学与技术学院沈玉龙教授团队正式发布玄知大模型V4。

一年前，团队在这里发布首个面向密码学领域的大语言模型密码学大模型——玄知大模型V3.0升级；一年后，玄知从“能够理解和回答密码问题”，进一步走向“能够持续推进复杂密码任务”，全面升级为基于CryptoHarness的可验证密码智能科研系统。

点击视频，了解玄知V4如何从“会回答”走向“能完成任务”：

以下视频来源于

NSSLab-Xidian

已关注

关注

重播 分享 赞

关闭

观看更多

更多

退出全屏

切换到竖屏全屏退出全屏

信息安全最新论文技术交流已关注

分享视频

，时长03:34

0/0

00:00/03:34

切换到横屏模式

继续播放

[ ]

进度条，百分之0

播放

00:00

/

03:34

03:34

倍速

全屏

倍速播放中

0.5倍0.75倍1.0倍1.5倍2.0倍

超清流畅

继续观看

密码学大模型：玄知大模型V4发布

观看更多

转载

,

密码学大模型：玄知大模型V4发布

信息安全最新论文技术交流已关注

分享点赞在看

已同步到看一看写下你的评论

视频详情

从V1到V4：四代持续演进

密码学科研任务通常具有长链条、多工具、强约束的特点。一个安全结论，不仅需要模型理解和推理，还需要代码、工具、标准与专家共同验证。

• V1：密码大模型基座。 让密码知识进入大模型。
• V2：子领域专项突破。 让知识转化为专业任务能力。
• V3：多智能体协同。 让不同密码能力协同完成任务。
• V4：可验证智能科研系统。 让复杂任务持续运行、受控执行，并形成可复核成果。

V3解决了“有哪些专业能力、这些能力如何协同”；V4进一步解决“复杂任务如何持续推进、如何接受验证、如何完成交付”。

为什么需要CryptoHarness？

通用Harness主要解决模型如何连接工具、组织流程；密码科研还必须回答更多问题：任务依据什么安全目标和攻击者模型开展？工具调用是否受到权限约束？结论是否有代码、测试或形式化证据支持？任务中断后能否从正确状态继续？

为此，玄知V4构建了面向密码科研的CryptoHarness：

玄知V4 = CryptoLLM + CryptoHarness + CryptoVerifier

• CryptoLLM负责理解任务、分析问题、制定计划与生成方案。
• CryptoHarness负责组织智能体与技能（Skill），管理状态、工具、权限、执行与恢复。
• CryptoVerifier通过代码、测试向量、形式化工具、标准规则和专家审核提供校验依据。

三者协同，带来三项核心升级

• 执行升级： 通过任务契约和持久状态，让复杂任务可以暂停、恢复、分叉和重放。
• 可信升级： 工具在权限、沙箱和审计约束下运行，任务结果由预设条件、机器证据与专家复核共同判定。
• 进化升级： 记录失败轨迹与上下文，用于重新规划、回归评测和系统优化。

V4最终交付的不再只是一段回答，而是包含分析报告、运行代码、形式化规约、攻击轨迹、工具结果和验证记录的任务级成果包

模型负责理解与推理，CryptoHarness负责组织与执行，CryptoVerifier负责检验与判定

现场实测：

让系统能力接受专家检验

此次发布不仅展示了V4的技术架构与研究案例，还设置了实物系统现场测试环节。孔志印院士及多位专家现场体验了玄知V4，从任务输入开始，观察系统如何理解需求、制定计划、调用知识与工具，并形成分析与验证结果。

测试过程中，专家重点关注了玄知V4的密码专业能力、复杂任务执行过程、工具协同方式和结果可追溯性，并结合真实科研与工程需求进行了深入交流。现场测试反馈良好，专家对V4从“生成答案”走向“推进任务”、从“模型判断”走向“证据校验”的升级给予积极评价，也对系统后续在密码算法分析、协议验证和工程实现等场景中的应用提出了意见与建议。

这次面对面的测试，让玄知V4的能力不再停留在架构图和案例材料中，而是通过可操作、可观察的现场演示，进一步展现了其服务密码科研与工程实践的潜力。

从系统能力走向典型任务

发布现场展示了玄知V4在后量子密码、密码工程、安全多方计算、同态加密、差分隐私和区块链等方向的11项研究与工程探索。

在后量子算法设计中，团队借助玄知分析HQC密文压缩、错误重量与解密失败率之间的耦合关系，形成NSS-HQC候选方案。初步评估显示，该方案在给定参数与安全假设下有望降低密文传输开销，相关结论仍需进一步验证。团队还围绕多变量签名的结构暴露问题形成Origami候选方案。

在密码工程审计中，团队借助玄知分析openHiTLS PQCP中的PolarLAC解封装代码，发现普通memcmp可能带来的时序侧信道风险，并提出恒定时间比较函数替换建议。该修复面向单点比较操作，全链路时序行为仍需继续检查。

在协议分析中，团队以安全多方计算中的概率截断协议为例，引入白盒分析与形式化证明，对已有安全结论进行复核，形成“协议解析—白盒分析—安全证明—漏洞判定”的审计框架。

此外，V4还围绕BIKE动态阈值优化、CKKS自举协同优化、双边ABE密钥泄露检测、真实CPU环境下的时序侧信道风险，以及区块链交易排序与扩展机制等任务开展探索。

从模型能力走向科研生态

V4以“数学机理 + 高质量数据集”双轮驱动，持续建设来源可追溯、结构规范、能够验证和迭代的密码专业数据资源。面向保密与合规场景，系统支持本地化部署与一体机形态，并持续完善API、SDK和插件开放能力。

过去一年，玄知相关工作获得openHiTLS社区特别贡献奖和第十四届中国电子信息博览会金奖。团队还在将科研项目转化为教材、实验指导书和配套课程，推动密码学、人工智能与工程实践深度融合。

玄知大模型V4

让复杂任务有序推进

让科研结论有据可查

密码智能的未来，不止于模型能力提升，更在于专家知识、工程工具与验证机制的协同。玄知大模型V4愿成为密码研究者和开发者可信赖的AI科研执行伙伴：

让复杂任务有序推进

让科研结论有据可查

共同定义密码智能的未来

来源：NSSLab-Xidian

密码学大模型——玄知大模型V3.0升级

冯登国院士：面向人工智能的密码学未来发展思考

郑建华院士: “密码定义安全”的思考与愿景

王建华院士：信息技术变革对密码技术发展的思考

CCF A网络安全/软件工程顶会中的Agent安全

2025年国家最高科学技术奖揭晓

中国科协 | 2026重大科学问题、工程技术难题和产业技术问题

4月9日勘误-CCF推荐国际学术会议和期刊目录(第七版)

李国杰院士：基于可判定性理论的人工智能系统安全风险分类

2026年国家自然科学基金安全领域部分题目列表

冯登国院士：网络空间安全未来发展思考

USENIX Sec 2025：大模型越狱防御框架——JBShield

2025年国家自然科学基金安全领域部分题目

NIST发布首批3项抗量子密码标准

IEEE：后量子密码学之路

NIST抗量子密码算法被爆安全漏洞

吴世忠院士：对生成式AI安全研究的九点观察

去中心化联邦学习：安全和隐私综述

CCS 23：利用SSH签名错误提取RSA密钥

针对大语言模型LLM的对抗

---

免责声明：

本文所载程序、技术方法仅面向合法合规的安全研究与教学场景，旨在提升网络安全防护能力，具有明确的技术研究属性。

任何单位或个人未经授权，将本文内容用于攻击、破坏等非法用途的，由此引发的全部法律责任、民事赔偿及连带责任，均由行为人独立承担，本站不承担任何连带责任。

本站内容均为技术交流与知识分享目的发布，若存在版权侵权或其他异议，请通过邮件联系处理，具体联系方式可点击页面上方的联系我。

本文转载自：信息安全最新论文技术交流 《密码学大模型：玄知大模型V4发布》