Senior Rollup Prover Engineer

Taiko Labs is building the Taiko ZK-EVM: a layer-2 blockchain that scales Ethereum in a manner that emulates Ethereum as closely as possible - both technically and non-technically. Taiko ZK-EVM is an Ethereum-equivalent ZK-Rollup, scaling Ethereum by supporting all EVM opcodes in a layer-2 architecture that is decentralized, permission-less, and secure.

We are strong believers in zero-knowledge proofs. Our team consists of people that have been using ZKPs since 2018 and have built the first ZK-Rollup on Ethereum. We are looking to expand our team with more talented and determined individuals that share our goals.

We are looking for an experienced software engineer to join our ZK-EVM team and work on the ZK circuits. This work is at the core of executing the EVM within a ZK circuit and collaborates openly with others in the ecosystem, including the Ethereum Foundation.

Job Responsibilities:

  • Design, develop, and maintain high-performance backend services, focusing on ZK (Zero-Knowledge) and TEE (Trusted Execution Environment) functionalities.
  • Participate in system integration and deployment, leveraging Kubernetes to manage containerized applications.
  • Conduct code reviews, provide constructive feedback, and mentor team members to enhance their skills.
  • Troubleshoot system performance issues, optimizing response time and resource usage.
  • Apply best practices and design patterns to write clean, high-quality code.

Qualifications:

  • Strong proficiency in Rust with experience in backend and blockchain node development. In-depth understanding of blockchain systems and familiarity with common consensus protocols such as PoW, PoS, and BFT.
  • Familiarity with smart contracts, decentralized applications (dApps), and cross-chain communication.
  • Experience with Ethereum's ecosystem in ZK and TEE technologies, such as Plonky3, zkVM, and Intel SGX.
  • Practical experience with Docker and Kubernetes for deploying and managing containerized applications.
  • Strong problem-solving abilities, teamwork skills, and the capacity to thrive in a fast-paced environment.

Tech Stack:

  • Programming Languages: Rust, Solidity
  • ZK Technologies: zk-SNARKs (Groth16, Plonk), zk-STARKs (FRI), zkVM
  • TEE Technologies: Intel SGX/TDX, AWS Nitro, ARM TrustZone
  • Blockchain Technologies: Ethereum nodes (geth, reth), Smart Contracts (Solidity)
  • Containerization: Docker, Kubernetes

Benefits

The role is remote, offers competitive compensation (cash + equity), and an opportunity to help scale Ethereum - a technology and ecosystem that is changing the world.

How to Apply

Want to join our mission of bringing Ethereum to the masses? Email us at [Yue Wang](mailto:smtm@taiko.xyz).

- Include the role's title in your subject line.

- Please send along links that best showcase the relevant things you've built and done.