Zero-Knowledge Cryptography Engineer at Salus Security

Job Description

Key Responsibilities

• Develop and maintain zero-knowledge circuits for blockchain projects, focusing on scalability and performance improvements.
• Conduct thorough audits of existing ZK circuits to identify vulnerabilities, optimize code, and ensure compliance with cryptographic standards.
• Collaborate with developers, researchers, and product managers to define requirements and implement ZK solutions in real-world applications.
• Research and evaluate emerging ZK technologies, frameworks, and tools to stay updated with industry advancements and best practices.
• Document technical processes, circuit designs, and audit findings to support team knowledge sharing and future development efforts.
• Participate in code reviews and debugging sessions to enhance the reliability and security of ZK circuit implementations.
• Engage in the design and testing of cryptographic protocols to ensure they meet the needs of privacy-focused blockchain systems.
• Provide technical guidance and mentorship to junior team members in ZK circuit development and auditing practices.
• Contribute to the development of open-source ZK tools and libraries to foster community collaboration and innovation.
• Monitor and analyze the performance of ZK circuits in production environments to identify areas for improvement and optimization.

Job Requirements

• Proven experience in developing and auditing zero-knowledge circuits, with a strong background in cryptographic protocols and blockchain technology.
• Advanced understanding of ZK technology stacks, including zk-SNARKs, zk-STARKs, and other zero-knowledge proof systems.
• Proficiency in programming languages such as Solidity, Rust, Python, or C++ for circuit development and integration.
• Knowledge of blockchain platforms like Ethereum, Zcash, or Polygon, and their respective ZK implementations.
• Strong analytical skills to evaluate complex systems and identify potential security risks or performance bottlenecks.
• Excellent problem-solving abilities to troubleshoot technical challenges in ZK circuit development and auditing processes.
• Ability to work independently and collaboratively in a fast-paced, dynamic environment with tight deadlines.
• Excellent communication skills to convey technical concepts to non-technical stakeholders and team members.
• Experience with tools such as Circom, snarkJS, or Prover for circuit design, compilation, and verification.
• Knowledge of cryptographic libraries and frameworks, including Libsnark, Bellman, or Halo2, for implementing ZK solutions.
• Strong attention to detail to ensure the accuracy and reliability of ZK circuit designs and audit results.
• Ability to document technical processes and findings clearly and concisely for internal and external stakeholders.
• Experience with blockchain development lifecycle, including testing, deployment, and maintenance of ZK-enabled applications.
• Knowledge of privacy-preserving technologies and their applications in decentralized systems and financial services.
• Excellent time management skills to balance multiple projects and deliver high-quality work within specified timelines.
• Ability to adapt to evolving technologies and methodologies in the ZK and blockchain space.
• Strong teamwork and collaboration skills to work effectively with cross-functional teams and external partners.
• Experience with DevOps practices and CI/CD pipelines for deploying and maintaining ZK circuit solutions.
• Knowledge of smart contract security best practices and their application in ZK-enabled systems.