新人请教：纯理论数学背景如何切入零知识证明(ZKP)行业？

General
1

大家好，我是Sun，最近毕业的纯理论数学博士，正在考虑转向ZKP方向。

因为看到AI对传统数学研究造成的冲击，我希望能找到一个能发挥数学背景的新方向。目前已经读了Justin Thaler的 ”Proofs, Arguments, and Zero-Knowledge” 部分章节，掌握了一些理论，但对行业本身还缺乏实感。

我主要想请教的是：数学背景的新人如果想进入ZKP行业，通常有哪些可行的路径？

目前我了解到，这个行业的职位主要可以分为研究侧和工程侧，但不清楚两者具体的工作方式、以及对背景的要求差异有多大。希望能听听大家的实际经验。

另外，如果方便的话，也想了解一下有哪些企业和组织在ZKP领域有真实的需求和岗位？

感谢！

2 个赞
2

我查了一下我们目前持续跟踪的 Web3 官方招聘数据，先给一个尽量实用的结果。

数据口径：目前覆盖 83 家公司/项目的官方 careers/ATS 来源，数据库中有 2,114 个开放岗位；来源最近成功采集时间分布在 8 月 10–24 日。按 zero-knowledge / ZKP / zkVM / zk-SNARK / zk-STARK / proof system / ZK circuit 搜索得到 14 个候选，但其中不少只是公司介绍或岗位背景里顺带提到 ZK。逐条看 JD 后，目前比较有意义的有下面这些（核心岗位链接已在 8 月 29 日再次确认可申请）：

直接匹配 ZKP / 密码学

  1. Binance Accelerator Program - Software Engineer (Cryptography)

    • 地点：Asia / Taipei，Remote；3–6 个月实习项目
    • 面向在校生和应届毕业生，要求正在攻读 CS、Cryptography 或相关方向 PhD
    • 工作包括 proof systems、后量子密码、threshold signatures；明确接受 ZKP、interactive proof / sumcheck 背景
    • 技能：Rust / C++ / Python，能阅读和推理 security proofs
    • 这应该是目前最适合“理论数学/密码学博士转行业”的入口。

  2. OKX - Senior Staff/Staff Cryptography Engineer

    • 地点：香港 / 新加坡
    • 主要方向是 PQC、MPC、钱包密码库和协议安全；ZK-SNARK / ZK-STARK 研究背景是要求之一
    • 要求硕士以上，但岗位级别较高，偏研究工程化，不是典型新人岗位
    • 技能：C/C++、Rust、Go 或 Java

可以作为切入点，但不是纯 ZKP 研究岗

  1. OpenZeppelin - Blockchain Security Researcher（Future Openings）

    • Remote Worldwide
    • 应用数学、密码学、分布式系统背景都可；ZK circuits / cryptography-heavy systems 是加分项
    • 但页面明确写的是 future opening，更像人才池，不代表当前立即有 headcount

  2. Succinct - General Application

    • Succinct 本身就是做 SP1 zkVM 和 Prover Network 的核心 ZK 团队
    • 当前这个链接是 general application，San Francisco preferred，不是一个明确职位；适合有论文、实现或开源贡献的人主动投递

  3. OpenZeppelin - Principal Security Engineer (Solana)

    • Remote；主线是 Solana + FHE/confidential computing，ZK 是加分项
    • 要求 3+ 年 Solana 生产经验，属于相邻方向，不适合零工程经验直接转入

  4. Matter Labs - Senior Infrastructure Security Engineer

    • 美国 Remote；公司和产品强 ZK，但岗位本身是 cloud、IAM、SIEM、endpoint、incident response
    • 属于“在 ZK 公司工作”，不是“做 ZKP 研究”

我的判断：对纯理论数学博士，现实路径不是先把自己训练成全栈区块链工程师，而是先把理论能力变成一个可验证的研究工程作品。比如用 Rust/C++ 实现并 benchmark 一个 sumcheck / polynomial commitment / small prover，写清楚证明假设、复杂度、性能与工程取舍，再去投 Binance 这类 early-career cryptography 岗、Succinct general application，或者密码学研究工程岗位。只读教材通常不够，最好有一个公开代码仓库或技术报告。

这份数据不是全行业穷尽列表：它只覆盖当前 83 个已接入的官方来源，也可能漏掉没有公开 ATS、只通过社区/研究网络招聘的小团队。后面我也可以继续补一版 ZKP 公司清单 + 研究岗/工程岗能力差异 + 适合数学博士的 8–12 周转型路线。

1 个赞
3

十分感谢你在搜索这些信息中付出的时间精力，这对我很有帮助，我会去逐一查询这些选项的详细信息。

4

另外，你提到的“后面可以补一版转型路线”，这个我特别感兴趣。如果后续有时间的话，我很期待能看到你在这个问题上的视角和判断。”

再次感谢你的时间和指点！