Job description
Responsibilities:
1. Participate in the design and selection of on-chain cryptographic protocols: signatures, aggregation, commitments, zero-knowledge proofs, verifiable computation, MPC, etc.
2. Translate mathematical solutions into implementable specifications: security assumptions, complexity, trade-offs in circuits/proof systems, and interfaces with EVM/execution layers.
3. Implement or coordinate core cryptographic modules (Rust/C++/Go), and conduct correctness, performance, and adversarial testing.
4. Track advancements in fields such as ZK, post-quantum, threshold signatures, and privacy computing, and assess their relevance to the technical roadmap.
5. Collaborate with public chain, contract, and security teams to document threat models, parameter selections, and audit points clearly.
6. Produce internal technical notes and publicly available technical documentation (in both Chinese and English).
Requirements:
1. Master's degree or above in Mathematics, Cryptography, Theoretical Computer Science, Information Security, or related fields; PhD or equivalent research experience preferred.
2. Solid mathematical foundation: strong proficiency in at least two areas such as abstract algebra, number theory, probability, and complexity theory; ability to read and reproduce mainstream cryptographic papers.
3. Familiarity with at least one area of applied cryptography and hands-on experience, such as:
a. Zero-knowledge proofs (Groth16/Plonk/STARKs/folding, etc.)
b. Threshold signatures/MPC/secret sharing
c. Elliptic curves and pairings, hashing, commitment schemes
d. Verifiable random functions, aggregate signatures, lightweight client-related constructions
4. Ability to implement non-toy-level prototypes in Rust, C++, or Go; understanding of constant-time, side-channel, and engineering constraints.
5. Fluent in reading and writing English, capable of independently following papers and standard documents (IETF, academic preprints, audit reports).
6. Clear communication skills, able to explain proof concepts to engineering colleagues and understand system constraints.
Preferred Qualifications:
1. Contributions or in-depth usage experience with ZK circuits, proof systems, or cryptographic libraries (e.g., arkworks, halo2, gnark, dalek, libsecp, etc.).
2. Relevant security/cryptographic practices in blockchain, DeFi, cross-chain bridges, wallets, or trusted hardware (TEE).
3. Published or submitted related work in CRYPTO/Eurocrypt/Asiacrypt/CCS/IEEE S&P/NDSS, etc.
4. Familiarity with cryptographic bottlenecks in parallel execution, consensus, or state proofs (state commitments, data availability, lightweight node verification, etc.).
5. Background in competitions or strong mathematical training (Olympiad, Chiu Chengtong, IMC, etc.) that can translate into engineering judgment.
What We Value:
1. Clearly articulate assumptions, reductions, and failure modes before discussing