Hybrid Senior Golang Engineer - Arithmetization Senior Golang Engineer - Arithmetization

Consensys is the leading blockchain and web3 software company founded by Joe Lubin, CEO of Consensys and Co-Founder of Ethereum. Since 2014, Consensys has been at the forefront of innovation, pioneering technological developments within the web3 ecosystem.Through our product suite, including the MetaMask platform, Infura, Linea, Diligence, and our NFT toolkit Phosphor, we have become the trusted collaborator for users, creators, and developers on their path to build and belong in the world they want to see.Whether building a dapp, an NFT collection, a portfolio, or a better future, the instinct to build is universal. Consensys inspires and champions the builder instinct in everyone by making web3 universally easy to use and develop on.Our mission is to unlock the collaborative power of communities by making the decentralized web universally easy to access, use, and build on.You’ll get to work on the tools, infrastructure, and apps that scale these platforms to onboard one billion participants and 5 million developers. You’ll be constantly exposed to new concepts, ideas, and frameworks from your peers, and as you work on different projects — challenging you to stay at the top of your game. You’ll join a network of builders that reaches the edge of our ecosystem. Consensys alumni have moved on to become tech entrepreneurs, CEOs, and team leads at tech companies.About ArithmetizationThe arithmetization team provides the constraint system underlying Linea’s zkEVM, the compiler which converts high level constraints to polynomial relations and the trace building and expansion tools. (Compiled) constraints and (expanded) traces are the inputs for producing cryptographic proofs of EVM execution. As such we work in close collaboration with the prover team.What You’ll Do

• Help Linea scale by optimizing trace production and complex trace manipulations
• Help build a well tested, versatile and efficient constraint compiler and trace manipulation tool in Go
• Use your Go skills to port existing functionalities of our current constraint compiler / trace expander to Go
• Use your knowledge of compilers to enhance our constraints compiler
• Augment its underlying DSL (e.g. by adding new cryptographic primitives)
• Add optimizations (of the output constraint system, trace expansions, type system, …)
• Help us work towards building a field agnostic zkEVM (e.g. by building high level “field agnostic” primities)
• Work in close collaboration with the arithmetization and prover teams

Would be great if you brought this to the role

• Experience working with compilers
• Established Golang skills
• Strong understanding of blockchain technology and the zkEVM layer 2 protocol.
• Strong problem-solving skills and ability to think creatively.
• Strong project management skills and ability to work independently and manage multiple projects simultaneously.
• Strong communication and collaboration skills.
• A bachelor's degree in Computer Science or a related field.
• Experience in blockchain development is a plus
• Familiarity with zk-SNARKs or related zero-knowledge proof systems is a plus.

Don't meet all the requirements? Don't sweat it. We’re passionate about building a diverse team of humans and as such, if you think you've got what it takes for our chaotic-but-fun, remote-friendly, start-up environment—apply anyway, detailing your relevant transferable skills in your cover letter. While we have a pretty good idea of what we need, we're ready for you to challenge our thinking on who needs to be in this role.The salary range for US-based candidates only will be determined throughout the interview process depending on experience and skills.US pay range (not including bonus, equity or other benefits)$122,000—$198,000 USDIn the rapidly evolving Web3 space, we believe that everyone is a builder. This expansive paradigm requires a range of backgrounds, talents, skills, and experiences to influence and shape the future. At Consensys, this diversity fuels our ability to shift control and redefine the realm of possibility. We are committed to ensuring that our technology empowers people and communities with economic and political agency through decentralized technologies. We welcome the range of perspectives and differences and celebrate them. We're excited to see how your unique skills as a builder can contribute to our vision, drive innovation, and help us shape a more inclusive Web3.Consensys is an equal opportunity employer. All employment decisions are made without regard to race, color, national origin, ancestry, sex, gender, gender identity or expression, sexual orientation, age, genetic information, religion, disability, medical condition, pregnancy, marital status, family status, veteran status, or any other characteristic protected by law. Consensys is aware of fraudulent recruitment practices and we encourage all applicants to review our best practices to protect yourself which can be found (https://consensys.io/careers/best-practices-to-avoid-recruitment-fraud/).