Core ZK Engineer - Linea

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