 |
Research Interest: I have a broad interest in cryptography and related topics in theoretical computer science. I am an assistant professor at the Khoury College of Computer Science at Northeastern University. I am a member of the Cryptography and Privacy Group, the Theory Group, and the Cybersecurity and Privacy Institute. Previously, I received my Ph.D. from Johns Hopkins University, where I was fortunately co-advised by Abhishek Jain and Xin Li. After that I was a postdoctoral associate at MIT CSAIL, mentored by Vinod Vaikuntanathan. I received my bachelor's degree from Mathematics Department at Fudan University, and was advised by Yunlei Zhao. Program Committee: TCC 2023, PKC 2024, CRYPTO 2024, TCC 2024. Contact: zh.jin (AT) northeastern (DOT) edu, albusmath at gmail dot com. I'm looking for talented students to join my group! |
Teaching
Publications
Non-Interactive Zero-Knowledge from LPN and MQ
Quang Dao, Aayush Jain, Zhengzhong Jin
CRYPTO 2024 [eprint]
SNARGs Under LWE via Propositional Proofs
Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Vinod Vaikuntanathan
STOC 2024 [Slides from My View]
Scalable Multiparty Garbling
Gabrielle Beck, Aarushi Goel, Aditya Hegde, Abhishek Jain, Zhengzhong Jin, Gabriel Kaptchuk
CCS 2023 [eprint]
Correlation Intractability and SNARGs from Sub-exponential DDH
Arka Rai Choudhuri, Sanjam Garg, Abhishek Jain, Zhengzhong Jin, Jiaheng Zhang
CRYPTO 2023 [eprint]
A Note on Non-Interactive Zero-Knowledge Proofs for NP from CDH
Geoffroy Couteau, Abhishek Jain, Zhengzhong Jin, Willy Quach
CRYPTO 2023 [eprint]
Credibility in Private Set Membership
Sanjam Garg, Mohammad Hajibadi, Abhishek Jain, Zhengzhong Jin, Omkant Pandey, Sina Shiehian
PKC 2023 [Proceeding]
Linear Insertion Deletion Codes in the High-Noise and High-Rate Regimes
Kuan Cheng, Zhengzhong Jin, Xin Li, Zhide Wei, Yu Zheng
ICALP 2023 [arXiv]
Succinct Zero Knowledge for Floating Point Computations
Sanjam Garg, Abhishek Jain, Zhengzhong Jin, Yinuo Zhang
CCS 2022 [Proceeding]
Indistinguishability Obfuscation via Mathematical Proofs of Equivalence
Abhishek Jain, Zhengzhong Jin
FOCS 2022 [eprint][Slides at Complexity Meeting][Slides for Cryptographers]
Pre-Constrained Encryption
Prabhanjan Ananth, Abhishek Jain, Zhengzhong Jin, Giulio Malavolta
ITCS 2022
Compact and Flexible KEM From Ideal Lattice
Zhengzhong Jin, Shiyu Shen, Yunlei Zhao
IEEE TIT 2022
SNARGs for P from LWE
Arka Rai Choudhuri, Abhishek Jain, Zhengzhong Jin
FOCS 2021 [eprint]
Invited to the SIAM Journal of Computing Special Issue
Non-Interactive Batch Arguments for NP from Standard Assumptions
Arka Rai Choudhuri, Abhishek Jain, Zhengzhong Jin
CRYPTO 2021 [eprint]
Streaming and Small Space Approximation Algorithms for Edit Distance and Longest Common Subsequence
Kuan Cheng, Alireza Farhadi, MohammadTaghi Hajiaghayi, Zhengzhong Jin, Xin Li, Aviad Rubinstein, Saeed Seddighin, Yu Zheng
ICALP 2021
Non-Interactive Zero Knowledge from Sub-exponential DDH
Abhishek Jain, Zhengzhong Jin
EUROCRYPT 2021 [eprint][slides (long)]
Best Paper Award. Invited to Journal of Cryptology
Unbounded Multi-party Computation from Learning with Errors
Prabhanjan Ananth, Abhishek Jain, Zhengzhong Jin, Giulio Malavolta
EUROCRYPT 2021 [eprint]
Multi-key Fully-Homomorphic Encryption in the Plain Model
Prabhanjan Ananth, Abhishek Jain, Zhengzhong Jin, Giulio Malavolta
TCC 2020 [eprint][slides]
Statistical Zaps and New Oblivious Transfer Protocols
Vipul Goyal, Abhishek Jain, Zhengzhong Jin, Giulio Malavolta
EUROCRYPT 2020 [eprint], subsumes [eprint], [slides]
Public-Key Function-Private Hidden Vector Encryption (and More)
James Bartusek, Brent Carmer, Abhishek Jain, Zhengzhong Jin, Tancrède Lepoint, Fermi Ma, Tal Malkin, Alex J. Malozemoff, Mariana Raykova
ASIACRYPT 2019 [eprint]
Block Edit Errors with Transpositions: Deterministic Document Exchange Protocols and Almost Optimal Binary Codes
Kuan Cheng, Zhengzhong Jin, Xin Li, Ke Wu
ICALP 2019 [arXiv][slides]
Deterministic Document Exchange Protocols, and Almost Optimal Binary Codes for Edit Errors
Kuan Cheng, Zhengzhong Jin, Xin Li, Ke Wu
FOCS 2018 [arXiv][slides], Journal of the ACM 2022
Generic and Practical Key Establishment from Lattice
Zhengzhong Jin, Yunlei Zhao
ACNS 2019 [Proceeding]
Best Student Paper Award
Talks
Program Obfuscation, SNARGs, and Mathematical Logic
Brown University, Theory Seminar, Oct 2024.
Universal SNARGs for NP from Proofs of Completeness
MIT CIS Seminar, May 2024.
SNARGs Under LWE via Propositional Proofs
NTT Research CIS seminar, March 2024.
Indistinguishability Obfuscation via Mathematical Proofs of Equivalence
Oxford-Warwick Complexity Meetings, Oct 2022.
63rd IEEE Symposium on Foundations of Computer Science, Nov 2022.
Charles River Crypto Day, Dec 2022.
CMU CyLab Crypto Seminar, Feb 2023.
Simons Institute, Proof Complexity and Meta-Mathematics, March 2023.
SNARGs for P from LWE
Charles River Crypto Day, July 2021.
DC Area Crypto Day (virtual), November 2021.
UCLA, December 2021.
62nd IEEE Symposium on Foundations of Computer Science (virtual), 2021.
Chinese Academy of Sciences, Nov 2022.
Non-Interactive Batch Arguments for NP from Standard Assumptions
41st Annual International Cryptology Conference, live talk, August 2021.
Non-Interactive Zero Knowledge from Sub-exponential DDH
UC Berkeley Crypto Seminar (virtual), March 2021.
MIT CIS Seminar (virtual), April 2021.
Cornell Crypto Seminar (virtual), April 2021.
IIT Madras Crypto Seminar (virtual), July 2021.
40th Annual International Conference on the Theory and Applications of Cryptographic Techniques (virtual), October 2021.
ENSL/CWI/RHUL joint online seminar (virtual), May 2022.
Multi-key Fully-Homomorphic Encryption in the Plain Model
Theory of Cryptography Conference, November 2020.
Statistical Zaps and New Oblivious Transfer Protocols
39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020.
Block Edit Errors with Transpositions: Deterministic Document Exchange Protocols and Almost Optimal Binary Codes
46th International Colloquium on Automata, Languages and Programming, July 2019.
Generic and Practical Key Establishment from Lattice
17th International Conference on Applied Cryptography and Network Security, June 2019.
Deterministic Document Exchange Protocols, and Almost Optimal Binary Codes for Edit Errors
Johns Hopkins University, Theory Seminar, September 2018.
Also at 59th Annual IEEE Symposium on Foundations of Computer Science, October 2018.
Others
Gold Medal, ACM-ICPC Asia Regional Contest Guangzhou site, 2014
Gold Medal, ACM-ICPC Asia Regional Contest Anshan site, 2014