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

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

About the Position We are hiring ZK Compiler Engineer for OpenZL ( https://github.com/openzklib/openzl/blob/main/proposal.md ). OpenZL is a suite of software tools for building ZK applications. At its core sits ECLAIR, the circuit description language, which allows developers to build proof-system agnostic applications and leverage custom optimizations at any level of their program. ECLAIR is an embedded domain specific language in Rust and features procedural macros heavily in its design to reduce boilerplate and create generic code. OpenZL also features backends for cryptographic libraries that implement ZK proof systems, and other cryptographic protocols that plug into ECLAIR. Building these macros and cryptographic backends requires advanced knowledge and experience with the Rust compiler and its macro ecosystem but also experience with generics, traits, and the best-practices of Rust interface design to make all of these pieces work together. Who You Are...

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

Gnosis Chain is the product of the merger of Gnosis and xDai. As one of Ethereum’s earliest sidechains, Gnosis Chain has quiet but significant real world usage and will embark on an aggressive technical roadmap with the objective of accelerating Ethereum. Gnosis Chain is also where Ethereum’s colorful and quirky spirit lives on, as the original home that incubated many defining projects like POAP, Burner Wallet, Dark Forest, and Perpetual Protocol.  Gnosis Beacon Chain launched in November of 2021 and will merge with Gnosis Chain when Ethereum merges. GBC has over  100k validators  and aims to be the third most decentralized blockchain. Gnosis Chain currently does not have a trustless bridge, which we are looking to remedy. A proposal by the 0xparc team for a zk light client based bridge  passed in July  and we know that other teams are working on trustless bridges as well. What you will do Keep up to date with the bridge design space and open research...

Polygon zkEVM is the first open-source zk-Rollup providing complete EVM opcode equivalence for a frictionless user experience and the security of Ethereum. A zk-Rollup is a layer 2 construction on top of Ethereum that solves its scalability through mass transfer processing rolled into a single transaction. The "zero-knowledge proof" (ZK) technology is used to present and publicly record the validity and correctness of the rolled transfers processed on the Ethereum blockchain. By storing just the proof and the compressed data of a batch of transfers, the efficiency and the throughput of the network is multiplied. We offer remote and flexible work. You can expect a warm welcome from a friendly and international team that will support you in your personal and professional growth. This is an exciting opportunity to take an active part in the blockchain space and contribute to the decentralization of the future. We're looking for a Golang developer to join...

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

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