岗位描述
岗位职责：
1、参与链上密码学协议设计与选型：签名、聚合、承诺、零知识证明、可验证计算、MPC 等。
2、把数学方案落到可实现规格：安全假设、复杂度、电路/证明系统取舍、与 EVM / 执行层的接口。
3、实现或联调核心密码学模块（Rust / C++ / Go），并做正确性、性能与对抗性测试。
4、跟踪 ZK、后量子、门限签名、隐私计算等领域进展，评估是否进入技术路线。
5、与公链、合约、安全同学协作，写清威胁模型、参数选择与审计要点。
6、产出内部技术笔记与对外可公开的技术说明（中英均可）。
任职要求：
1、数学、密码学、理论计算机、信息安全或相关专业硕士及以上；博士或同等研究经历优先。
2、扎实的数学基础：抽象代数、数论、概率与复杂度理论至少两项过硬；能读懂并复现主流密码学论文。
3、熟悉至少一类应用密码学方向并有动手经验，例如：
a.零知识证明（Groth16 / Plonk / STARKs / folding 等）
b.门限签名 / MPC / 秘密分享
c.椭圆曲线与配对、哈希、承诺方案
d.可验证随机函数、聚合签名、轻客户端相关构造
4、能用 Rust、C++ 或 Go 实现非玩具级原型；理解常量时间、侧信道与工程落地约束。
5、英文读写流利，能独立跟论文与标准文档（IETF、学术预印本、审计报告）。
6、沟通清楚，能把证明思路讲给工程同学听，也能听懂系统约束。
加分项：
1、有 ZK 电路、证明系统、或密码库（如 arkworks、halo2、gnark、dalek、libsecp 等）贡献或深度使用经验。
2、有区块链、DeFi、跨链桥、钱包或可信硬件（TEE）相关安全/密码实践。
3、在 CRYPTO / Eurocrypt / Asiacrypt / CCS / IEEE S&P / NDSS 等发表或投稿过相关工作。
4、熟悉并行执行、共识或状态证明中的密码学瓶颈（状态承诺、数据可用性、轻节点验证等）。
5、竞赛或强数学训练背景（奥赛、丘成桐、IMC 等）且能转成工程判断。
我们看重什么：
1、先把假设、归约和失败模式说清楚，再谈「能跑」。
2、宁可选边界清晰的方案，也不堆无法审计的黑盒。
3、数学要硬，落地要诚实：复杂度、证明大小、验证成本都要能算、能量。