Senior Cryptography Engineer – REMOTE

Irreducible
  • Remote
  • Post Date: December 12, 2024
    • 20578
  • Applications 0
  • Views 5
Job Overview

logoCome join Irreducible as we accelerate the ZK revolution by supporting web3 networks with reliable and cost-efficient proof generation. We’re a high-performance cryptography startup (with an exciting hardware twist) looking for a talented Compiler Engineer. A more technical description of what we do is below!
About the role:As a Cryptographic Software Engineer at Irreducible, you will contribute to internal and open-source zk-SNARK proving codebases, analyze their performance, and propose and implement optimizations.Your days may include to modifying and refactoring the codebases to utilize hardware coprocessors, reading and implementing zero-knowledge cryptography research, reverse engineering high-level algorithms from open-source software and smart contracts, and designing or analyzing arithmetic constraint systems for verifiable programs.Team members work closely with the FPGA engineers to specify algorithms implemented in hardware, and with the systems software engineers to interface efficiently with hardware acceleration units.
Necessary Qualifications:Strong knowledge of Rust and/or C++A deep passion for technology, software development, and secure computingDemonstrated ability to deliver software projects from inception to completionUnderstanding of algorithm design and computer architectureExperience writing multi-threaded, concurrent softwareAbility to think across layers of abstractionsMathematical aptitude, especially in linear and abstract algebraExperienced and well-versed in Linux, version control, scripting, and build systemsUnderstanding of technology tradeoffs and a pragmatic approach to problem solvingStrong written and verbal communications skills
Bonus Qualifications:Experience modifying and contributing to open-source codebasesExperience implementing high-performance software and distributed systemsExperience implementing compilersExperience implementing low-level cryptographic primitivesExperience programming embedded systemsExperience with computer algebra systems such as SageMathUnderstanding of mathematical and cryptographic proof techniquesUnderstanding of cryptographic proof systems, zero-knowledge cryptography, ellipticcurve cryptography, and symmetric cryptography
Locations supported:We’re looking for candidates who are located between the USA East Coast and Central Europe time zones.We are also in the process of opening an office in Berlin, and are excited to support relocation, on a case by case basis. Once our office is open, we plan to bring the whole company together for ~one week per quarter in Berlin.We have a globally distributed company, and ensuring the team works in a cohesive way is our main goal.
About us:We’re building out a high-performance, cost-efficient compute stack for advanced cryptographic proofs, specifically zk-SNARKs. Verifiable computing with zk-SNARKs is taking off as a solution to the scalability and privacy limitations that today’s blockchains suffer from. A new wave of blockchain protocols that use zk-SNARKs to prove smart contract executions, such as Polygon zkEVM, Starknet, and zkSync, are already in production. We believe there is a big market opportunity to generate proofs for these networks at scale in a cost-effective way [1]. There are lots of interesting performance engineering challenges we need to solve to keep up with the maximum device throughput.
We take the approach of co-designing hardware and software systems to accelerate SNARK generation end-to-end. Our first-generation tech stack uses FPGA accelerators running custom digital logic tailor-made for our use case [2].
We also conduct cryptography research to identify computationally efficient algorithms for verifiable computing. These research efforts produced a novel cryptographic construction based on towers of binary fields called Binius [3] [4], which we are currently developing into a production-grade system.
Our team has cross-domain expertise and includes hardware designers, low-level systems software engineers, cryptography engineers, and data center specialists, several of whom worked in HFT previously.
[1] https://www.paradigm.xyz/2022/04/zk-hardware[2] https://www.ulvetanna.io/news/fpga-architecture-for-goldilocks-ntt[3] https://www.ulvetanna.io/news/binius-hardware-optimized-snark[4] https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs[5] https://www.ulvetanna.io/news/introducing-ulvetanna
NOTE: We can not sponsor visas of any kind at this time.We are committed to creating a diverse and inclusive workplace where talented individuals can thrive and grow. We value the different perspectives, experiences, and backgrounds that each person brings to our team. Even if you don’t fit 100% of the job’s necessary qualifications, we’d still love to hear from you.
Know someone who could be a fit? Feel free to pass along a link to the role: https://jobs.ashbyhq.com/irreducible/6f9ff79b-689d-472e-b153-3a693fcef00b
To all recruitment agencies: Irreducible does not accept agency resumes. Please do not forward resumes to our jobs alias, Irreducible employees, or any other organisation location. Irreducible is not responsible for any fees related to unsolicited resumes. Please read our full policy here.

Job Detail
Shortlist Never pay anyone for job application test or interview.

Related Jobs (2845)

Safety Information

  • Safety Tips For Candidate

    DYOR.

  • Safety Tips For Candidate

    Always check the employer\'s offer.