Hongren Zheng

Education

Tsinghua University August 2022 - June 2028 (Expected): Ph.D Student, Mingyu GAO's IDEAL Group, IIIS

Seoul National University October 2026 - January 2027: Visiting Student, Yongsoo SONG's CP Lab

Tsinghua University August 2018 - June 2022: BEng, Yao Class, IIIS

The Fourth High School of Yongzhou, Hunan August 2015 - June 2018: Rank in Gaokao: 1st place of Hunan Province; Score: 713/750 (Chinese 125, Math 149, English 145, Science 294)

Publications

Sparse Hermite Interpolation Method for Discrete-CKKS Functional Bootstrapping: Andreea Alexandru, Andrey Kim, Yuriy Polyakov, Hongren Zheng(alphabetical order); [Paper] [Code]Asiacrypt'26

FHE for SIMD Arithmetic Logic Units with Amortized O(1) Bootstrapping per Ciphertext: Mingyu Gao, Hongren Zheng(alphabetical order); [Paper] [Slides] [Slides (Full)] Crypto'26[Code]

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

A Critique on Average-Case Noise Analysis in RLWE-Based Homomorphic Encryption: Mingyu Gao, Hongren Zheng(alphabetical order); [Paper] [Slides] [Code]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 Runtime: Helped code a custom AMD HIP runtime and OpenCL runtime, mainly on HIP/OpenCL API (userspace) and /dev/kfd (kernel-userspace interface, sent a PR to strace as a side product)
CPU TEE: Familiar with AMD CPU TEE techniques, e.g. SEV-SNP when dealing with CPU-GPU shared memory (modified an out-of-tree kernel module) and SVSM
Virtualization: Helped code a minified custom hypervisor (x86, in Rust) for minimal TCB
Software Engineering: Much C++ and system programming when coding user space helpers and benchmarks

[Paper] [Slides]OSDI'23

Manuscripts

FHE for ALU over Large Prime Moduli and Application to One-Round Threshold ECDSA: Yuchen Wei, Kaisheng Ma, Mingyu Gao, Hongren Zheng; [Paper] [Code] 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(alphabetical order); [Paper] arxiv/2508.11095

Talks

FHE for SIMD Arithmetic Logic Units with O(1) Bootstrapping: [Slides]

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

Services

FHE.org 2027: Program Committee

Asiacrypt 2026, TCC 2026: Subreviewer

Open Source

HEIR: Homomorphic Encryption IR September 2024 - November 2025

Outside Collaborator google/heir

[Slides]

Overall Contribution: 152 merged PRs before the LLM/Agent era; 121 PRs reviewed; 67 issues opened; A major non-Google contributor
Architect for Mgmt Dialect: Designed the Mgmt dialect for handling rescaling/relinearization/bootstrapping operation placement; Introduced NoiseAnalysis/LevelAnalysis/ScaleAnalysis/RangeAnalysis using MLIR DataFlow Analyse; Incorporated various noise analysis methods from literature and wrote a "critique" paper during this process; Introduced various parameter generation methods based on the noise analysis; Investigated in CKKS noise analysis
Backend: Introduced the initial support for Lattigo backend; Improved the OpenFHE dialect using familarity of OpenFHE; Introduce cleartext backend for CKKS noise analysis
Core IR: Introduced BFV support through reusing BGV dialect; Made various refinement and fixes on ModArith/RNS/Polynomial dialects
Quality of Life: Introduced IR-level debug utilities for inspecting intermediate homomorphic computation values; Used type-based assembly name; Introduced type alias in upstream LLVM/MLIR for HEIR purposes; Documents on noise analysis and mgmt dialect

Experiences

Implementing RISC-V Scalar Cryptography/Bitmanip extensions in Chisel January 2022 - June 2022

Undergraduate Thesis

[Paper][Slides]

RTL design: Zk/Zb function unit for Rocket-Chip, upstreamed
Cryptography library: AES/SM4/SM3 assembly routine for OpenSSL, upstreamed
Up to 10X speedup for AES

Teaching Assistant

Introduction to Computer Systems Spring 2022 and Spring 2023

Taught by Wei XU and Mingyu GAO, IIIS, Tsinghua University