Role overview
About Vac
Vacbuildspublic good protocolsfor the decentralized web.
We do applied research based on which we build protocols, libraries and publications.
This role is within the Vac Nescience unit, which developsNescienceA zkVM leveraging hiding properties.
The role
In this role, you will be responsible implementing and analysing components of zero knowledge argument systems and architectures for private computation.
The ideal candidate should be well-versed in zero-knowledge circuits written in Rust, with the ability to adapt to evolving research needs.
Your responsibilities will include implementing zero-knowledge circuits and writing comprehensive specifications.
Additionally, your role will involve measuring the performance of circuits, while also possessing the skills to debug and optimize as needed.
Join us in pushing the boundaries of private computation technology and contribute to groundbreaking advancements in the field of zkVMs.
What you'll work on
- Implement and analyze components of ZK argument systems and architectures for private computation.
- Write specifications and communicate analysis results through write-ups.
- Break down complex problems, and know what can and what can’t be dealt with later.
- Measure performance of and debug circuits.
You ideally will have
- Very strong engineering background
- Very strong Rust skills
- Experience in implementing components of zero-knowledge argument systems and related technologies (zk-SNARK, circom, Nova, Plonk/Halo2, zk-STARK)
- Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers
- Experience in, and passion for, blockchain technology.
- A strong alignment to our principles.