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!
