近日，西安电子科技大学教授沈玉龙团队在西部网络安全大会上发布玄知大模型V4。一年前，该团队在同一大会推出国内首款密码学领域大语言模型，本次迭代后，玄知从单纯解答密码问题，全面升级为基于CryptoHarness的可验证密码智能科研系统，可独立推进复杂密码科研任务。
密码学科研具有链条长、工具多、约束性强的特点，相关安全结论不仅需要智能模型推理，更需代码、专业工具、行业标准及专家的多重验证。历经四代迭代，玄知模型能力持续升级：V1搭建密码大模型基础基座，完成专业知识录入；V2突破细分领域技术，实现知识向实操任务转化；V3依托多智能体协同，打通多类密码任务联动能力；全新V4版本聚焦科研落地，可受控运行复杂任务，输出可复核、可溯源的标准化科研成果，解决了以往复杂任务推进难、结果无验证、交付不规范的行业痛点。
玄知大模型V4在西部网络安全大会上正式发布。西安电子科技大学供图
相较于通用技术框架，密码科研对任务安全、权限管控、结果溯源有着严苛要求。为此，玄知V4创新搭建专属CryptoHarness体系，由CryptoLLM、CryptoHarness、CryptoVerifier三大模块协同赋能。其中，CryptoLLM负责任务解析、方案规划与内容生成；CryptoHarness统筹管理工具、权限、运行状态，实现任务全流程调度与异常恢复；CryptoVerifier通过代码、形式化工具、标准规则及专家审核，为科研结果提供权威校验依据。
三大模块的协同运作，实现了模型核心能力的全方位升级。在执行层面，系统支持复杂任务暂停、恢复、分叉迭代与过程重放；在可信层面，所有工具运行处于沙箱审计与权限约束之下，结果由机器核验与专家复核双重判定；在进化层面，系统自动留存任务失败数据与上下文，为技术优化、方案迭代、回归评测提供支撑。不同于传统模型仅输出文本答案，玄知V4可交付包含分析报告、运行代码、形式化规约、攻击轨迹及验证记录的成套科研成果包。
本次发布会设置实物现场测试环节，专家全程观测玄知V4的需求解析、方案制定、工具调用、结果输出与验证全流程，重点考察其专业算力、任务执行逻辑、工具协同效率与结果可追溯性，并结合科研与工程实际开展交流研讨。专家组充分肯定了V4的升级突破，认可其从“生成答案”到“推进任务”、从“模型判断”到“证据校验”的核心变革，并围绕算法分析、协议验证、工程落地等应用场景提出优化建议。
据了解，玄知V4已在后量子密码、密码工程、安全多方计算、同态加密、差分隐私、区块链六大领域进行了11项研究与工程探索。在后量子算法领域，团队依托系统优化迭代出NSS-HQC、Origami两大候选方案，有望降低密文传输开销；在工程审计领域，成功识别开源代码时序侧信道风险并给出优化方案；在协议分析领域，搭建起标准化漏洞审计框架。
目前，玄知V4依托专业数据集与数学机理双驱动，搭建起可追溯、可验证、可迭代的密码数据资源体系，支持本地化部署与一体机适配，开放多元接口与插件能力。
版权声明：凡本网注明“来源：中国科学报、科学网、科学新闻杂志”的所有作品，网站转载，请在正文上方注明来源和作者，且不得对内容作实质性改动；微信公众号、头条号等新媒体平台，转载请联系授权。邮箱：shouquan@stimes.cn。
