密码学；密码协议；零知识证明；ZK-SNARK；可验证密态计算

本研究组长期从事密码协议相关研究，研究方向涵盖零知识证明，SNARK，可验证密态计算等前沿领域。现招收具有网络安全、计算机科学与技术、软件工程、应用数学等专业背景的研究生。我们欢迎擅长工程实现或者熟悉密码学/数学理论的同学，这里将为你提供前沿课题、充足资源和开放的合作环境。

083900-网络空间安全

密码协议，零知识证明

2018-09--2024-06   中国科学院信息工程研究所   工学博士学位
2014-09--2018-06   山东大学   理学学士学位

   

2024-07~现在, 中国科学院信息工程研究所, 预聘副高

   

（1） Deep-frida: transparent data availability sampling with smaller size, Cybersecurity, 2026, 第 2 作者  通讯作者
（2） Anonymous Registered Attribute Based Signature for Circuits,  Theoretical Computer Science, 2026, 第 2 作者  通讯作者
（3） Polylogarithmic Polynomial Commitment Scheme over Galois Rings, ESORICS 2025, 2025, 第 2 作者
（4） Extending Groth16 for Disjunctive Statements, ESORICS 2025, 2025, 第 2 作者
（5） Phalanx: An FHE Friendly SNARK for Verifiable Computation on Encrypted Data, ACM CCS 2025, 2025, 第 1 作者
（6） Transparent SNARKs over Galois Rings, PKC 2025, 2025, 第 2 作者  通讯作者
（7） Zero-Knowledge Functional Elementary Databases, Asiacrypt 2023, 2023, 第 1 作者
（8） Knowledge Encryption and Its Applications to Simulatable Protocols with Low Round Complexity, Asiacrypt 2022, 2023, 第 2 作者
（9） Promise Σ-Protocol: How to Construct Efficient Threshold ECDSA from Encryptions Based on Class Groups, Asiacrypt 2021, 2021, 第 3 作者  通讯作者

   

1. 面向机密计算的简洁非交互零知识证明研究，国家自然科学基金青年科学基金项目（C类），项目负责人，2026.01-2028.12