个人简介
Binyi Chen 是一位专注于零知识证明和后量子密码学的顶尖密码学家。他曾任 Espresso Systems 首席密码学家，目前在斯坦福大学担任博士后研究员，师从著名密码学家 Dan Boneh 教授。他在加州大学圣巴巴拉分校（UCSB）获得博士学位，博士期间主要研究对称密码学原语的安全性证明，包括哈希函数和内存困难函数。毕业后曾在 Google 担任一年密码学工程师，随后加入 Espresso Systems 开始专注于零知识证明（ZKP）和 SNARKs 的研究。他的研究领域涵盖后量子密码学、零知识简洁证明、区块链技术等，是 Folding Scheme（折叠方案）领域的重要贡献者之一。
主要成就
- 提出 LatticeFold 和 LatticeFold+，首个基于格（Lattice）的折叠方案，实现了后量子安全的递归 SNARK，可在 64 位小域上运行
- 开发 HyperPlonk，将 Plonk 证明系统适配到布尔超立方体，实现线性时间证明者和高阶自定义门支持
- 设计 Protostar，为特殊可靠协议提供通用高效的累积/折叠方案，支持非均匀 IVC 和高阶门
- 构建 BaseFold，首个与域无关的多线性多项式承诺方案，在任意足够大的域上均可高效运行
- 开发 Blaze，基于交织 RAA 码的快速 SNARK，具有严格线性时间证明者和多对数验证者
- 提出 Mangrove 框架，实现可扩展的基于折叠的 SNARK，具有恒定大小透明 CRS 和低内存占用
- 证明 Scrypt 是最优内存困难的，获得 EUROCRYPT 2017 最佳论文奖
- 发表多篇顶级密码学会议论文，包括 CRYPTO、EUROCRYPT、ASIACRYPT 等
- 担任 EUROCRYPT 2025/2026、ASIACRYPT 2025、TCC 2026 等顶级会议程序委员会委员
- 在斯坦福大学共同设计和讲授 CS 355：应用零知识证明课程
成长历程
2013年
学术起步与早期研究
在 IJCAI 2013 发表关于协同主题回归与社会正则化的标签推荐论文，开始涉足机器学习与密码学交叉领域。同年发表关于 K-匿名信号方案的论文。
2015年
机制设计与博弈论研究
在 AAMAS 2015 发表关于每日优惠机制设计的论文，探索密码学与经济学机制设计的结合。
2016年
博士研究与并行 RAM
在 TCC 2016-A 发表关于遗忘并行 RAM（Oblivious Parallel RAM）的论文，提出改进效率和通用构造的方法。同年开始在 EUROCRYPT 发表关于 Scrypt 和空间证明复杂度的研究。
2017年
Scrypt 安全性证明与最佳论文奖
在 EUROCRYPT 2017 发表论文《Scrypt is Maximally Memory-Hard》，首次严格证明 Scrypt 密码哈希函数的最优内存困难性，获得该会议最佳论文奖。这一成果确立了他在对称密码学领域的地位。
2019年
内存困难函数与非可篡改编码
在 CRYPTO 2019 发表两篇重要论文：关于从密码学原语构造内存困难函数，以及基于更强空间证明的连续空间有界非可篡改编码。完成加州大学圣巴巴拉分校博士学位。
2019-2020年
Google 密码学工程师
博士毕业后加入 Google，担任一年密码学工程师，积累工业界密码学应用经验。
2021-2022年
加入 Espresso Systems 与转向 ZKP
加入 Espresso Systems 担任首席密码学家，开始专注于零知识证明和 SNARKs 研究，与 Benedikt Bünz、Ben Fisch 等合作。
2023年
HyperPlonk 与 Protostar 突破
在 EUROCRYPT 2023 发表 HyperPlonk，实现线性时间证明者和高阶自定义门。在 ASIACRYPT 2023 发表 Protostar，为特殊可靠协议提供通用折叠方案。这些成果使他成为折叠方案领域的领军人物。
2024年
BaseFold、Mangrove 与格基折叠
在 CRYPTO 2024 发表 BaseFold（域无关多项式承诺）和 Mangrove（可扩展折叠框架）。在 ASIACRYPT 2024/SBC 2024 发表 LatticeFold，开创后量子安全折叠方案新方向。
2024-2025年
斯坦福大学博士后与 LatticeFold+
离开 Espresso Systems，加入斯坦福大学担任博士后研究员，师从 Dan Boneh。在 CRYPTO 2025 发表 LatticeFold+，将格基折叠方案效率提升 5-10 倍。在 EUROCRYPT 2025 发表 Blaze 快速 SNARK。
相关文章
经典观点
"折叠（Folding）技术的核心思想是将多个计算实例的证明合并为一个，从而避免递归 SNARK 的高昂开销。我们的 Protostar 方案通过改变被折叠的关系，使得验证只需要检查一个压缩方程，大大降低了错误向量承诺的复杂度。"
— Zero Knowledge Podcast, 2023
"在从对称密码学转向零知识证明的过程中，我发现 ZKP 领域充满了令人兴奋的挑战。HyperPlonk 的设计灵感来自于如何避免 Plonk 中的 FFT 瓶颈，同时支持更高阶的自定义门。"
— 个人学术演讲, 2022-2023
"LatticeFold 的关键挑战在于如何在多轮折叠后确保提取的见证始终具有低范数。我们使用 sumcheck 协议的新技术来解决这一问题，使得格基折叠方案既后量子安全又高效。"
— LatticeFold 论文, ASIACRYPT 2024
"BaseFold 的核心创新是构造了'随机可折叠码'（Random Foldable Codes），这类码在任意足够大的域上都具有 O(n log n) 编码时间，从而使多项式承诺真正与域无关。"
— BaseFold 论文, CRYPTO 2024