Senior Golang Engineer - Arithmetization

Our mission is to unlock the collaborative power of communities by making Web3 universally easy to use, access, and build on.

Working with Consensys puts you at the forefront of an evolving paradigm, transforming our society for the better. We fundamentally believe blockchain is the next generation of technology that can lay the foundation for a more just and equitable society. 

Blockchain tech is just over 10 years old. Ethereum itself is still a toddler and we’re far from reaching our full potential. You’ll get to work on the tools, infrastructure, and apps that scale these platforms to billions of users. 

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 entrepreneurs and technologists that reaches the edge of our ecosystem. Consensys alumni have moved on to become tech entrepreneurs, CEOs, and team leads at tech companies. 

About Arithmetization

The 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.

Consensys is an equal opportunity employer. We encourage people from all backgrounds to apply. We are committed to ensuring that our technology is made available and accessible to everyone. 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/).