Job Description
Summary
Key responsibilities
- Research, design and implement proof systems for remote auditing schemes
- Implement zk friendly hashing functions
- Familiarity with state of the art proving backends such as arkworks, bellman, etc…
- Write specifications and design documentation
- Document and communicate research findings to the wider community
- Perform security analysis, measure performance of and debug circuits
You ideally will have
- Very strong academic or engineering background (PhD-level or equivalent in industry); relevant research experience
- Experience with low level/strongly typed languages (C/C++/Go/Rust or Java/C#)
- Familiarity w/ folding schemes & familiarity with different commitment schemes (KZG, IPA, FRI, etc.)
- Experience with Open Source software
- Deep understanding of Zero-Knowledge proof systems and corresponding tooling
- 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
Bonus points if
- Experience and interest in decentralized storage and p2p technologies
- Experience designing and implementing zk-friendly hashing functions
- Experience with WebAssembly tooling
Skills
- C++
- Communications Skills
- Rust