Job description

Our client is the first Bitcoin security-equivalent Layer2 solution based on BitVM approach. Their core objective is to address the trade-off between security and Turing completeness in Bitcoin Layer2s through cryptographic innovations and blockchain protocol engineering. This is intended to ultimately foster a prosperous Bitcoin ecosystem.

Operating in the blockchain and cryptocurrency space, providing secure infrastructure for the creation and management of decentralized digital assets. They specialize in developing solutions for transactions and asset management that prioritize privacy and security. By integrating advanced cryptographic protocols, the platform allows users to issue, transfer, and track digital assets, such as tokens or digital currencies, with a focus on scalability and efficiency. Additionally, they offer services that enable users to automate complex financial operations and manage assets across multiple blockchains seamlessly.

Key Responsibilities:

Architect and build Bitlayer's Bitcoin friendly ZK proof system.

Design and develop the protocol to verify ZK proof on Bitcoin.

Keep optimizing our proof system to deliver shorter proving time and lower capital cost.

Collaborate with other teams to integrate proof system into Bitlayer's layer 2 system.

Guide and train junior ZK engineers.

Key Requirements:

Strong programming skills in general languages such as Rust or C++.

Strong programming skills in Bitcoin script language.

Knowledge of state-of-the-art ZK proof system (Plonky2 / Plonky3 / Halo2 etc) and zkVM (RiscZero / SP1 etc).

Proficient in open source contribution - follow coding standards, write clean and maintainable code, and adhere to best practices.

Skilled in performance benchmarking, profiling and optimization of system level software.