About p0xeidon labs p0xeidon labs, a group developing technologies behind projects including Manta Network, delivers privacy for web3 applications and decentralized assets through use of zero-knowledge proofs. The project is built in accordance with first principles, by applying cutting-edge cryptographic constructions such as zkSNARKs to design and deploy protocols with high performance and strong privacy/security guarantees.

Manta Network is supported by leading investors including Polychain, Multicoin, Binance, CoinFund, and Parafi. The founding team has extensive experience in the blockchain space and come from educational institutions including Harvard and MIT, and leading web3 projects such as Algorand. If you are excited about building privacy-preserving solutions using zero-knowledge proofs, building blockchain applications, or learning about Polkadot ecosystems, then we want to hear from you.

We are hiring ZK Compiler Engineer for OpenZL (https://github.com/openzklib/openzl/blob/main/proposal.md).

OpenZL is a suite of software tools for building ZK applications. At its core sits ECLAIR, the circuit description language, which allows developers to build proof-system agnostic applications and leverage custom optimizations at any level of their program. ECLAIR is an embedded domain specific language in Rust and features procedural macros heavily in its design to reduce boilerplate and create generic code. OpenZL also features backends for cryptographic libraries that implement ZK proof systems, and other cryptographic protocols that plug into ECLAIR. Building these macros and cryptographic backends requires advanced knowledge and experience with the Rust compiler and its macro ecosystem but also experience with generics, traits, and the best-practices of Rust interface design to make all of these pieces work together.

Who You Are Demonstrated experience in language design, compiler/runtime architecture Solid background in programing language theory and practice, i.e. understanding static analysis, abstract interpretation, etc. Understanding of foundational Cryptography, a.k.a. encryption, signature schemes, key encapsulation, and key exchange (plus) Familiarity with zero-knowledge-proof cryptography, understanding of popular constructions like Groth16, Plonk, Halo2, or Nova (plus) Experience with formal verification, SMT solvers

What You’ll Be Working On Design and implement a significant part of the compiler from front-end language to Intermediate Representation to zero-knowledge-proof circuit Design and implement the Embedded DSL (ECLAIR) for zero-knowledge-proof circuit description in Rust (using procedural macros) Design and implement compilation passes for ECLAIR including optimization and measurement tools Building syntax and developer tooling for this macro language Life at p0xeidon labs

p0xeidon labs is comprised of a diverse and global group of core contributors. We offer a friendly, flexible work environment that provides full-remote opportunities. Our team is full of bright and motivated minds. Despite our geographical diversity, we host events both virtual and physical to promote a strong culture. We also pride ourselves on our ability to move fast as a cohesive team.

Additional Benefits with p0xeidon labs

• Competitive compensation
• Unlimited PTO
• Token allocation
• Remote-first
• Inclusive team
• Education opportunites
• Conference travel
• Many other benefits!