Cryptography, Cryptographic Protocols, Zero-Knowledge Proofs, ZK-SNARK, Verifiable Computation over Encrypted Data

Sep 2018 – Jun 2024: Ph.D. in Engineering, Institute of Information Engineering, Chinese Academy of Sciences

Sep 2014 – Jun 2018: B.S., Shandong University

   

July 2024 – Present

Tenure-Track Associate Professor

Institute of Information Engineering, Chinese Academy of Sciences

   

(1) Deep-frida: transparent data availability sampling with smaller size, Ming Yang, Xinxuan Zhang, Yi Deng, Cybersecurity, 2026.

(2) Anonymous Registered Attribute Based Signature for Circuits, Liuyu Yang, Xinxuan Zhang, Yi Deng, Zhuo Wu, Xudong Zhu, Theoretical Computer Science, 2026.

(3) Polylogarithmic Polynomial Commitment Scheme over Galois Rings, Zhuo Wu, Xinxuan Zhang, Yi Deng, Yuanju Wei, Zhongliang Zhang, Liuyu Yang, ESORICS 2025, 2025.

(4) Extending Groth16 for Disjunctive Statements, Xudong Zhu, Xinxuan Zhang, Xuyang Song, Yi Deng, Yuanju Wei, Liuyu Yang, ESORICS 2025, 2025.

(5) Phalanx: An FHE Friendly SNARK for Verifiable Computation on Encrypted Data, Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng, Ben Fisch, Xianhui Lu, ACM CCS 2025, 2025.

(6) Transparent SNARKs over Galois Rings, Yuanju Wei, Xinxuan Zhang, Yi Deng, PKC 2025, 2025.

(7) Zero-Knowledge Functional Elementary Databases, Xinxuan Zhang, Yi Deng, Asiacrypt 2023, 2023.

(8) Knowledge Encryption and Its Applications to Simulatable Protocols with Low Round Complexity, Yi Deng, Xinxuan Zhang, Asiacrypt 2022, 2023.

(9) Promise Σ-Protocol: How to Construct Efficient Threshold ECDSA from Encryptions Based on Class Groups, Yi Deng, Shunli Ma, Xinxuan Zhang, Hailong Wang, Xuyang Song, Xiang Xie, Asiacrypt 2021, 2021.

Our research group has long been engaged in research on cryptographic protocols, with interests spanning cutting-edge areas such as zero-knowledge proofs, SNARKs, and verifiable computation on encrypted data. We are currently recruiting graduate students with academic backgrounds in cybersecurity, computer science and technology, software engineering, applied mathematics, or related fields. We welcome students who are either skilled in engineering implementation or familiar with cryptographic/mathematical theory. We offer frontier research topics, ample resources, and an open and collaborative environment for your development.