3 jobs found

Lagrange Labs is looking to hire a Cryptography Engineer to join our fast growing research team. The ideal candidate would have familiarity developing production level zero-knowledge proof systems in Rust. Our team ( https://www.lagrange.dev/ ) is currently building ZK MapReduce, a novel proof system that is designed for concurrently proving large-scale batch storage inclusion and dynamic MapReduce style computations. At the core of the ZK MapReduce stack is Recproofs, a new vector commitment scheme developed by the Lagrange Labs research team. Recproofs are optimized for onchain applications that require computing and efficiently maintain a proof over a moving stream of blocks. Each proof can be updated in logarithmic time whenever the leaves in a subset change or the overall set changes. Our proofs are already being used to empower new applications ranging from trustless DeFi primitives computed from historical data, to digest transformations for ZK-rollups to...

About Aztec At Aztec, our goal is to take the original promise of Ethereum–a decentralized and verifiable world computer–and expand its capability immensely by making it fully encrypted. In the current public blockchain paradigm, users and entities unknowingly broadcast data in the public, compromising privacy and security to get trustlessness. Not only are unencrypted blockchains inherently privacy-exposing, they require significant redundancy to compute and verify the legitimacy of transactions. Implementing scalable encryption in a public blockchain paradigm requires cutting-edge math and engineering. Thankfully, our team of scientists and engineers invented Plonk, the industry-standard zkSNARK, and Noir, the universal language of zero knowledge. Now, we’re building a first of its kind public-private encrypted blockchain: Ethereum, encrypted. And it’s now time to bring it to market. We’ve raised $125 million from industry-leading investors including a16z crypto,...

Role Summary As a cryptographic software engineer at Ulvetanna, you will contribute to internal and open-source zk-SNARK proving codebases, analyze their performance, and propose and implement optimizations. Tasks may include to modifying and refactoring the codebases to utilize hardware coprocessors, reading and implementing zero-knowledge cryptography research, reverse engineering high-level algorithms from open-source software and smart contracts, and designing or analyzing arithmetic constraint systems for verifiable programs. Team members work closely with the FPGA engineers to specify algorithms implemented in hardware, and with the systems software engineers to interface efficiently with hardware acceleration units. Necessary Qualifications A deep passion for technology, software development, and secure computing Demonstrated ability to deliver software projects from inception to completion Understanding of algorithm design and computer architecture...