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

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