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

About Pocket Pocket Network is the leading decentralized blockchain infrastructure protocol. This is an opportunity to get in on the ground floor of our quickly growing adoption curve. As an open-source, permissionless protocol driving developer adoption, we believe in a future that will enable greater participation in global digital economies and communities. Our culture We are committed to building a fun, inclusive workplace and culture based on our values. Our core values inform how we work together as a team, how we service our users, and how we approach the products we build. We're looking for open-minded, motivated individuals that want to expand the adoption of Web3. We are a fast moving, collaborative, and free thinking team. We're united by our desire to fully decentralize Web3, build amazing products for our users, and create a diverse and welcoming workplace. About the role We are looking for a self-starter and growth-minded Protocol Software Engineer...

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

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