2025年11月3日上午，香港理工大学电子与计算学系区文浩教授做客华中科技大学，在学术交流服务中心一号楼212会议室带来题为“JesseQ: Efficient Zero-Knowledge Proofs for Circuits over Any Field”的报告。

在报告中，区文浩教授首先回顾了零知识证明（Zero—Knowledge Proof，ZKP）作为密码学核心原语的理论发展与应用边界，指出基于向量不经意线性评估（Vector Oblivious Linear Evaluation，VOLE）的协议为“实时、低交互、强隐私”的证明系统提供了新的路径。区教授在现场对 VOLE 原理进行了条理清晰的说明，其首先在离线阶段生成批量“相关随机量”，把复杂乘法门的成本前移、摊薄，使在线阶段仅需极少通信即可完成大规模线性/乘法运算的一致性检查。其次，VOLE 天然支持向量化与批量处理，验证开销与电路规模呈近似线性关系，适合亿级乃至万亿级门规模的电路证明。其团队最新研发的零知识证明系统 JesseQ 即建立在 VOLE 框架之上，能够在任意域上同时支持算术电路与布尔电路，在保证安全性的同时显著降低计算与通信开销。报告展示了 JesseQ 的一项关键里程碑：在低成本 AWS 实例上，以约 1 美元的费用即可完成对 9.2 万亿 与门的证明，充分体现了系统在可扩展性与性价比方面的优势。区教授报告深入浅出，给参会师生留下了深刻印象。互动交流环节，现场师生就系统实现细节以及硬件加速零知识证明协议积极提问，区教授逐一作了耐心细致的解答，并与大家展开了深入讨论，期盼今后能在零知识证明加速领域展开合作。

区文浩（Man Ho Allen Au）教授现任香港理工大学电子与计算学系教授、系副主任，兼任香港理工大学区块链技术研究中心主任，曾在香港大学与澳大利亚伍伦贡大学任职。其研究方向涵盖信息安全、密码学、区块链技术及其应用。在 CRYPTO、ASIACRYPT、ACM CCS、NDSS、IEEE S&P、SIGMOD、SOSP、IEEE TIFS、IEEE TDSC 等国际顶级期刊与会议发表论文200余篇，曾获多项重要荣誉，包括2024–2025香港工程科学与科技奖、2023中银香港科技创新奖（金融科技方向）等，并两度斩获国际 ZPrize 竞赛奖项；多次担任国际会议大会/程序委员会主席，现任 IEEE TDSC 与 JISA 编委，同时担任 ELSP Blockchain 顾问委员会成员及香港金融管理局 CBDC 专家组成员。

 （通讯员：王霄）