powdr is a language and compiler framework designed to aid development of zkVMs and ZK proof generation. It consists of a modular stack with an architecture that is agnostic to both frontend languages and backend ZK proof systems. powdr is fully FOSS and built in the open.
For more information, see the docs and source code.
Please email CV, Github, or any relevant info to [email protected].
In this role, the tasks may include but are not limited to:
- Write optimized powdr code for accelerated primitives.
- Extend powdr's standard library.
- Research & integrate new ZK proof systems.
- Help design the low level constraint language / arithmetization.
- Optimize backend integration.
- Familiarity with ZK circuits or proof systems.
- Proficiency in Rust - or proficiency in another systems language and willingness to learn/write Rust.
- Bonus: familiarity with VMs/zkVMs, programming languages, arithmetizations, arguments, proof recursion.
- You value collaboration and clear communication.
- You are able to perform independently and pro-actively.
- You have a security & performance mindset.
powdr labs was founded by Christian Reitwiessner (creator of Solidity and former Ethereum Foundation's Solidity team lead), Leo Alt (former Ethereum Foundation's Formal Verification team lead and Solidity core dev), and Thibaut Schaeffer (former ZoKrates' lead and maintainer).
You will join a small technical team of fans of the technology they are using and building, who have a lot of fun solving puzzles.
- Remote, preferably EU timezone.
- Bonus: Berlin.