Researcher/Engineer (Formal Verification)

Ethereum Foundation • Remote

Last updated 4 weeks ago

Ethereum Foundation

to see connections at this company

Farcaster

Polychain Capital

Web3

View

Job description

Role summary

As a member of the Protocol Snarkification team, you will work towards snarkifying Ethereum by working to specify and verify the core cryptographic components of proof systems and their implementation in the Ethereum ecosystem.

About the Ethereum Foundation

The Ethereum Foundation (EF) is a global non-profit organization dedicated to assisting the Ethereum ecosystem in realizing the potential of Ethereum as an open, neutral infrastructure for the world. In practice, we dynamically allocate resources to critical projects when needed and step back when others can take the lead.

About the team

The Protocol Snarkification team's mission is to help integrate cryptographic proof systems into the core of Ethereum, with a particular focus on specifying and verifying the cryptographic protocols and their implementation. This is a research-oriented team that sits alongside other Protocols teams (particularly the Cryptography and zkEVM teams), working towards Ethereum’s snarkification, and which is intended to remain flexible to the needs of Ethereum’s development whilst improving the way that high assurance cryptography is delivered in the Ethereum ecosystem.

The team currently oversees the zkEVM formal verification project, which includes the formal verification of zkVM circuits, the development of formally verified executable specifications of proof systems, and the verification of implementations against these specifications. Many aspects of this work are representative of this team’s interests; for example, formalization of cryptography in Lean and (Lean-)MLIR for cryptography.

Key responsibilities

Key responsibilities would include a subset of the following, depending on your specific interests and expertise.

- Formalize cryptography that is used in Ethereum. This includes developing new specifications, maintaining libraries such as ArkLib, and working with external collaborators to verify optimizations and other implementation details which are used in practice.

Required skills and/or experience

Relevant academic and/or professional background. You should be able to evidence skills related to your future work at the EF; in particular, practical knowledge of cryptography and/or the implementation stack, as well as proof assistants (Lean is preferred) and other formal verification tools applied to cryptography. Past contributions to open source projects is a plus.
Curiosity and a willingness to keep learning.
Excellent communication and collaboration skills. You should be able to communicate and collaborate with other teams at the EF as well as with external organisations.
The ability to work effectively as part of a team in a fully remote, distributed and asynchronous organization.
Interest in and familiarity with Ethereum as a whole. Although you might not work across the entire Ethereum stack, you should not feel like a fish out of water at Ethereum events.