Summary

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

Skills

• C++
• Communications Skills
• Cryptography
• Development
• Software Engineering
• Team Collaboration