郑鈜壬

教育经历

清华大学 2022 年 8 月至 2028 年 6 月（预期）: 交叉信息研究院，高鸣宇组，博士生

清华大学 2018 年 8 月至 2022 年 6 月: 交叉信息研究院，姚班，工学学士

湖南省永州市第四中学 2015 年 8 月至 2018 年 6 月: 湖南省高考裸分第一名; 分数：713/750 （语文 125，数学 149，英语 145，理综 294）

论文发表

Sparse Hermite Interpolation Method for Discrete-CKKS Functional Bootstrapping: Andreea Alexandru, Andrey Kim, Yuriy Polyakov, Hongren Zheng（字母序）; [论文] Asiacrypt'26

FHE for SIMD Arithmetic Logic Units with Amortized O(1) Bootstrapping per Ciphertext: Mingyu Gao, Hongren Zheng（字母序）; [论文] [幻灯片] [幻灯片（完整版）] Crypto'26[代码]

CROPHE: Cross-Operator Dataflow Optimization for Fully Homomorphic Encryption Accelerators: Xinhua Chen, Jiangbin Dong, Hongren Zheng, Tian Tang, and Mingyu Gao; [论文]HPCA'26

A Critique on Average-Case Noise Analysis in RLWE-Based Homomorphic Encryption: Mingyu Gao, Hongren Zheng（字母序）; [论文] [幻灯片] [代码]WAHC'25

Honeycomb: Secure and Efficient GPU Executions via Static Validation

Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huiming Cui, Xiaobing Feng, and Christos Kozyrakis

GPU 运行时：辅助编写客制的 HIP 与 OpenCL 运行时，主要工作在 HIP / OpenCL API （用户空间）和 /dev/kfd（内核-用户空间界面）上，顺手发送了一个 PR 给 strace 作为副产物
CPU 可信执行环境：熟悉 AMD TEE 技术，例如 SEV-SNP 当处理 CPU 与 GPU 的共享内存问题时（修改了一个树外内核模块) 和 SVSM
虚拟化：辅助编写了一个最小化的 Hypervisor（x86，用 Rust），为了最小化可信代码基
软件工程：当编写用户空间辅助程序和性能测试时，写了一些 C++ 和系统编程

[论文] [幻灯片]OSDI'23

预印文稿

FHE for ALU over Large Prime Moduli and Application to One-Round Threshold ECDSA: Yuchen Wei, Kaisheng Ma, Mingyu Gao, Hongren Zheng; [论文] [代码] eprint/2026/1836

HEIR: A Universal Compiler for Homomorphic Encryption: Asra Ali, Jaeho Choi, Bryant Gipson, Shruthi Gorantala, Jeremy Kun, Wouter Legiest, Lawrence Lim, Alexander Viand, Meron Zerihun Demissie, Hongren Zheng（字母序）; [论文] arxiv/2508.11095

学术报告

FHE for SIMD Arithmetic Logic Units with O(1) Bootstrapping: [幻灯片]

A Critique on Average-Case Noise Analysis for RLWE-based Homomorphic Encryption: [幻灯片]

开源贡献

HEIR: 同态加密中间表达 2024 年 9 月至 2025 年 11 月: 外部合作者 google/heir; [幻灯片]

项目经历

基于 Chisel 实现 RISC-V 指令集标量密码学扩展 2022 年 1 月至 2022 年 6 月

本科毕业论文

[论文][幻灯片]

RTL 设计：为 Rocket-Chip 设计的 Zk/Zb 扩展的功能单元，已上游化
密码学库：为 OpenSSL 设计的 AES/SM4/SM3 的汇编，已上游化
在 AES 上可达到十倍加速比

课程助教

计算机系统概论 2022 春季学期、2023 春季学期

清华大学交叉信息院课程，主讲教师徐葳、高鸣宇

[幻灯片]

树莓派/课程设计：学生领取树莓派并在其上开展课程实验，我负责搭建系统与修复学生的网络/硬件/配置问题。与简单地给予虚拟机 SSH 帐号相比，分发树莓派的工作量很大但是我认为学生能在本科早期阶段得到一些系统管理的经验是有益的。
习题课：相比于传统习题课那样训练同学使用工具、掌握技能或者学习知识点，我更喜欢给一些与当周课程话题相关的讲座，涉及更深入的主题，来展示计算机系统设计的方法论/思想。这才是系统课应该传递给学生的核心内容，就像姚班理论课程传递的那样。在这些讲座中，繁杂的技术细节并不重要（就像理论课中数学工具/证明细节并不是核心内容），但是只有把这些细节足量地展示出来，设计系统时思想的流动和组合才能被展示。我的讲座有「C 数组与指针的区别（引自《C专家编程》）」，「缓存架构与探测（引自《计算机体系结构：量化研究方法》」，「用户/内核模式与操作系统基础（以 RISC-V 特权指令集为例）」，「以一种不那么难的方式学习 Git（手动构建 .git 文件夹以理解 git 命令的工作方式而不是背诵）」，「内存管理单元，内核，系统调用，malloc（从硬件到软件的整套内存管理栈）」，「嵌入式系统 USB 驱动与 Linux FunctionFS 作为 USB 驱动（展示操作系统与设备的互动）」，「量子网络协议栈（与经典网络栈相对应的例子）」。很有意思的是，一些同学能够从繁多的细节中获取我想传递的思想，我很高兴，即使准备这些讲座需要大量精力。

点击查看细节