SQZ Talk | 第8期—高鸣宇副教授专题报告“密码学的硬件加速：零知识证明及其他应用”

       2025年1月3日，上海期智研究院第8期“SQZ Talk”学术论坛邀请清华大学高鸣宇副教授带来专题报告“Hardware Acceleration for Cryptography: Zero-Knowledge Proof and More”。论坛由姜建娟博士主持。

报告人简介

高鸣宇

上海期智研究院PI

清华大学副教授

       高鸣宇是清华大学交叉信息研究院副教授。他在斯坦福大学获得了电气工程博士学位和理学硕士学位，并在清华大学获得了微电子学理学学士学位。他的研究兴趣在计算机架构和系统领域，包括高效的内存架构、可扩展数据处理和硬件系统安全，特别强调数据密集型应用，如人工智能和大数据分析。他已在包括ISCA、ASPLOS、MICRO、HPCA、OSDI、SIGMOD和VLDB在内的顶级会议上发表论文。他还定期在ISCA、MICRO、ASPLOS、HPCA等顶级会议的程序委员会中服务。

高鸣宇副教授 专题报告

零知识证明（ZKP）是一种强大的密码学原语，它在确保计算完整性的同时保护数据隐私。它已广泛应用于各种实际领域，如ZK-rollup区块链协议和ZK机器学习，但其过高的计算成本现在被认为是一个关键瓶颈。在本次演讲中，高鸣宇副教授讨论了过去在加速ZKP方面的努力和未来愿景，包括使用专用硬件的学术研究项目和工业商业化尝试。在更广泛的范围内，ZKP是多种保护隐私的计算原语之一。高鸣宇副教授还简要讨论在其他应用上的工作，如完全同态加密和多方计算。

报告结束后，科研人员们讨论了安全多方计算中主流研究技术路线秘密分享和混淆电路的硬件加速优化方法，基于软硬件协同的零知识证明加速方案设计开销，在区块链场景下的具体应用方法，以及这种方法可能导致的构建成本增加等问题。