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
What We Do
Serotonin is a breakthrough marketing firm and product studio for transformative technologies. We bring breakthrough technologies to market and builds ecosystems around them. With a team of former executives from ConsenSys, Chainlink, Bridgewater Associates, General Assembly, and more, Serotonin partners with top businesses and entrepreneurs on brand positioning, business partnerships, media relations, content, product marketing, and go-to-market strategy. We combine expertise in financial services, digital assets, and decentralized tech with data-driven methodology to ensure our partners’ marketing and PR is executed flawlessly, driving step-function growth.
