Specialism: ZK Proofs

Project: Our client is a team driven by a single mission: to advance personal freedom for all by building a credibly neutral, fully open-source technology stack and network on top of Ethereum. Owned and governed by its community, the company uses advanced cryptography called zero-knowledge proofs to scale Ethereum infinitely without compromising security or decentralization. With a world-class team, a large community of supporters, and significant funding, they have the resources to accomplish their mission and accelerate the ongoing financial revolution.

Founded by seasoned software architects and backed by top-tier investors, the company is focused on scaling Ethereum with zero-knowledge proofs, believing this is the most viable technology for mainstream adoption of public blockchains. Their Layer 2 zkEVM solution, designed to scale blockchains like the internet, has been in production since Summer 2020 and makes it easy for EVM projects to take advantage of high-speed, low-cost transactions with the same security guarantees as Ethereum. Over 200 ecosystem projects across various sectors have registered their interest in deploying on their platform.

Key Skills: LLVM, MLIR, LLVM IR-level, C++

Location: Remote

Role Detail: We are seeking a Senior Compiler Engineer who will be responsible for implementing LLVM-based compilers from Solidity, Vyper, and other languages to zkSync EraVM bytecode. Your primary focus will be on independently conducting research, designing, implementing, and documenting solutions in your area of ownership. Key responsibilities include migrating the zkSync EraVM back-end to the latest version of the ISA, optimizing the back-end through better selection patterns, ISA utilization, and peephole passes, and tuning the optimizer for the unique requirements of zkSync EraVM. You will also work on front-end optimizations to improve the efficiency of analyses and transformations, implement debug information and debugger support, integrate profiler support, and develop the binary format and linker integration, eventually migrating from the custom Rust linker to the LLVM linker.

Requirements:

• 5+ years of experience working on projects using LLVM or on LLVM itself.
• Demonstrated knowledge of LLVM in breadth/depth.
• Experience in MLIR or LLVM IR-level optimization implementations.
• Proficiency in writing maintainable code in modern C++.
• Ability to deliver results with no supervision.
• Strong critical thinking abilities and proactive approach to communicating concerns or identifying improvement areas.
• A deep understanding of the intricate relationship between programming language design and compiler implementation (we expect it to be true with respect to the very language you program in).