2026年8月7日，由广东省安全智能新技术重点实验室、深圳市计算机学会主办的SAILING讲坛第三十六期“密码学前沿论坛”在哈尔滨工业大学（深圳）顺利举行，并通过腾讯会议同步开展。本次论坛由哈尔滨工业大学（深圳）付希明副教授主持，特邀西安电子科技大学邓燚教授、青岛大学田呈亮副教授作学术报告。两位嘉宾分别围绕密态计算与证明、安全分布式RSA模数生成等密码学前沿问题分享最新研究进展，与参会师生展开交流。
图1 邓燚教授作题为《密态上的计算与证明》的学术报告
邓燚教授作题为《密态上的计算与证明》的学术报告。他首先介绍了基于同态密文的计算与证明技术的发展脉络，指出该技术已成为若干机密计算、隐私计算和外包计算场景中的重要密码学工具。随后，报告重点讨论了相关技术路径中近期发现的安全性问题，并围绕如何兼顾同态加密友好性、证明效率与安全保证展开分析。最后，邓燚教授介绍了新设计的零知识证明方案Phalank，为面向全同态加密场景构造高效、可靠的证明机制提供了新的思路。
图2 田呈亮教授介绍全新方案实验结果
田呈亮副教授作题为《Secure Distributed RSA Modulus Generation Revisited: A Faster and More Communication-Efficient Construction》的学术报告。报告聚焦门限密码学中的基础问题：如何在多方分布式环境下安全生产RSA模数，同时确保其素因子始终保持私密。田星亮副教授重新审视了现有分布式Miller—Rabin素性测试，通过新的零测试协议替代其中的可整除性测试，并提出分布式Montgomery约减设计，将对秘密共享值的检测转化为对乘积是否为零的判断。该方案在正确性、计算效率和通信效率方面取得改进；实验结果表明，随着参与方数量增加，其效率优势进一步显现。报告还介绍了方案在诚实多数与非诚实多数等不同安全设定下的适用方式，以及向恶意安全扩展的可行路径。
报告结束后，参会师生围绕同态计算中的证明安全、零知识证明方案设计、分布式素性测试的效率权衡，以及不同威胁模型下协议的安全实现等问题进行了交流。两场报告从隐私计算与门限密码两个方向呈现了密码学基础理论和工程效率之间的紧密联系，为相关研究与应用探索提供了有益参考。
本次论坛进一步增进了参会师生对密态计算、零知识证明和分布式密码协议等前沿方向的认识。广东省安全智能新技术重点实验室将继续围绕安全智能与现代密码学关键问题组织高水平学术交流活动，促进跨机构、跨方向的学术合作与创新发展。
演讲嘉宾简介：
邓燚，西安电子科技大学教授。2008年获中国科学院软件所信息安全国家重点实验室博士学位。曾先后在英国伦敦大学学院（UCL, 2009-2010）和新加坡南洋理工大学（NTU, 2010-2012）从事博士后研究工作。2012-2026任中国科学院信息工程研究所研究员，主要研究方向为密码学，特别是零知识证明和密码协议，以及它们在金融科技中的应用。曾在一些密码学和计算机科学领域旗舰会议和期刊FOCS，Crypto, Eurocrypt, Asiacrypt，PKC和Journal of Cryptology上发表了一系列论文。2011年获中国密码学会首届优秀青年奖，2014年获中国密码学会首届创新奖一等奖，2019年获中国电子学会自然科学奖一等奖。
田呈亮，青岛大学计算机科学技术学院副教授。目前主要从事格密码计算理论与隐私计算算法研究，主持国家自然科学基金、 “十三五”国家密码发展基金、山东省自然科学基金等科研项目多项，以第一（通讯）作者在Usenix Security, IEEE TIT, Science China: Information Sciences等国内外高水平会议与期刊发表论文20余篇。
广东省安全智能新技术重点实验室简介：
广东省安全智能新技术重点实验室是由广东省科学技术厅于2022年批准成立的省级科研平台，依托哈尔滨工业大学（深圳）进行建设管理。实验室遵循“开放、流动、联合、竞争”的发展方针，以提高自主创新能力为目标，聚焦广东优势学科、支柱产业及重大战略需求，着力加强基础研究和源头创新能力，推进科技研发与成果转化，培育创新型人才队伍，强化开放共享，服务广东建设更高水平科技创新强省。
初审 | 付希明
复审 | 漆舒汉
终审 | 王 轩
