10 jobs found

At Matter Labs, we are building  zkSync : a blockchain scaling solution secured purely by cutting-edge cryptography. Our mission is to scale Ethereum to billions of users, fully preserving its most valuable properties — permissionlessness, trustlessness, and resilience, — in order to protect and enhance global economic freedom. We hold a strong opinion that zero-knowledge proofs (ZKP) are the only technology today that can achieve this goal. We are also proud to be the pioneer of the ZKP tech on Ethereum, and one of the few companies in the world with strong expertise in this field. Our contributions over the last 3 years include the first ZK rollup ever built, the first implementation of recursive ZK proofs on Ethereum, and the world’s first practical FPGA-based ZKP accelerator. Most recently, we launched a   zkEVM testnet , making zkSync the first ZK rollup capable of executing native Ethereum smart contracts. Across all hires we make at Matter Labs, regardless of...

Overview Delendum is looking for a talented cryptography researcher who is interested in zero-knowledge proof and their application to blockchain technology. The candidate will join our research team and help with the incubator program. (Full-time/Part-time/Intern) This role offers the chance to work closely with a small team on compelling cross-disciplinary problems in theoretical computer science, cryptography, and systems design. The candidate will enjoy a high degree of independence in working conditions and task prioritization. (Remote, Europe/US) Responsibilities - M onitor the state of the research field for compelling new theoretical advances, work together with the best expert in that field and conduct original exploratory research into new constructions - Collaborate with other researchers and contribute to the ZKP knowledge base we are building - Evaluate and analyze the incubator applications, provide reviews on their technical documentation - Help...

What we do RISC Zero is on a mission to fix the internet. We're a diverse group of hackers, futurists, and nerds dedicated to making the internet the place we all deserve. We've already built the world's first zero knowledge virtual machine capable of running arbitrary code as a zero knowledge proof. We're now building an ecosystem on top of it. We have a transparent pay structure with above market salaries and premium benefits. We've all been part of many startups before, so we care a lot about making sure everyone is treated fairly - when it comes to equity, founders have no meaningful advantage over the rest of the employees. You'll have tremendous ability to take part in changing the world, and we believe that deserves meaningful ownership. What you'll do As a Systems Engineer at RISC Zero, you will work on the world’s most advanced Zero Knowledge Platform. Built in Rust, our zkVM supports compilation of arbitrary code into a Zero Knowledge Proof. Our zkVM is the core...

What we do RISC Zero is on a mission to fix the internet. We're a diverse group of hackers, futurists, and nerds dedicated to making the internet the place we all deserve. We've already built the world's first zero knowledge virtual machine capable of running arbitrary code as a zero knowledge proof. We're now building an ecosystem on top of it. We have a transparent pay structure with above market salaries and premium benefits. We've all been part of many startups before, so we care a lot about making sure everyone is treated fairly - when it comes to equity, founders have no meaningful advantage over the rest of the employees. You'll have tremendous ability to take part in changing the world, and we believe that deserves meaningful ownership. What you'll do As a Blockchain Protocol Engineer, you will design and build the core components of an L1 blockchain on top of our existing Rust zkVM. You will be expected to provide technical expertise regarding the impact of design...

About Heliax The primary project of   Heliax   is the   Anoma   protocol (implemented in   Rust ). Anoma is self-contained, self-sovereign and capture resistant, enabling private, asset-agnostic cash and private coordination among any number of parties. In addition to Anoma, Heliax works on open-source projects which are part of the Anoma ecosystem, including but not limited to research in cryptographic libraries such as the   MASP ,   Plonk   or   Ferveo   (written in Rust), and tools for high assurance validity predicates and arbitrary zero-knowledge circuits ( Juvix , written in Haskell). Heliax is a remote-first public goods lab which researches, develops, deploys, and maintains open-source protocols & mechanisms designed to serve the everyday needs of humanity. Using this, we build vertically integrated open-source products and networks that form coherent open systems which are capable of acting as an alternative to existing exploitative paradigms. With team...

Lurk is an in-development, Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, implemented in Rust to support evaluation, proving, and verification in zero-knowledge. Since Lurk is Turing-complete, it can be used (within resource limits) to make and prove arbitrary computational claims without the constraints of traditional fixed-circuit SNARKs.  A “Rust Cryptography Engineer for Lurk” will help drive the development of the Lurk programming language. The ideal candidate for this job will have experience writing zk-proofs or zk-proof adjacent software in Rust. You can learn more about Lurk at https://github.com/lurk-lang and the Rust implementation at https://github.com/lurk-lang/lurk-rs . Job Responsibilities... Work closely with the current Lurk engineering team, a technical program manager, and core collaborators to support the growth of the language Invest significant time in learning and understanding the...

We are looking for a talented cryptography engineer or developer with a strong math background who loves challenges and has a research-oriented mindset to join our engineering team. You will be primarily focused on the implementation of our threshold DKG cryptographic protocol.   You will work alongside our core engineering team within Blockswap which consist of best-in-class protocol specialist and software engineers. This is an ideal role for those who are ready to take on new opportunities to learn and extend their knowledge basis consistently.   Responsibilities You will be working on our dCommon product suite and Common Interest protocol development.  Watch the recent  presentation here Collaborate with the team on the implementation of a modular signing network based on DKG-MPC. Produce technical design specifications, author detailed technical specifications(e.g. papers, documentation excerpts, etc.) Implement, test, and audit the cryptography...