8 jobs found

We are seeking a researcher with a PhD (or nearing completion) to join the cryptography and privacy team within Flashbots Research. We would like to meet you if you have experience doing research on topics including: Multi-Party Computation (MPC) Trusted execution environments (TEEs) Fully Homomorphic Encryption (FHE) Zero-knowledge (ZK) proofs Operating Systems (OS) and CPU architectures Security of distributed/decentralized systems Multi/threshold-signature schemes What to Expect in the Role: You will be supported to identify interesting research problems, work toward solutions alone or with collaborators, and publish your findings in industry and academic venues You will experience maximum autonomy, allowing you to claim ownership of research areas, set goals, and deadlines without needing constant supervision You will be expected to make your voice heard and navigate the organization to gather information or make decisions as needed You will...

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 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...

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...