The Senior ZK Rust Engineer will architect and develop Bitlayer's ZK proof system for Bitcoin, optimize performance, and guide junior engineers.
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
Blockchain Technologies
C++
Halo2
Plonky2
Plonky3
Risczero
Rust
Sp1
Zk Proof Systems
Similar Jobs
Retail • Sports
Design and build software solutions, perform analysis, support team initiatives, and contribute to software maintenance and development while mentoring junior members.
Top Skills:
.NetBackstageJavaJavaScriptPython
Information Technology • Software
The candidate will lead the design and development of embedded systems for radiation detection, collaborating with cross-functional teams and mentoring junior engineers.
Top Skills:
CContinuous DevelopmentContinuous IntegrationEmbedded SystemsFpga DesignHardware-Software IntegrationJavaMicrocontroller ProgrammingPythonReal Time Operating Systems
Artificial Intelligence • Healthtech • Analytics • Biotech
The Field Engineer I will perform installations, troubleshooting, and repairs on medical equipment, assist senior engineers, and manage customer relations.
Top Skills:
Active DirectoryInformation TechnologyMicrosoft CertificationsNetworkingSQL Server
What you need to know about the Boston Tech Scene
Boston is a powerhouse for technology innovation thanks to world-class research universities like MIT and Harvard and a robust pipeline of venture capital investment. Host to the first telephone call and one of the first general-purpose computers ever put into use, Boston is now a hub for biotechnology, robotics and artificial intelligence — though it’s also home to several B2B software giants. So it’s no surprise that the city consistently ranks among the greatest startup ecosystems in the world.
Key Facts About Boston Tech
- Number of Tech Workers: 269,000; 9.4% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Thermo Fisher Scientific, Toast, Klaviyo, HubSpot, DraftKings
- Key Industries: Artificial intelligence, biotechnology, robotics, software, aerospace
- Funding Landscape: $15.7 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Summit Partners, Volition Capital, Bain Capital Ventures, MassVentures, Highland Capital Partners
- Research Centers and Universities: MIT, Harvard University, Boston College, Tufts University, Boston University, Northeastern University, Smithsonian Astrophysical Observatory, National Bureau of Economic Research, Broad Institute, Lowell Center for Space Science & Technology, National Emerging Infectious Diseases Laboratories
