Jun 24, 2024

ZK Research Engineer

$150,000 - $300,000 yearly
  • Scroll
Full time Cryptography Engineering Research

Job Description

About the team

We are a team working on Ceno (paper link: https://eprint.iacr.org/2024/387), one of the cutting-edge ZKVM solutions. It is the first ZKVM that exploits the program structure and compiler techniques to improve the proof generation time. The project consists of three modules: GKR prover, ZKVM protocol, and recursive prover. Our whole team is working on the following tasks:

  1. The GKR prover acceleration.
  2. ZKVM infrastructure optimization, and opcode implementation.
  3. Recursive prover design and implementation.
  4. ZK research discussion.

Responsibilities:

  • Enhance performance through innovative optimization techniques.
  • Benchmark protocols, including different IOP protocols, polynomial commitments, and circuit designs.
  • Maintain and enhance the zk[E]VM architecture for optimal performance and reliability.
  • Implement opcode circuits, test, benchmark and optimize opcode design.
  • Design and implement recursive proof systems.
  • Analyze academic papers, design algorithms, and develop compiler systems to implement new solutions.

Requirements:

  • Proficient in Rust/C++, and experience with low-level optimizations.
  • Advanced degree in Computer Science, Mathematics, or a related field, In-depth understanding of algorithms and mathematical concepts.
  • Experience in designing and developing compilers and algorithmic systems.
  • Ability to read, understand, and implement ideas from academic papers.
  • Experience in MPI development.

Preferred Qualifications:

  • Strong algorithm or mathematics contest background.
  • Publications or contributions to ZK research.
  • Hands-on experience with ZKVM and recursive proof systems.
  • Experience in collaborative zkSNARKs, or decentralized provers.

Apply Now