13 jobs found

About the role Aleo is seeking dedicated compiler engineers to help build the world’s leading developer platform for zero-knowledge applications. As an Aleo engineer, you will join a small team to maintain and test the official implementation of the Leo programming language, the Aleo instructions assembly language, and related language products. You will be tasked with designing new language tools, implementing new compiler features, maintaining existing features, and shipping production-ready code. You should have a passion for open-source software and understand that your code will be widely used to deploy programs on a decentralized network. You should care about privacy in the digital age and have a desire to contribute to the space. ‍ Responsibilities Design, develop, and deploy new language constructs in the high-level Leo compiler and low-level snarkVM virtual machine to harness the power of zero-knowledge proofs. Build, test and ship customer-facing services...

Welcome to Aleo. Aleo is building the world's leading developer platform for private applications. With our vocal advocacy for privacy tech in the blockchain ecosystem, we are playing a major part in mainstream awareness and industry adoption of privacy-preserving technologies. We are proud to offer a platform of services that exemplify privacy tech in web applications, increasing digital freedom and access around the world. To further our mission of offering word-class zero-knowledge platforms and services, Aleo’s core engineering team is looking for a Swiss Army knife to help us handle a number of tasks including but not limited to technical documentation, automation, internal tools, and developer relations. In-line with the nature of an early stage startup, you’ll wear multiple hats which means you’ll also be involved with MarketingOps, Business Development, and general project management. You’ll report to our technical product manager and work cross-organizationally. What...

Welcome to Aleo. Aleo is building the world's leading developer platform for private applications. With our vocal advocacy for privacy tech in the blockchain ecosystem, we are playing a major part in mainstream awareness and industry adoption of privacy-preserving technologies. We are proud to offer a platform of services that exemplify privacy tech in web applications, increasing digital freedom and access around the world. As a senior front-end engineer, you’ll be an innovative and strategic thinker responsible for user interface design, front-end development of websites and other interactive products, and maintenance and modification of existing surfaces. You’ll be responsible for the UI creation process including wireframing, mockups, and build-out of UI design into fully functional web pages and web applications. You’ll oversee multiple complex projects, virtual teams, and collaborate with both internal and external design teams to take projects from concept through...

Arch/RTL Team is the beginning of everything in our Company.. We have assembled a team of star performers with industry-leading performance, and we are hungry for even more. The team is primarily responsible for the implementation of the design, you will be defining the architecture of the chip, making sure it can deliver GPU-crushing performance and perf/watt, perf/$. Expectations: Defining architecture and microarchitecture of design modules Rapidly implementing hardware acceleration building blocks for specific algorithms PPA evaluation and optimization.   Qualifications (Must-have) Strong understanding of ASIC flow and PPA optimization skills . (Strong plus) High-speed I/O interface integration (DDR/PCIe/Serdes) (Strong plus) Covering some of the ASIC mid-end flow and verification work (Plus) FPGA prototyping and Emulation

We are looking for a Senior Compiler / Cryptography Engineer to join our team to develop a virtual machine optimized for generating succinct proofs of computational soundness. The successful candidate will be responsible for designing and implementing a backend compiler for LLVM or WASM IR to target the new ISA. Responsibilities:   • Design and implement a backend compiler for LLVM or WASM IR to target the new ISA.  • Ensure that the new virtual machine supports compilation from existing high-level programming languages. Qualifications:   • Bachelor's, Master's or PhD's degree in Computer Science or a related field.   • Strong programming skills in Rust, LLVM or WASM IR.   • Proven experience in developing compilers, particularly backend compilers for LLVM or WASM IR.   • Knowledge of computer architecture and virtual machine design.  • Familiarity with computational soundness proofs and relevant algorithms.   • Experience with high-level programming languages and...

We are looking for a   senior backend engineer   to join a startup using zero-knowledge proofs to scale smart contract applications. You will be responsible for building cloud-based systems to fulfill and monitor user queries into Axiom, our first product. This will involve building systems to query blockchain indexers, execute zero-knowledge provers, and submit query outputs on-chain. This will involve orchestrating multiple cloud servers to optimize proving latency, reliability, and cost. Your work will require designing secure and efficient systems and making design choices to enable rapid development without sacrificing security. Your day-to-day work will involve implementing and optimizing query pipelines which transform blockchain data to fulfilled Axiom queries. We are looking for someone with strong engineering design skills, the ability to work across the stack, and a security mindset. We also value the ability to make pragmatic technology choices which empower our...

We are looking for a   zero-knowledge proof engineer   to join a startup using zero-knowledge proofs to scale smart contract applications. You will implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation. The role will involve both optimizing the prover and implementing novel ZK circuits in Axiom, our first product. Your work will be critical in scaling Axiom to empower smart contract applications to trustlessly access more data and more diverse compute. Your day-to-day work will involve implementing, benchmarking, and optimizing algorithms for cryptographic primitives in Rust. We are looking for someone with strong engineering fundamentals, problem solving skills, and willingness to learn new things. We will provide close mentorship and support to help candidates onboard in the novel fast-moving area of ZK. We expect backgrounds as diverse as high-frequency trading, math/physics/CS academia, and hardware engineering to be relevant....

About Heliax The primary project of   Heliax   is the   Anoma   protocol (implemented in   Rust ). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering 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   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 team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with. Overview Blockchains do not scale to a global user-base of seven...

About Heliax The primary project of   Heliax   is the   Anoma   protocol (implemented in   Rust ). Anoma is a sovereign, proof-of-stake blockchain protocol that enables private, asset-agnostic cash and private bartering 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 , 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 team, currently composed of cross-disciplinary members located around the world. All of our work is open-source. Our work culture is characterized by open-allocation, where team members have a high degree of freedom and autonomy in choosing when to work, what to work on, and whom to work with. Overview Blockchains do not scale to a global user-base of seven...

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 a tremendous ability to take part in changing the world, and we believe that deserves meaningful ownership. What You’ll Do:   As a Technical Program Manager at RISC Zero, you will play a pivotal role within the engineering team, driving programs that span across multiple products and impact the entire company. Most notably,...

About Status Status is building the tools and infrastructure for the advancement of a secure, private, and open web3.  With the high-level goals of preserving the right to privacy, mitigating the risk of censorship, and promoting economic trade in a transparent, open manner, Status is building a community where anyone is welcome to join and contribute. As an organization, Status seeks to push the web3 ecosystem forward through research, the creation of developer tools, and support of the open-source community.  As a product, Status is an open-source, Ethereum-based app that gives users the power to chat, transact, and access a revolutionary world of DApps on the decentralized web. But Status is also building foundational infrastructure for the whole Ethereum ecosystem, including the Nimbus ETH 1.0 and 2.0 clients, the Keycard hardware wallet, and the Waku messaging protocol (a continuation of Whisper). As a team, Status has been completely distributed since...

Top Tier Crypto Venture Fund -Technical Due Diligence Investment Professional - ZKP Focus Our new client, a Tier 1 Global Crypto Venture Fund, is seeking a highly qualified Technical Due Diligence Investment Professional, someone with engineering experience who is capable of thesis building, sourcing, evaluating and diligencing deals across technical Web3 categories, with a specific focus on ZKPs. Location: N. America - Remote Compensation: Up to $250k base + Equity Responsibilities → Develop investment thesis across technical Web3 categories → Evaluate and diligence new investment opportunities, especially in the ZKP category → Advise portfolio companies on technical and product matters → Serve as the public face of the fund in highly technical environments, such as developer conferences and hackathons → Act as an educational resource for the investment team Requirements → Distributed Systems Engineering background → Experience in ZKP and/or...

Luminous Labs is looking for a full time cryptography engineer, responsibilities ranging from implementing Plonk, in Rust, on the Solana blockchain, to researching, selecting and implementing Light Protocol on a faster proving system, possibly an advanced Plonk variant, Starks or a mix. You will work with a small team to design and implement scalable privacy with zero knowledge proofs on Solana. At Luminous Labs, we believe privacy is critical for mainstream adoption of blockchains. We are looking to make seamless privacy a reality with privacy infrastructure and an SDK to enable any Solana project to integrate private transactions. Learn more at: https://twitter.com/LightProtocol https://medium.com/@swen.schaeferjohann/a-vision-for-light-protocol-5fd7a5837bfa , https://github.com/Lightprotocol/light-protocol-program Responsibilities: design and implement cryptographic protocols optimize zero knowledge proof generation and verification...