We are looking for a zero-knowledge circuit engineer to help build and optimize our implementation of the EVM within a zero-knowledge circuit (the zkEVM). You will work alongside the applied ZKP team from the Ethereum Foundation to develop open source code to provide succinct validity proofs for EVM execution. This is a critical piece of our mission to build a fully EVM-compatible zkRollup.

Your day-to-day work will involve writing and testing pieces of the zkEVM system, contributing to our Rust-based development tooling, and optimizing the zkEVM circuits for performance. We are looking for someone with either prior experience developing ZKP circuits or extremely strong problem-solving / engineering fundamentals to ramp up quickly in this cutting-edge domain. The ideal candidate will be able to contribute correct circuit code while working in a rapidly evolving open source ecosystem.

Job Duties

Implement EVM opcodes and subcomponents of the zkEVM circuits.

Optimize performance of the zkEVM circuits

Coming up with and iterating on novel ideas to improve circuit performance

Directly testing or creating developer tooling to ensure correctness of our circuits.

Qualifications

Strong background in math, cryptography, or related areas (most of the ZKP team holds PhDs, but no formal academic degree is required).

Proficiency in Rust, C++, Golang, or Python. We work primarily in Rust, but prior experience with this language is not mandatory.

Strong problem-solving skills and interest in zero-knowledge proofs.

Prior experience with (physical) chip design, low level optimization of cryptographic code, or zero-knowledge proofs is a plus!

Benefits

Work from anywhere with flexible hours

Generous paid time off

Home office set up

Annual growth budget

Coworking membership allowance

Private healthcare in selected countries

Competitive salary package