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

Aleo.org is seeking a Head of Social to manage our official social media channels and presence. As our Head of Social, you will be key in communicating our technology and brand to technical developers and non-technical crypto enthusiasts. We are looking for crypto-natives who are able to write frequent posts, develop responses that are both engaging and grow our followers, have a sense of humor, and understand relatable crypto memes. Although all roles are remote-first, we are opening a New York office where the Community and Growth teams are based. Priority will be given to people based in New York City.   What you’ll be doing: Effectively communicating relevant information from the core team to social media channels (mainly our Twitter accounts). Develop and manage captivating and vibrant digital and social media content that’s relevant to our audience, grows our ecosystem, generates awareness and drives traffic. Keep a regular pulse on the...

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

Who We Are: Our mission is to provide certainty to the world’s information. Founded in 2019, Horizen Labs is a crypto-first developer that builds blockchain products and tools at the heart of the decentralization revolution. We are world leaders in zero knowledge cryptography and key web 3.0 tools that enable programmable blockchains that are secure, scalable and privacy preserving. Our company is creating a culture of empowered individuals, who aren’t afraid 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 innovation focused company with support from some of the industry’s top thought leaders, including Digital Currency Group, Kenetic Capital, Sound Ventures, and Liberty City Ventures. We believe diversity drives the innovation and engagement necessary to build a truly remarkable product. We operate on a hybrid...

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