Zero Knowledge (ZK) Jobs

About the Company

Libre is focused on the design and development of a blockchain-based protocol to eliminate inefficiencies in legal, financial and operational workflows for private markets. Going beyond the simple concept of tokenization and enabling seamless access to private markets directly on-chain, regardless of the end-user platform and/or public network where the user is based

Libre’s product focus is to tokenise the funds on a blockchain infrastructure and enable future composability of the digital security assets with other institutional on-chain services e.g., collateralised lending and secondary trading.

About the role:

We are looking for an experienced Rust Engineer to join our team, working on cutting-edge projects. You will play a key role in designing, developing, and maintaining blockchain-based solutions that ensure stability, security, and scalability for our real-world asset tokenisation ecosystem. This is an exciting opportunity to work at the forefront of blockchain and financial technology, contributing to the future of tokenised assets.

What you are good at:

• Writing and reviewing high assurance code, tests, invariants and other deliverables for our protocol projects using industry best-practices
• Researching protocol design & architecture
• Conducting internal security audits with an emphasis on robust process, continuous learning and ownership
• Contributing and evolving our internal methodologies, coding standards, review methods and other standard operating procedures
• Contributing compelling and clear protocol documentation both in-code and in dedicated spaces both for private and public use
• Closely collaborating with members across various teams
• Community engagement via events, engineering blogs posts and social media channels
• Creating impactful communications that help drive decision making
• Helping identify market and technology opportunities

What you bring:

• 3+ years of experience in a professional engineering role
• 1+ years of experience in Rust development
  • Familiarity with behavioural, creational and structural patterns
  • Multi-threaded and async programming with tokio
  • Implementation of low-level encoding format, e.g. bit masking
  • Working with unsafe Rust is a plus
• 1+ years of experience in protocol design/architecture or system design
• Comfortable learning about and contributing to complex DeFi protocols that may involve understanding MEV, economic incentives, and designing complex financial models
• Ability to work efficiently in a remote environment
• Ability to effectively communicate, collaborate and connect with clients, partners and other third parties

Bonus Qualifications

• Background or interest in Zero-Knowledge Proofs. We are not looking for the scientific background, it would be ideal if you have worked with at least one of the following libraries/tools.
  • Arkworks
  • Circom
  • Halo2
  • RiscZero / Jolt
• Experience working with Substrate. Some aspects that will be particularly important for the development:
  • FRAME pallet development
  • Storage migration
  • Benchmarking
• Experience working with modifying EVM
• Knowledge of the storage layer of the blockchain stack. Understand the benefits of Merkle trees and how a proof is constructed

What we offer:

• Competitive salary and benefits package
• Opportunity to work on challenging and impactful projects
• Collaborative and supportive work environment
• Opportunities for professional growth and development