ZK Research Engineer

Scroll is a Layer 2 scaling solution for Ethereum, specifically focusing on zkRollups. Key aspects of Scroll are zkRollup technology, Scalability, Efficiency, Security, and Developer-friendly. Overall, Scroll plays a crucial role in addressing Ethereum’s scalability challenges and facilitating the growth of decentralized finance (DeFi) and other blockchain-based applications by providing a scalable and efficient Layer 2 solution.

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.

About You

• You are a self-starter and ability to take ownership, well organised, self-disciplined and effective when working autonomously on tasks and projects;


• You are responsive, collaborative and committed person with a high work ethic;


• You are a high class communicator who can articulate their views succinctly on calls or asynchronously in globally distributed, remote teams;


• You relish working in an agile start-up environment;


• You are a great listener who understands when to listen first and engages well with colleagues;


• You are a resilient, driven individual who is willing and able to continually develop and iterate to succeed;

What We Offer

• A mission-led, collaborative culture


• Opportunity to work with cutting edge technology and like-minded people who are contributing to the progression of Ethereum


• Competitive salary package / generous paid time off / annual growth budget


• 100% remote from any location with flexible hours


• Home office set up / co-working membership allowance


• Private healthcare in selected countries

Scroll is proud to be an equal opportunity workplace. We are committed to equal employment opportunities regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, or Veteran status. If you have a disability or special need, please let us know and we’ll do our best to accommodate.