Protocol Labs is hiring a

Rust Cryptography Engineer for Lurk

About Lurk Lab

Lurk Lab is an entity within Protocol Labs that is building Lurk (https://github.com/lurk-lang), a Turing-complete programming language for recursive SNARKs. Lurk implements a minimal Lisp whose program executions can be proven in zero-knowledge, yielding succinct proofs which are concretely small and fast to verify. Lurk uses a Rust implementation (https://github.com/lurk-lang/lurk-rs) for expression evaluation, proving, and verification, with Nova (https://github.com/microsoft/Nova/) as its proving backend. Because Lurk is Turing-complete, it can be used to make and prove arbitrary computational claims (within resource limits).

A “Rust Cryptography Engineer for Lurk” will support the development of the Lurk programming language, including core language features and libraries. The ideal candidate for this job will have experience writing zk-proofs or zk-proof adjacent software in Rust.

Job Responsibilities...

• Work closely with the current Lurk engineering team, a technical program manager, and core collaborators to support the growth of the language
• Invest significant time in learning and understanding the current Lurk language and understanding its trajectory
• Maintain and develop the code base
• As needed:
• Write Lurk circuits in Rust
• Support and improve Nova integration and other proving backends
• Work directly in or with forks of external repositories on which Lurk depends (, , )
• Author new libraries to improve manual and automated creation of efficient circuits/witnesses
• Engage with research literature and researchers to ensure the correct deployment of new technologies

You might be a good fit for this job if you...

• are excited by cutting-edge cryptography
• have experience coding cryptographic circuits
• love working in Rust
• have been a part of open source collaborations across organizations and repositories
• are familiar with the landscape and technology of zk-SNARKs
• grok why a Turing-complete language for recursive zk-SNARKs is significant
• are familiar with one or more SNARK proving systems (Lurk currently supports Groth16 and will soon support Nova proofs)
• want to turn cryptography research into working tech

Apply Now: