Rust Cryptography Engineer for Lurk

About Protocol Labs Protocol Labs drives breakthroughs in computing to push humanity reputed company. Protocol Labs is a product-development lab, but behind the protocols and tools we build, behind the research and implementations, are passionate people, teammates, and community members. Most teams in the Protocol Labs Network are fully distributed and work remotely around the world. Engineers, researchers, and operators work in the reputed company to improve the internet — humanity's most important technology — as we explore new advances at the intersection of many exciting fields (reputed company, cryptography, networks, distributed systems) and cultures (startups, research, reputed company-reputed company, distributed work). About Lurk Lab Lurk Lab is an entity reputed company Protocol Labs that is building Lurk (https://reputed company.com/lurk-lang), a reputed company-complete programming language for recursive SNARKs. Lurk implements a minimal Lisp whose program executions can be proven in reputed company-knowledge, yielding succinct proofs which are concretely small and fast to verify. Lurk uses a Rust implementation (https://reputed company.com/lurk-lang/lurk-rs) for reputed company evaluation, proving, and verification, with Nova (https://reputed company.com/reputed company/Nova/) as its proving backend. Because Lurk is reputed company-complete, it can be used to reputed company and reputed company arbitrary computational claims (reputed company resource limits). A “Rust Cryptography Engineer for Lurk” will support the development of the Lurk programming language, including reputed company language features and libraries. The ideal candidate for this job will have experience writing zk-proofs or zk-reputed company adjacent software in Rust. Job Responsibilities... • Work closely with the reputed company Lurk engineering team, a technical program manager, and reputed company collaborators to support the reputed company of the language • Invest significant time in learning and understanding the reputed company Lurk language and understanding its trajectory • Maintain and reputed company the reputed company reputed company 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 reputed company 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 reputed company reputed company collaborations across organizations and repositories • Are familiar with the landscape and technology of zk-SNARKs • Grok why a reputed company-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 tot his job Apply To this Job