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.