Design and optimize a ZK proof system for Bitcoin Layer2, collaborating with teams and mentoring junior engineers in cryptographic innovations.
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.
- 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.
Top Skills
Bitcoin Script
C++
Halo2
Plonky2
Plonky3
Risczero
Rust
Sp1
Similar Jobs
Software • Defense
Provide technical support, troubleshoot issues, manage IT equipment, and assist users. Ensure efficient IT operations via maintenance, audits, and documentation.
Top Skills:
Google WorkspacemacOSSaas ToolsSlackWindows
.png)
Artificial Intelligence • Blockchain • Fintech • Financial Services • Cryptocurrency • NFT • Web3
As an Institutional RFP Associate, you will manage RFP responses, collaborate with cross-functional teams, and leverage AI tools to optimize workflows and ensure high-quality outputs for institutional clients.
Top Skills:
AIGenerative AiMl
Marketing Tech • Social Media • Software • Analytics • Business Intelligence
The Senior Corporate Counsel will review and negotiate agreements, support sales teams, mentor legal staff, and improve contract practices.
Top Skills:
Data Protection LawPrivacy Law
What you need to know about the Mumbai Tech Scene
From haggling for the best price at Chor Bazaar to the bustle of Crawford Market, the energy of Mumbai's traditional markets is a key part of the city's charm. And while these markets will always have their place, the city also boasts a thriving e-commerce scene, ranking among the largest in the region. Driven by online sales in everything from snacks to licensed sports merchandise to children's apparel, the local industry is worth billions, with companies actively recruiting to meet the demands of continued growth.
