5 jobs found

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

About Polybase Polybase is building an Ethereum L2 private payments protocol (with in-built zk-compliance) for USDC. Our vision is to create the decentralised, fair and private payment rails for the world. Twitter •  Discord Your traits Mandatory : experience building something non-trivial using Halo2 Ideally some commercial experience with Halo2 The tech test will involve writing a circuit in Halo2 with Rust and answering questions on SNARKs You are able to write high quality Rust We have a relaxed work environment, but very high hiring bar: Only apply if you're top 1% and want to work on challenging problems Or if you’re too humble to think you’re top 1% but you’ve consistently delivered high quality work on complex problems And want to work with other people who are also top 1% You love solving really hard problems and want to work on something meaningful and challenging You work best with autonomy, you want to be left alone to get on with...

The world will be unrecognisable in 5 years. Machine learning models are   driving our cars , testing our   eyesight , detecting our   cancer , giving sight to the   blind , giving speech to the   mute , and dictating what   we consume, enjoy, and think . These AI systems are already an integral part of our lives and will shape our future as a species. Soon, we'll conjure unlimited content: from   never-ending TV series   (where we’re the main character) to   personalised tutors   that are   infinitely patient   and leave no student behind. We’ll augment our memories with   foundation models —individually tailored to us through   RLHF   and connected directly to our   thoughts   via Brain-Machine Interfaces—blurring the lines between organic and machine intelligence and ushering in the next generation of human development. This future demands immense, globally accessible, uncensorable, computational power. Gensyn is the machine learning compute protocol that...

The world will be unrecognisable in 5 years. Machine learning models are   driving our cars , testing our   eyesight , detecting our   cancer , giving sight to the   blind , giving speech to the   mute , and dictating what   we consume, enjoy, and think . These AI systems are already an integral part of our lives and will shape our future as a species. Soon, we'll conjure unlimited content: from   never-ending TV series   (where we’re the main character) to   personalised tutors   that are   infinitely patient   and leave no student behind. We’ll augment our memories with   foundation models —individually tailored to us through   RLHF   and connected directly to our   thoughts   via Brain-Machine Interfaces—blurring the lines between organic and machine intelligence and ushering in the next generation of human development. This future demands immense, globally accessible, uncensorable, computational power. Gensyn is the machine learning compute protocol...