Job Position | Company | Posted | Location | Salary | Tags |
---|---|---|---|---|---|
O1labs | Remote | $81k - $100k | |||
Aztec | Remote | $104k - $116k | |||
Aztec | Remote | $87k - $150k | |||
Aztec | Remote | $98k - $108k | |||
Learn job-ready web3 skills on your schedule with 1-on-1 support & get a job, or your money back. | | by Metana Bootcamp Info | |||
Horizenlabs | Remote | $54k - $100k | |||
Polygon Labs | United States | $72k - $100k | |||
MetaWealth | Bulgaria | $86k - $90k | |||
Nexus | San Francisco, CA, United States | $84k - $110k | |||
Blockstream | Remote | $175k - $240k | |||
Nexus | San Francisco, CA, United States | $126k - $127k | |||
Nexus | San Francisco, CA, United States | $98k - $106k | |||
Nexus | San Francisco, CA, United States | $126k - $127k | |||
Nexus | San Francisco, CA, United States | $98k - $120k | |||
Nexus | San Francisco, CA, United States | $98k - $106k | |||
Raiku | London, United Kingdom | $90k - $112k |
o1Labs’ vision is to create an internet where developers use programmable cryptography to create more powerful applications. We have successfully incubated the Mina Protocol and are now in the next stage of our journey as the world’s premier zero-knowledge tooling provider.  We are looking for a talented and motivated cryptography research intern with experience in Zero-Knowledge Proofs technology to join our team at o1Labs. The intern will collaborate on our new Project, Untitled, a federated storage solution that combines the authentication guarantees of data availability protocols with the performance of Web2 storage. This is a chance to join a small, collaborative team and gain independence while working on fascinating problems in software engineering, systems design, cryptography, and computing.  Responsibilities You will contribute to one or more of the following research and engineering areas:
Collaborate with cryptography researchers and engineers on protocol design. Topics include:
Data availability & federated storage solutions:
Authenticated data storage / verifiable database query evaluation Fair data exchange protocols with practical implementations Data witnessing and non-repudiation in federated systems Sharding and data replication strategies for distributed storage
ZK-friendly consensus mechanisms Incentive design for distributed protocols Privacy-preserving data witnessing
Analyze existing solutions and propose improvements. Propose new, meaningful approaches based on novel cryptography research available in academia Document research findings and implementation details Implement and test cryptographic protocols Clear communication and articulation of abstract ideas
 Requirements No prior experience with web3 / blockchain protocols is required. However, an understanding of cryptographic primitives and protocols is necessary, with focus on either ZK protocols, or distributed systems (consensus protocols / storage protocols). In addition to that, we expect:
Excellent problem-solving abilities Good communication skills and ability to work remotely / independently Experience with writing academic papers General familiarity with blockchain / distributed ledger technology
Preferred Qualifications
Prior experience designing zero-knowledge proofs, or systems that utilise ZKPs Good programming skills (e.g. rust, ocaml) Industry-level skills are not required, but a hands-on/hacker mindset is welcome. Understanding of practical software development (e.g. performance aspects)
Learning Opportunities
Mentorship from experienced cryptographers and engineers Exposure to cutting-edge research in applied cryptography Practical experience implementing theoretical protocols Potential for academic publication and open-source contributions
 About Us o1Labs is the team that incubated, launched, and contributed to Mina Protocol. This Layer 1 blockchain compresses the blockchain from hundreds of gigabytes down to the size of a few tweets and can scale to millions of users while remaining decentralized enough for cell phones to be fully verifying nodes. o1Labs recently announced [Project Untitled], a new project that aims to solve the state management problem for web3. We are committed to building a diverse, inclusive company. People of color, LGBTQ individuals, women, and people with disabilities are strongly encouraged to apply. If you'd be interested in talking further, please get in touch by sending an email with your resume and the subject "Crypto Research Intern" to [email protected].
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.