“致远六期”胡云聪团队提出HasteBoots方案，全同态加密验证效率实现秒级突破

　　

近日，上海交通大学计算机学院助理教授胡云聪及其合作团队在密码学可验证计算领域取得重要进展。其论文“HasteBoots: Proving TFHE Programmable Bootstrapping in Seconds”提出了一套针对TFHE全同态加密方案的高效证明协议，将原本需要数小时的证明生成时间缩短至数秒以内，为隐私计算技术的规模化落地扫清了关键性能障碍。该论文由“致远六期”计算机科学方向校友胡云聪担任通讯作者，值得一提的是，论文第一作者刘冯润目前正在卡内基梅隆大学攻读博士学位，在上海交通大学就读期间便由胡云聪老师指导。

论文链接：https://eprint.iacr.org/2025/261

全同态加密允许在加密数据上直接进行计算，是保护数据隐私的关键技术。然而，其计算结果的正确性验证一直是个巨大挑战，尤其是其中最耗时的“自举”（Bootstrapping）操作。此前，无论是基于通用SNARK还是zkVM的方案，其证明生成效率都远不能满足实际需求。胡云聪所在团队所提出的HasteBoots方案，通过为TFHE设计高效的商环算术协议，实现了对可编程自举操作的快速证明。实验数据显示，该方案能在数秒内完成对TFHE评估的证明生成，在一分钟内即可完成对16个操作的批处理证明，同时验证时间仅需126毫秒，证明大小仅为0.28MB。这一性能相较该领域此前的最先进方案实现了质的飞跃，为可验证外包计算、隐私保护机器学习等场景的大规模落地扫清了关键障碍。

胡云聪是“致远六期”（2017届）计算机科学方向毕业生，于2022年取得加州大学伯克利分校博士学位，长期深耕应用密码学与零知识证明领域，其主导研发的零知识证明算法Marlin及开源工具库Arkworks，已成为学术界与工业界广泛采用的重要基础设施。回到交大任教后，他始终致力于打通学术前沿与产业实践间的壁垒，推动密码学技术在真实场景中的应用落地。

作为国家级青年人才计划入选者，胡云聪的研究始终保持着学术探索与真实需求的双向互动。除了HasteBoots，他近期在可验证计算领域的另一项重要成果DFS（Delegation-friendly zkSNARK）也已被USENIX Security '25接收，该工作提出了一种可将证明过程高效委托给分布式节点的新协议。此次HasteBoots入选USENIX Security '26，不仅再次印证了胡云聪团队在应用密码学前沿的持续创新能力，也展现出其带领的上海交大团队在培养高水平学生、攻克世界级难题上的巨大潜力。该论文的最终版本于2026年6月提交，并于8月在美国巴尔的摩举行的会议上正式发表。

作者：

林依洁

供稿单位：

致远学院