ZK Proof Engineer

Job not on LinkedIn

🕒 March 28

🏢🏡 New York City – Hybrid

💵 $125k - $250k / year

⏰ Full Time

🟡 Mid-level

🟠 Senior

👷🏻‍♀️ Engineer

🦅 H1B Visa Sponsor

This company has sponsored H1B visas in the past.

Apply Now

Find Similar Remote Jobs

Receive Emails For Remote Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

XYZ

WebsiteLinkedInAll Job Openings

51 - 200 employees

🌐 Web 3

₿ Crypto

Web 3 • Crypto • Blockchain

XYZ is a company that focuses on leveraging zero-knowledge (ZK) proofs to trustlessly compute over historical data on the Ethereum blockchain. It offers a range of products and tools, including a Typescript SDK, to enable developers to build data-rich, trustless on-chain applications. XYZ supports computation and verification of queries over Ethereum's entire history, enhancing on-chain accountability, loyalty programs, and dynamic DeFi applications. These solutions are designed to reduce costs and increase data accessibility and trust on the blockchain.

📋 Description

• Implement and optimize cutting-edge cryptographic code for zero-knowledge proof generation. • Build systems to interface between low-level computer systems like the RISC-V ISA, compiler frameworks like LLVM, and database backends. • Connect them with cutting-edge zero-knowledge proof systems. • Optimize ZK provers and implement novel ZK circuits. • Make design choices to enable rapid development of secure and efficient systems.

🎯 Requirements

• Strong background in math/cryptography, or strong problem-solving skills and interest in zero-knowledge proofs. • Proficiency in Rust, C/C++, or a similarly performant backend language. • Extremely detail oriented and have a security mindset. • Experience on challenging software projects and have an eye for performance. • Clear communicator and value collaboration. • Strong bias towards action. • Extremely strong work ethic. • Experience with compiler frameworks like LLVM or MLIR is a bonus. • Worked with aspects of low level computer architecture like RISC-V or programmed FGPAs or other custom hardware is a bonus. • Experience with database backends, including experience with query planning or low level query engines is a bonus. • Research in mathematics, theoretical computer science, or theoretical physics is a bonus. • Experience with low-level details of Ethereum is a bonus.

🏖️ Benefits

• Competitive salary with equity • Mentorship from an exceptional team