Summary

Key Responsibilities:

1. Architect and build Bitlayer's Bitcoin friendly ZK proof system.
2. Design and develop the protocol to verify ZK proof on Bitcoin.
3. Keep optimizing our proof system to deliver shorter proving time and lower capital cost.
4. Collaborate with other teams to integrate proof system into Bitlayer's layer 2 system.
5. Guide and train junior ZK engineers.

Key Requirements:

1. Strong programming skills in general languages such as Rust or C++.
2. Strong programming skills in Bitcoin script language.
3. Knowledge of state-of-the-art ZK proof system (Plonky2 / Plonky3 / Halo2 etc) and zkVM (RiscZero / SP1 etc).
4. Proficient in open source contribution - follow coding standards, write clean and maintainable code, and adhere to best practices.
5. Skilled in performance benchmarking, profiling and optimization of system level software.
6. Deep understanding of blockchain technologies and scaling solutions.
7. Sufficient background knowledge of math and cryptography that can help you quickly learn latest ZK proof systems.

Preferred Requirements:

1. Top tier papers in cryptography or blockchain field.
2. Experience in designing and building ZK rollup systems.
3. Experience in technical writing (publications, articles, twitter threads, etc).
4. The ability to give presentations in English.

Skills

• C++
• Communications Skills
• Cryptography
• Development
• Rust
• Software Engineering