Cryptographic Engineer

Telos’ core mission is to create a massively scalable network of decentralized applications that enable user data protection and regulator compliance.

Guided by these principles, we are deeply involved in research and development in the zero-knowledge field and hw accelerated provable computation, driving the evolution of blockchain technology towards its widespread global adoption.

The Role:

We’re looking for a skilled and passionate cryptographic engineer to join the development of our cutting-edge technology in the blockchain space.

You will be focused on implementing and contributing to the design of Zero Knowledge and SNARK-based protocols that will shape the future of blockchain technology.

As an integral part of the foundational ZK team, you will work with experts in cryptography, decentralized protocols, and software engineering. You will play a pivotal role within a tight-knit team characterized by a culture of collaboration and problem-solving across various technical domains.

Responsibilities:

• Research, design, and implement zero-knowledge and SNARK-based private and provable computation protocols.
• Design and implement zero-knowledge circuits with a strong focus on optimizations.
• Perform thorough code reviews, actively identify possible vulnerabilities, and contribute to enhancing the system’s overall security.
• Participate in technical discussions, leveraging your expertise to guide Zero-Knowledge circuit design, implementation, and optimization.
• Stay updated on the latest developments in zero-knowledge proof systems, cryptographic techniques, and advancements in blockchain technology.

Requirements:

• 3+ years of software engineering experience.
• Strong experience with Rust
• Deep understanding of one of the following Zero-Knowledge proof systems ( Plonky2, Plonky3, Halo2, zk-STARK) and of circuit design.
• Foundation in mathematics and cryptography.
• Experience with optimization of cryptographic code.
• Knowledge of blockchain systems.

Nice to have:

• Proficiency in languages like C, C++, and Go.
• Theoretical and practical experience with zk(E)VMs (Risc0, Polygon zkEVM, Scroll, Sp1, etc…).
• Experience in low-level algorithm optimizations (eg. leveraging assembly code and GPUs specific implementations).