Rust Jobs for Rustaceans

About the Role
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.

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.
• Deep understanding of blockchain technologies and scaling solutions.
• Sufficient background knowledge of math and cryptography that can help you quickly learn latest ZK proof systems.

Preferred Requirements:

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

Skills

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