3 papers
cs.AR2026
Enabling AI ASICs for Zero Knowledge Proof
Jianming Tong, Jingtian Dang, Simon Langowski +6
Zero-knowledge proof (ZKP) provers remain costly because multi-scalar multiplication (MSM) and number-theoretic transforms (NTTs) dominate runtime as they need significant computat…
cs.CR2025
HEIR: A Universal Compiler for Homomorphic Encryption
Asra Ali, Jaeho Choi, Bryant Gipson +7
This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstr…
cs.CR2025
Leveraging ASIC AI Chips for Homomorphic Encryption
Jianming Tong, Tianhao Huang, Jingtian Dang +9
Homomorphic Encryption (HE) provides strong data privacy for cloud services but at the cost of prohibitive computational overhead. While GPUs have emerged as a practical platform f…