Scroll.io is hiring a

Web3 ZK Research Engineer

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.