Job Responsibilities:

1. Design and implement the proving system algorithms that are to be used for zkEVM/zkVM solutions.
2. Optimize Elliptic Curve Primitives and proof generation processes.
3. Survey the emerging zkEVM, zkVM, and various ZKP protocols with an in-depth understanding of their academic papers and code implementations.

Job Requirements:

1. Strong background in Math, Cryptography, or Zero Knowledge Proof.

2. Solid experience in Plonk & Halo2 proving systems with both BN and BLS Elliptic Curve families.

3. Proficiency in Rust & Go.

4. Ability to pick up new things beyond cryptography (i.e. details of EVM).

5. Experience in blockchain infrastructure development or cryptography preferred.