ai analyst backend bitcoin blockchain community manager crypto cryptography cto customer support dao data science defi design developer relations devops discord economy designer entry level erc erc 20 evm front end full stack gaming ganache golang hardhat intern java javascript layer 2 marketing mobile moderator nft node non tech open source openzeppelin pay in crypto product manager project manager react refi research ruby rust sales smart contract solana solidity truffle web3 py web3js zero knowledge
Job Position | Company | Posted | Location | Salary | Tags |
---|---|---|---|---|---|
Serotonin | Chicago, IL, United States | $81k - $148k | |||
Serotonin | Chicago, IL, United States | $36k - $54k | |||
Entangle Labs | Dubai, United Arab Emirates | $121k - $164k | |||
IO Global | Remote | $84k - $150k | |||
Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
IO Global | Remote | $91k - $100k | |||
IO Global | Remote | $36k - $54k | |||
IO Global | Remote | $72k - $90k | |||
Matter Labs | Remote | $87k - $87k | |||
Nexus | San Francisco, CA, United States | $84k - $156k | |||
Nexus | San Francisco, CA, United States | $84k - $156k | |||
Nexus | San Francisco, CA, United States | $140k - $157k | |||
Nexus | San Francisco, CA, United States | $90k - $164k | |||
Nexus | San Francisco, CA, United States | $90k - $164k | |||
Nexus | San Francisco, CA, United States | $90k - $164k | |||
Nexus | San Francisco, CA, United States | $75k - $92k |
Senior ZK Rust Engineer (External)
New York / Chicago / Los Angeles / Mumbai
Recruiting Services /
Full-Time /
Remote
Apply for this job
Our client is the first Bitcoin security-equivalent Layer2 solution based on BitVM approach. Their core objective is to address the trade-off between security and Turing completeness in Bitcoin Layer2s through cryptographic innovations and blockchain protocol engineering. This is intended to ultimately foster a prosperous Bitcoin ecosystem.
Operating in the blockchain and cryptocurrency space, providing secure infrastructure for the creation and management of decentralized digital assets. They specialize in developing solutions for transactions and asset management that prioritize privacy and security. By integrating advanced cryptographic protocols, the platform allows users to issue, transfer, and track digital assets, such as tokens or digital currencies, with a focus on scalability and efficiency. Additionally, they offer services that enable users to automate complex financial operations and manage assets across multiple blockchains seamlessly.
Key Responsibilities:
- Architect and build Bitlayer's Bitcoin friendly ZK proof system.
- Design and develop the protocol to verify ZK proof on Bitcoin.
- Keep optimizing our proof system to deliver shorter proving time and lower capital cost.
- Collaborate with other teams to integrate proof system into Bitlayer's layer 2 system.
- Guide and train junior ZK engineers.
Key Requirements:
- Strong programming skills in general languages such as Rust or C++.
- Strong programming skills in Bitcoin script language.
- Knowledge of state-of-the-art ZK proof system (Plonky2 / Plonky3 / Halo2 etc) and zkVM (RiscZero / SP1 etc).
- Proficient in open source contribution - follow coding standards, write clean and maintainable code, and adhere to best practices.
- Skilled in performance benchmarking, profiling and optimization of system level software.
- Deep understanding of blockchain technologies and scaling solutions.
- Sufficient background knowledge of math and cryptography that can help you quickly learn latest ZK proof systems.
Preferred Requirements:
- Top tier papers in cryptography or blockchain field.
- Experience in designing and building ZK rollup systems.
- Experience in technical writing (publications, articles, twitter threads, etc).
- The ability to give presentations in English.
Apply for this job
What is Zero-knowledge?
Zero-knowledge is a concept in cryptography that allows two parties to exchange information without revealing any additional information beyond what is necessary to prove a particular fact
In other words, zero-knowledge is a way of proving something without actually revealing any details about the proof
Here are some examples of zero-knowledge:
- Password authentication: When you enter your password to log into an online account, the server doesn't actually know your password. Instead, it checks to see if the hash of your password matches the stored hash in its database. This is a form of zero-knowledge because the server doesn't know your actual password, just the hash that proves you know the correct password.
- Sudoku puzzles: Suppose you want to prove to someone that you've solved a particularly difficult Sudoku puzzle. You could do this by providing them with the completed puzzle, but that would reveal how you solved it. Instead, you could use a zero-knowledge proof where you demonstrate that you know the solution without actually revealing the solution itself.
- Bitcoin transactions: In a Bitcoin transaction, you prove that you have ownership of a certain amount of Bitcoin without revealing your private key. This is done using a zero-knowledge proof called a Schnorr signature, which allows you to prove ownership of a specific transaction output without revealing the private key associated with that output.
- Secure messaging: In a secure messaging app, you can prove to your contacts that you have access to a shared secret without revealing the secret itself. This is done using a zero-knowledge proof, which allows you to prove that you have access to the secret without actually revealing what the secret is.