ZK Research Engineer
atScroll.io
Jul 01
Scroll is a globally distributed team focused on improving Ethereum while maintaining decentralization and transparency. As a zkEVM-based zkRollup on Ethereum, Scroll provides native compatibility for existing Ethereum applications and tools. The platform aims to provide the best experience for developers and users through scalability, EVM equivalence, and security. Scroll's vision and values are centered around empowering humanity, building in the open with the community, and fighting for decentralization and censorship resistance. Scroll is looking for values-aligned individuals to help them become the most developer- and user-friendly scaling solution for Ethereum. To learn more about their mission, technical challenges, and available roles, visit their website, Twitter, Discord, or jobs page.
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:
- The GKR prover acceleration.
- ZKVM infrastructure optimization, and opcode implementation.
- Recursive prover design and implementation.
- 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.
Listed in: Crypto Jobs, Remote Web3 Jobs, Web3 Crypto Jobs, Research Web3 Jobs, Developer Web3 Jobs, Rust Crypto Jobs, ZK Crypto Jobs, Full Time Web3 Jobs.
Let employer know that you found this job on CryptoJobsList. This helps us get more companies to post web3 jobs here!