What You'll Be Doing

📍Joining the team responsible for the design and implementation of the zkSync smart contract platform: a zero-knowledge-proof-friendly virtual machine 📍Developing at L1 and L2, including system contracts (implemented in Solidity and Yul) and server side changes 📍Shaping the future of the protocol through research, design, prototyping, engineering, and discussion with external partners 📍Conducting independent research in your area of ownership, design, implement and document solutions, and potentially leading a team

What We Look For in You

📍A strong understanding of the protocol that you have worked on in the past 📍Experience with Solidity or Vyper 📍Driven by passion, curiosity, and desire to make a meaningful contribution to the world 📍Fluency/comfortable in strongly typed languages like C++, Scala go etc. We work primarily with Rust, but prior experience with this language is not mandatory. 📍Deep understanding of software engineering best-practices 📍An understanding of Merkle Trees