Job Description
Summary
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.
- 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
