16 jobs found

About the Role As our Senior Systems Engineer specializing in Rust, you will play a pivotal role in shaping our technology landscape. You will report directly to our VP of Engineering and work closely with our CTO. Your primary responsibilities will include designing, developing, and implementing system libraries in Rust, which will be complemented by C++ and Go. An active contributor to our GitHub repositories, you'll uphold best practices in software development and occasionally delve into compiler development, using tools like LLVM. Your role extends beyond technical expertise to facilitating cross-functional collaboration and strategic thinking, aiming to innovate and enhance our systems engineering continuously. Key Responsibilities Grasp the existing system architecture quickly for effective development and implementation Design, develop, and implement system libraries primarily in Rust, with a secondary focus on C++ and Go Develop and...

About the Role As our Senior Software Engineer (Full-Stack Blockchain), you will be pivotal in advancing our ZK layer. Your role will drive the development and deployment of our technology, ensuring we meet immediate technical goals while setting the stage for long-term success and industry leadership. Key Responsibilities Lead the development and launch of the full ZK stack and mainnet, enabling users to deploy ZK applications independently. • Develop and integrate the marketplace and our universal ZK layer, ensuring ease of use and language agnosticism. • Collaborate with cross-functional teams to drive demand and unlock various use cases for our universal ZK layer. • Ensure the technology stack remains up-to-date and capable of supporting complex network changes and deployments. Top Initiatives You’ll Own  (over the first 3-6 months) Launch the full ZK stack and mainnet, allowing for independent ZK app deployment. In partnership with our...

About the Role As our Staff Systems Engineer specializing in Rust, you will play a pivotal role in shaping our technology landscape. You will report directly to our VP of Engineering and work closely with our CTO. Your primary responsibilities will include designing, developing, and implementing system libraries in Rust, which will be complemented by C++ and Go. An active contributor to our GitHub repositories, you'll uphold best practices in software development and occasionally delve into compiler development, using tools like LLVM. Your role extends beyond technical expertise to facilitating cross-functional collaboration and strategic thinking, aiming to innovate and enhance our systems engineering continuously. Key Responsibilities Grasp the existing system architecture quickly for effective development and implementation Design, develop, and implement system libraries primarily in Rust, with a secondary focus on C++ and Go Develop and...

About Fermah Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side comprises GPUs and FPGAs. On the demand side, Fermah can generate proofs for any instance in which ZK is used. Fermah is bringing moon math to the masses. Fermah was founded by Dr. Vanishree Rao . She has been designing and building ZK for over 15 years and has a PhD in cryptography from UCLA. Our seed round was co-led by the a16z CSX fund and Lemniscap .  We are building a world-class team that values delivering results with excellence and empathy. Job Description  We are seeking a passionate Cryptography Engineer to work on cutting-edge cryptography protocols that we believe is the missing piece for ZK adoption. The engineering team at Fermah proudly operates in an environment of shared accountability and without hierarchy. As an early team member, you will help shape not only the protocol, but also who we are as...

As a Senior Infrastructure Engineer at Irreducible, you will develop systems for deploying software and firmware images to our bare metal server cluster and help manage our software development environments. Our production infrastructure includes connected FPGA-based high-performance compute servers, monitoring and logging services, blockchain network nodes, and API gateways, spanning both a bare-metal deployment and public cloud environments like AWS and GCP.  Infrastructure team members work closely with the hardware engineers and systems software engineers to specify the production requirements and build tools to empower the team to ship code to production securely, efficiently, and with full confidence and transparency. Being a self-starter is essential, as there are always a variety of challenges that need to be tackled. Your work will have a direct impact on our growth and success. Necessary Qualifications: Experienced and well-versed in Linux, version...

Role Summary As a senior software optimization engineer in our systems software team, you will have a direct impact on Irreducible’s success. You will design, implement and optimize our software stack that integrates our FPGA accelerators into cryptographic application code. This involves optimal management of memory and compute resources, detailed performance profiling, as well as modification and instrumentation of cryptography code.  To achieve this, you will work closely with our FPGA and cryptography engineers to codesign hardware-software interfaces, and with the infrastructure engineers to develop and deploy software to Irreducible’s bare metal server cluster. Necessary Qualifications Expertise and proven experience in performance optimization in any of Rust, C++ or C Ability to efficiently benchmark, tune and optimize non-trivial multi-threaded software Ability to optimize across layers of abstraction: Algorithms, concurrency, scheduling,...

As a Compiler Engineer, you will work primarily on two areas of our tech stack: Compilation of programs targeting a custom cryptographic processor running on an FPGA Translation of an assembly language into a ZK virtual machine. You will also work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations. Being a self-starter is essential, as there are always a variety of challenges that need to be tackled. Your work will have a direct impact on our growth and success.  Necessary Qualifications: Significant experience writing compilers Strong proficiency in Rust Understanding of computer architecture and configuration Understanding of technology tradeoffs and a pragmatic approach to problem solving Strong written and verbal communications skills Ability to think across layers of abstractions Ability to work in a fast-paced startup environment...

Who We Are: Our mission is to scale decentralized networks by significantly reducing the costs of zero-knowledge proofs. Founded in 2019, Horizen Labs is dedicated to building a more secure and equitable digital world at the heart of the decentralization revolution. Dedicated to elevating blockchain technology to unprecedented efficiency, we significantly reduce costs for proof verification without compromising security. Focusing on building next-gen, modular architecture, enhanced with composable zero-knowledge proofs, we are not just advancing the field - we are setting new benchmarks for performance, security and cost-effectiveness. At Horizen Labs, our people are our greatest asset, and we are creating a culture of empowered individuals who are eager to bring their ideas to life. We are looking for creative individuals to join our team of the best and brightest minds in the blockchain space. You will experience the exhilaration of joining a fast-growing and...

Inversed Tech is looking for a Senior Software Rust Engineer to join our core engineering team. We work on privacy-first techniques, mostly built with Rust. Technologies include zero-knowledge proofs, secure multiparty computation, elliptic curve cryptography, advanced blockchain state management and other cutting edge cryptographic techniques. Main Responsibilities Design, develop, test, deploy, maintain, and improve software features Implement novel cryptographic protocols Being able to take part in various stages of project development: from prototyping to deployment and maintaining a codebase Writing, updating and maintaining documentation, specifications and other written resources Lead projects from a technical perspective, being able to define concrete goals, and work with a small technical team to deliver high-quality software Key Qualifications If you identify with all or most of these, there is a high probability that you will thrive in the...

About Fermah Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side comprises GPUs and FPGAs. On the demand side, Fermah can generate proofs for any instance in which ZK is used. Fermah is bringing moon math to the masses. Fermah was founded by Dr. Vanishree Rao . She has been designing and building ZK for over 15 years and has a PhD in cryptography from UCLA. We are building a world-class team that values delivering results with excellence and empathy. Job Description We are seeking a seasoned Rust backend generalist to join our passionate engineering team that operates in an environment of shared accountability and without hierarchy. You will collaborate closely on the design with the team and co-lead the implementation, while helping to assimilate new members as we build out the necessary team. As an early team member, you will help shape not only the protocol, but also who we are as a company. You will have...

About Vac Vac is a principle-driven research and development group that provides technical support to each IFT startup. It comprises elite specialists in distributed systems, zero-knowledge proofs, and P2P networking, produces specifications for IFT startups, and undertakes comprehensive protocol testing. Like the IFT and the startups with which it works, a commitment to liberty, censorship resistance, security, privacy, decentralisation, and inclusivity guides Vac’s R&D efforts. Vac  builds  public good protocols  for the decentralized web. We do applied research based on which we build protocols, libraries and publications. The role In this role, you will be responsible implementing and analysing components of zero knowledge argument systems and architectures for private computation. The ideal candidate should be well-versed in zero-knowledge circuits written in Rust, with the ability to adapt to evolving research needs. Your responsibilities will include...

About the Role As our Staff Systems Engineer specializing in Rust, you will play a pivotal role in shaping our technology landscape. You will report directly to our VP of Engineering and work closely with our CTO. Your primary responsibilities will include designing, developing, and implementing system libraries in Rust, which will be complemented by C++ and Go. An active contributor to our GitHub repositories, you'll uphold best practices in software development and occasionally delve into compiler development, using tools like LLVM. Your role extends beyond technical expertise to facilitating cross-functional collaboration and strategic thinking, aiming to innovate and enhance our systems engineering continuously. Key Responsibilities Grasp the existing system architecture quickly for effective development and implementation Design, develop, and implement system libraries primarily in Rust, with a secondary focus on C++ and Go Develop and maintain...

About the Role As our Senior Software Engineer (Full-Stack Blockchain), you will be pivotal in advancing our ZK layer. Your role will drive the development and deployment of our technology, ensuring we meet immediate technical goals while setting the stage for long-term success and industry leadership. Key Responsibilities Lead the development and launch of the full ZK stack and mainnet, enabling users to deploy ZK applications independently. • Develop and integrate the marketplace and our universal ZK layer, ensuring ease of use and language agnosticism. • Collaborate with cross-functional teams to drive demand and unlock various use cases for our universal ZK layer. • Ensure the technology stack remains up-to-date and capable of supporting complex network changes and deployments. Top Initiatives You’ll Own  (over the first 3-6 months) Launch the full ZK stack and mainnet, allowing for independent ZK app deployment. In partnership with our...

What We're Building ZK proofs are one of the most critical technologies to blockchain scaling, interoperability and privacy, but are too complex for most developers today. Succinct’s mission is to make zero knowledge proofs accessible to any developer. SP1  is a state of the art zkVM with performance that rivals custom ZK circuits that lets developers use ZK with normal programming languages, like Rust. The  Succinct Prover Network , under active development, is a hosted infrastructure layer for any application to outsource proof-generation for open-source proof systems. Today, top teams in the space, including  Celestia ,  Wormhole ,  Lido ,  Avail ,  Near , and  Gnosis  are using Succinct’s infrastructure to build with ZKPs. We have a track record of shipping excellent products and cutting-edge technical work in ZK and have significant revenue from our customers. We recently announced our  $55 million raise  across our Seed and Series A led by Paradigm, the best investor...

Role Summary As a cryptographic software engineer at Ulvetanna, you will contribute to internal and open-source zk-SNARK proving codebases, analyze their performance, and propose and implement optimizations. Tasks 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 A deep passion for technology, software development, and secure computing Demonstrated ability to deliver software projects from inception to completion Understanding of algorithm design and computer architecture...

About Light We are a tight-knit team contributing to Light Protocol, a leading zero-knowledge infrastructure layer on the Solana blockchain. We believe zero-knowledge proofs are essential for accelerating the adoption of crypto. Light makes Solana truly web-scale by allowing developers to reduce their on-chain costs by multiple orders of magnitude while preserving Solana's safety and interoperability. Learn more at: Light Protocol GitHub ZK Compression Position: Senior Protocol Engineer We are looking for a Senior Protocol Engineer to drive protocol development and research. If you’re passionate about blockchain and have a strong sense of ownership, we'd love to hear from you! Responsibilities: Own foundational design decisions related to core protocol components. Implement and optimize Solana smart contracts and low level libraries in rust. Collaborate closely with a...