Job Description:

We are seeking a skilled and passionate Core Zero-Knowledge (ZK) Engineer to join our team in building and implementing zero-knowledge protocols, circuits, and provers for a zk-EVM (Zero-Knowledge Ethereum Virtual Machine). As a Core ZK Engineer, you will play a key role in pushing the boundaries of blockchain scalability and computation delegation, and performance by crafting cutting-edge cryptographic solutions that power ZK rollups and other decentralized applications.

Your work will focus on developing and optimizing zero-knowledge circuits and protocols to create an efficient, secure, and decentralized zk-EVM. If you are excited about the intersection of cryptography, blockchain, and Ethereum's technical ecosystem, we want to hear from you!

Responsibilities:

- Help to refine the zk-EVM structure to ensure scalability, correctness, and Ethereum compatibility.

- Build and optimize ZK proving systems, ensuring efficient performance and reduced computational overhead.

- Collaborate with researchers and engineers to design and implement cutting-edge cryptographic protocols.

- Ensure security and correctness of all ZK implementations, rigorously testing and auditing circuits, protocols, and provers.

- Contribute to the development of supporting libraries and tooling to enhance ZK development.

- Stay up-to-date with advancements in cryptography, Ethereum's ecosystem, and zero-knowledge proofs.

- Participate in design decisions and code reviews for zk-EVM components.

- Work closely with product teams to ensure your implementations meet the functional and performance requirements of the zk-EVM.

Requirements

Technical Skills:

- Deep understanding of cryptographic principle, SNARK protocols, polynomial commitments, lookup protocols and the underlying mathematical concepts

- Hands-on experience designing and implementing ZK circuits and/or experience maintaining circuit-design tools.

- Familiarity with all the mathematical and cryptographic concepts used in ZK: finite fields, polynomials, hash functions, error correcting codes.

- Strong programming skills in languages like Rust, C++, or Go; experience with Solidity is a plus.

- Familiarity with Ethereum, the EVM and Layer-2 scaling solutions.

- Experience optimizing complex computations, either on CPU, GPU, FPGA

General Skills:

- Strong problem-solving skills and attention to detail, with a focus on achieving correctness, soundness and efficiency in ZK implementations.

- Ability to challenge his own and his peers solutions

- Ability to write clean, maintainable, and well-documented code.

- Experience working in a collaborative environment using Git, CI/CD pipelines

- Experience with in-production code

Preferred Qualifications:

- Advanced degree in Mathematics, Computer Science, Cryptography, or related field.

- Published research or contributions to open-source zero-knowledge proof or cryptographic projects.

- Experiences working on ZK projects or L2 projects

- Contributions to cryptographic libraries or tools

If you are passionate about zero-knowledge cryptography and excited to shape the future of Ethereum scalability and privacy, we encourage you to apply and join our team!

Don't meet all the requirements? Don't sweat it. We’re passionate about building a diverse team of humans and as such, if you think you've got what it takes for our chaotic-but-fun, remote-friendly, start-up environment—apply anyway, detailing your relevant transferable skills in your cover letter. While we have a pretty good idea of what we need, we're ready for you to challenge our thinking on who needs to be in this role.

It is a requirement of employment in this position that applicants will be required to submit to background checks including but not limited to employment, education and criminal record checks. Further details will be provided to applicants that successfully meet the criteria for the position as determined by the company in its sole discretion. By submitting an application for employment, you are acknowledging and consenting to this requirement.

The salary range for US-based candidates only will be determined throughout the interview process depending on experience and skills.

US pay range (not including bonus, equity or other benefits)

$168,000—$187,000 USD

Core ZK Engineer - Linea

Anywhere in the world

Remote

Mid-level

Consensys