DEFAULT

ZK Podcast

Founder

Anna Rose

Zeta Function Technologies

Researcher

Ariel Gabizon

Worldcoin

Research Engineer

DCBuilder

ZKP2P

Sachin Kumar

Herodotus

Product Engineer

Pia Park

zkWarsaw

Engineer & Founder

Orest Tarasiuk

L2BEAT

Founder & CEO

Piotr Szlachciak

Protocol

Remco Bloemen

Reilabs

Marcin Kostrzewa

Miton C

Research Partner

Filip Široký

Independent Researcher

Tiago Neto

Nethermind Research

Head of Research

Michał Zając

ZK Hack

Doing stuff

Gaylord Warner

MAYA-ZK

Co-founder & CEO

Tibor Tribus

ZK Hack Kraków

For any project built on top of Aleph Zero!

Note: A single submission may qualify for both path and global bounty


Global Bounty

Aleph Zero

- **In-circuit data encryption**: In the context of privacy systems with anonymity revokers (see for instance [this example](https://docs.alephzero.org/aleph-zero/protocol-details/shielder/anonymity-revokers)) one must provide encryptions of in-circuit witnesses, thus really implement in-circuit encryption. In this bounty we would like you to implement and benchmark a symmetric encryption scheme as a Halo2 circuit. An example basic design is provided [here in the doc](https://docs.alephzero.org/aleph-zero/protocol-details/shielder/snark-friendly-symmetric-encryption), and other useful resources include [this research paper](https://eprint.iacr.org/2023/520.pdf) and [this blog article](https://blog.taceo.io/how-to-choose-your-zk-friendly-hash-function/). 

- **User-side proving of Merkle paths in the browser**: When proving relations dealing with notes in privacy systems (akin to ZCash or TornadoCash) the most expensive part is proving inclusion in a Merkle tree. In [this repository](https://github.com/Cardinal-Cryptography/client-side-proving-benchmarks), we have included benchmarks of proving inclusion in a Merkle tree for circuits written in Halo2, compiled to WASM and running in the browser. We challenge you to propose some improvements that could lead to better prover efficiency. Some concrete ideas:
  - Direct optimization of Merkle proof in WASM (focus on chrome) — this does not require knowledge of Halo2.
  - Rewriting the circuit by reusing some columns or reducing the number of rows.
  - Using a different hash function.
  - Advanced: use a different proof system. (If you want to try this, then please contact one of the mentors, because not all stacks are viable for client-side proving).

- **User-side proving of Merkle paths on mobile**: Apart from the web-browser benchmarks above, we would like to challenge you to run our merkle-tree circuits on mobile devices. In other words, the goal is to run the prover on a mobile phone, either Android or iOS, so as to yield as low as possible running times. It’s up to you to choose the details on how the prover is set up!

- **Wrap zk-STARK into Halo2**: STARKs have good scalability, but poor verification time, which can be improved by wrapping STARK proof into SNARK. The goal here is to implement a circuit with efficient zk-STARK verification in halo2 and demonstrate efficiency of cryptographic primitives built on this system (e.g. Merkle proof, hashing, ECC signatures)

**Judging criteria for hacker path**:
- Measurable improvements of prover time (note that we expect no serious degradation in verifier time and proof size)
- Quality of presentation
- Viability
- Universality of the solution
- We prioritize solutions that are based on Halo2 proof system, although this is not a hard requirement

Hacker Path

- **ZK-based games**: Many games might leverage hidden information, giving players an advantage of using secret strategies. Such games would often use a central coordinator (server) which holds the player’s secrets. ZK gives us the power to design games that don’t require a central coordinator, and instead could be deployed on a blockchain, with ZK-proofs replacing the central coordinator. We ask you to design and implement games with smart contracts hiding private information.
Examples of gaming privacy are: card decks, secret abilities, planning of moves, sharing information with trusted players.
Examples of ZK-based games:
  - [Dark Forest](https://blog.zkga.me/announcing-darkforest)
  - [On-chain Wordle](https://github.com/kroist/encryptedWords)

- **General ZK apps**: If you're considering a non-gaming app, feel free to submit it under this 'wild card' bounty. Potential applications might include whitelisted private auctions, private DAOs, proof of personhood, or peer-to-peer lending. This list is not exhaustive but intended to inspire. Your innovative ideas are welcome!

**Judging criteria**:
- Viability of an app
- In case of games: fun. How engaging and replayable is the game
- Quality of the presentation
- Novelty in the usage of ZK, how crucial ZK is in your game (can the game be build without ZK?)
- Overall quality of UX and code


Product Path

**Description**:
- Step 1 - [Complete Tutorial 1 of o1js](https://docs.minaprotocol.com/zkapps/tutorials/hello-world) 
- Step 2 - [Complete Protokit’s Quickstart](https://protokit.dev/docs/quickstart)

**Requirements**:

Complete both Steps and come show our team in-person at our booth.
First 20 people will earn 100 MINA each!


**Judging criteria**:
- Submit Github repo with this completed tutorial 
- Cannot have existed before ZK Hack dates 
- Upon completion of this challenge, you must come by the MINA booth to show the team

Mina’s Hello World

Mina

**Description**:
Step into the innovative realm of the Mina Protocol and the Protokit framework (a modular and privacy enabled application chain development framework for the MINA ecosystem). 

--> Build an application or library that reshapes privacy.

This challenge seeks projects that harness Mina's lightweight blockchain to redefine secure transactions and interactions. By leveraging Protokit's frameworks - privacy-enabled modules, succinct zkVM, and seamless wallet integration, your creation should offer a new practical utility.

**Requirements**:
- The project must be implemented using protokit
- Correct usage of the on-chain execution model using runtime modules (bonus for usages of hybrid execution model)
- Demo UI that showcases the project (suitable projects only)
- Tests required for projects that don’t have a UI, bonus for all other
- Correct implementation of application in the provable code model

**Judging criteria**:
- Code/project quality
- Usability
- Documentation

Build a zkAppChain using Protokit Framework

o1Labs

**Description**:
Build and implement popular cryptographic primitives that can be utilized by other developers. Some of these primitives may utilize our new gadgets that make bitwise operations more efficient.
Examples (but not limited to):
- Array lookup primitive
- Merkle patricia tree, 
- Merkle mountain range, 
- BigInt library, 
- BLS signatures,
- Threshold signature schemes (Frost, Arctic), 
- Efficient MSMs, 
- ASCII to/from base64 conversion, 
- Synamic input sha256 
- And more!...
Some starting work on Array lookup primitives [here in this repository](https://github.com/o1-labs/o1js/pull/1253)

**Requirements**:
- The project must be implemented using o1js
- Algorithms or implementation need to be correct (it’s acceptable to mock certain parts of the implementation, but it’s important to be able to see the core idea of the submission and follow the core design) 
- A demonstration of how the feature should be used (can be in the form of tests)
- Project did not exist before zkHack

**Judging criteria**:
- Correctness of algorithm/implementation
- Code/project quality
- Usability
- Utility and breadth of the applications the data structure makes possible
- Documentation

Build Crypto Primitives with o1js

**Description**:
Avail DA is a robust DA base layer for developers to spin up fast, cheap, and secure rollups. Build your project that utilizes AvailDA’s validity proven expandable blobspace meaningfully Anything from building a micro-rollup, appchain, CDK chain built on AvailDA, etc. works! Build anything on AvailDA across domains like Privacy, DeFi, NFTs/Socials, Gaming, and anything in general.

Project ideas:
- Use Stackr SDK to build a microrollup
- Use Polygon CDK/Madara with Avail DA to build an application specific rollup
- Build a Validium with Risc0/SP1 zkVMs built on Avail DA

[Check out more ideas here](https://avail-project.notion.site/Avail-DA-Dev-Onboard-Hackathon-Edition-6ce01faa760b41b79b3ea7758a6265e5?pvs=4)

**Requirements**:
- Needs to build on a rollup stack that integrates with Avail DA
- Needs to use Avail DA
- Can be in any domain from Privacy, DeFi, NFTs/Socials, Gaming, and anything in general
- Needs to be a new project. Any pre-existing project MUST mention what has been done beforehand and explicitly state what was accomplished during the hackathon

**Judging criteria**:
- Idea
- Implementation
- Presentation
- Viability and potential for further development

Best application/project/appchain built on top of Avail DA

Avail

**Description**:
Avail is the permissionless unification layer for Web3. Build your project such that it adds to Avail’s core functionalities or enhance its ecosystem for users/developers.
Projects can range anything from innovative bridging solutions, light client improvement, unique rollup constructions/tooling for Avail DA, Developer Tooling enhancements, DA Cost Calculators, Inscription Marketplace and much more. We’re looking for innovative projects that can help improve Avail’s ecosystem. 

Project Ideas:
-  Add p2p feature to [Avail's web LC](https://light.avail.tools/), that allows it to be connected to the light client p2p network ([repo](https://github.com/availproject/light-client-web))
- Build a bridge JS SDK that allows for easy interaction with the Avail bridge contracts and exposes all data from our [Bridge API](https://github.com/availproject/bridge-api)
- **P2P AddressBook**: 
    - Create a web app which uses the Avail Light Client in crawl mode to log addresses and timestamps of peers as they join a network
    - **Bonus points**:  The p2p network could use websocket communication to establish connections with other Light Clients without needing a public multiaddress
- **IoT WebApp:** Build an IoT web app of your choice on Raspberry Pi/BeagleBone/any suitable RTOS device using the Avail Light Client connected to a public Avail network like Goldberg

[Check out this page for more ideas](https://avail-project.notion.site/Avail-DA-Dev-Onboard-Hackathon-Edition-6ce01faa760b41b79b3ea7758a6265e5?pvs=4)

**Requirements**:
- Needs to build directly on Avail DA
- Project can be core protocol enhancements or developer tooling
- Helps enhance Avail's ecosystem in some way (preferred)
- Projects using Avail's light client P2P network are also eligible
- Projects building upon or improving any of Avail's existing tools and technologies are eligible

**Judging criteria**:
- Technology Implementation
- Presentation
- Viability and potential for further development

Best Core/Tooling project for Avail

**Description**:
Build a DA cost comparison tool to showcase the cost efficiency of using Avail DA as the data availability layer over blobs in post-4844 Ethereum. 

Bonus points if you can showcase the cost efficiency across Ethereum L1 and major rollups and rollup stacks (Polygon, Optimism, Arbitrum, zkSync Starknet) if they used Avail DA.

**Requirements**:
- Must be user-friendly
- Bonus points if the application is fetching dynamic data costs (static is also fine)

**Judging criteria**:
- Technology Implementation
- Presentation
- Viability and potential for further development

Avail DA Cost Efficiency Calculator

**Description**:
Build a liquid staking protocol for Avail either directly on the node, a substrate pallet, or on Ethereum powered by a bridge, or via any other means.

**Requirements**:
- A functional UI for the liquid staking protocol
- Needs to be a new project. Any pre-existing project MUST mention what has been done beforehand and explicitly state what was accomplished during the hackathon

**Judging criteria**:
- Technology implementation
- Presentation
- Viability and potential for further development

Liquid Staking Protocol for Avail

**Description**:
Deploy a smart contract on Hylé and leverage its unique properties in a zkApp.

**Requirements**:
Needs to be deployed on at least one Hylé devnet, bonus if public devnet.

Best overall project using Hylé for settlement

Hylé

**Description**:
Smart Contracts can use permissionless private transactions via opaque state commitments.

**Requirements**:
Needs to be deployed on at least one Hylé devnet, bonus if public devnet, and use permissionless private transactions via opaque state commitments.

Best use of private transactions

**Description**:
Hylé only stores state commitments, so your state can be very fancy or very large.

**Requirements**:
Needs to be deployed on at least one Hylé devnet, bonus if public devnet, and offer an innovative use of verifiable off-chain storage.

Best use of verifiable off-chain storage

**Description**:
Hylé does not specify what an account or user identity is. This opens up plenty of avenues for interesting identity providers.

**Requirements**:
Needs to be deployed on at least one Hylé devnet, bonus if public devnet, and offer an innovative deployment of identity providers.

Best identity provider

**Description**:
Build a project that combines zk technology and machine learning. You might consider designing a protocol for one of the following:
- Proving correct inference of a machine learning model
- Proving correct training of a model
- Federated learning
- Others: surprise us with your creativity!

**Requirements**:
The project must be centered around the topics of machine learning and zero-knowledge proofs.

**Judging criteria**:
- Quality and originality of the cryptography underlying the project. That is, we will value projects that propose cryptographic protocols that are effective and creative in tackling the project’s goals.
- Quality of the implementation.

References (this list is not exhaustive by any means, we also encourage you look for your own references):
- An introduction to zero-knowledge machine learning: [https://worldcoin.org/blog/engineering/intro-to-zkml](https://worldcoin.org/blog/engineering/intro-to-zkml)
- [https://github.com/worldcoin/awesome-zkml](https://github.com/worldcoin/awesome-zkml)
- [https://www.modulus.xyz/](https://www.modulus.xyz/)
- [https://dev.risczero.com/zkvm/quickstart](https://dev.risczero.com/zkvm/quickstart)


Best zkML project

**Description**:
Keep it strange, build your protocol using lattice cryptography!
When it comes to Rust, there are not that many lattice cryptography libraries available. Here we challenge you to be a pioneer and fill this gap with your contribution. Draw inspiration from resources like [https://github.com/CMMayer/Toolkit-for-Ring-LWE-v1.0](https://github.com/CMMayer/Toolkit-for-Ring-LWE-v1.0).

**Requirements**:
The project needs to use lattice-based cryptography.

**Judging criteria**:
- Quality of the implementation.
- Relevance of the primitive implemented. We encourage you to implement a scheme that has the potential of being widely used by Rust cryptographers.

Best lattice-based cryptography protocol implementation

**Description**:
Build a cryptographic tool that supports social good/that benefits society. Your project can focus on areas such as privacy, accessibility, or identity, but is not limited to these fields. 

**Requirements**:
We welcome any application, provided you can demonstrate how it serves the greater good. 

**Judging criteria**:
- Impact on public good
  - How ambitious is the problem your project addresses?
  - How many would benefit from it?
  - What additional applications could your project enable?
- The usability of the project and its entry barriers
  - Economic barriers
   - Hardware barriers (possible decentralization)


Best cryptography for society

**Description**:
The advent of generative AI models presents a challenge: distinguishing between content created by humans and content generated by AI. One approach to address this issue involves cryptographically signing human-created content. However, this solution has significant limitations. For example, suppose Alice takes a photo and signs it (cryptographically). If Alice or someone else wishes to crop the photo or adjust its size, the initial signature becomes invalid for the modified photo, requiring Alice to sign the modified file. This scenario is impractical and unworkable, as we cannot expect content authors to always be available to sign their modified content. One way to tackle this problem is to design a zk-proof system that allows to prove statements of the following type: “This piece of content was modified from a piece of content X that held a valid signature”. The proof of this statement can then be used as a sort of “signature” for the modified piece of content.

**Note**:
Keep in mind that the above is just an example. We welcome and expect projects addressing the provenance problem in other creative ways.

**Requirements**:
On Starknet/using Cairo

**Judging criteria**:
- Resilience against AI agents
- Versatility
- Efficiency

**Some references**:
- [https://mit-genai.pubpub.org/pub/uk7op8zs/release/2](https://mit-genai.pubpub.org/pub/uk7op8zs/release/2)
- [https://direct.mit.edu/dint/article/5/1/139/109494/Provenance-documentation-to-enable-explainable-and](https://direct.mit.edu/dint/article/5/1/139/109494/Provenance-documentation-to-enable-explainable-and)

Best proof of provenance

**Description**:
Fhenix is an L2 on ETH that uses Fully Homomorphic Encryption (FHE) to provide privacy. For our track, we are looking for developers who are interested in building full-stack applications in the Fhenix ecosystem that use encrypted computation. This can be anything from on-chain poker, dark pools, confidential voting, etc. We’re open to ideas and look forward to seeing what you and your team come up with!

**Requirements**:
A successful submission will follow all of the requirements. We are looking for projects that have the potential to contribute something new and creating to the Fhenix ecosystem. This means that we would ideally like to see full stack applications that are ready to be hosted on a public domain and use encrypted computation. These projects should bring something new to the ecosystem, not specifically the field. We would like to see projects successfully integrated as a usable product for our testnet, so that other community members have the opportunity to participate as well. Test cases will also better help us discern between successful and unsuccessful projects.
Aside from the product side of things, we would like to see collaborative and methodical increments to the underlying codebase. This means that teams should be pushing as often as is pragmatic for each dev. We don’t want to see a few single large pushes.

**Judging criteria**:
We are looking for projects that are creative and technically complex. The ideal project would be a novel application of our FHE operations, that hasn’t been seen before. This can be in the form of novel library integrations, applications or even contract logic. We are looking for robustness, as stated, we want to reward to promote projects that we believe will be contributing products in our ecosystem. Ideally we would like to see applications that show off the unique features that are idiosyncratic to FHE specifically. Basically, why do you need composable privacy, vs traditional point of attestation privacy.

Best Use of Fhenix

Fhenix

**Description**:
[See all details here](https://fairmath.notion.site/Fair-Math-zkHack-Krak-w-2024-bounties-187e8459eb5548fb9d621a8d4a75a30a)

**Requirements**:
[See all details here](https://fairmath.notion.site/Fair-Math-zkHack-Krak-w-2024-bounties-187e8459eb5548fb9d621a8d4a75a30a)
TLDR:
1. Use one of the supported FHE libraries
2. Publish your project in a public repo on GitHub, under Apache 2.0 license
3. README.md file of your repo should contain instructions on how to execute your solution

**Judging criteria**:
Submissions will be evaluated based on the following criteria:
1. Correctness and accuracy
2. Execution time
That is, the winner will be the fastest application whose output is correct and accurate.

ZK Hack Kraków

Rules

FAQs

Sponsors

Hacker reviews

More hackathons

ETHIndia Grants 2.0

Hacknovate 5.0

CodeClash'24

ETHPrague 2024