ZK Hack Berlin

DEFAULT

Thanks to our Prize Partner ZKV, the best projects (aka Top 3) will share a prize amount of $5,500.

ZK Hack Berlin Winners

ZK Hack Berlin Grand Winner

ZK Hack Berlin 2nd Place

ZK Hack Berlin 3rd Place

Chewing Glass

Hackers Choice

Irreducible

**Description:**
Accelerate our benchmark for the zerocheck protocol. The input is 3 multilinear polynomials---a, b, and c---over GF(2) with 24 variables each (2^24 coefficients). The protocol checks that the values a(i) * b(i) - c(i) = 0 for all coordinates i in the boolean hypercube. Variations of sumcheck that send more than 2 elements in the first round are allowed (ie. univariate skip), as long as the first round message is at most 1,024 GF(2^128) elements.

The benchmarks runs on an AWS c8g.2xlarge with 8 vCPU and 16 GiB RAM with an ARM64 Graviton processor.

**Requirements:**
- The prover is correct: your modification passes the verification test embedded in the benchmark.
- The benchmark is at least 2x faster than the default provided.

The benchmark code is: https://github.com/IrreducibleOSS/binius/blob/zk-hack-berlin/examples/benches/one_bit_zerocheck.rs

1-bit Zerocheck

Best Project

**Description:**
Accelerate our benchmark for the additive NTT. The input is one vector of 2^20 GF(2^128) elements, and it is processed with the additive NTT algorithm.

The benchmarks runs on an AWS c8g.2xlarge with 8 vCPU and 16 GiB RAM with an ARM64 Graviton processor.

**Requirements:**
- The prover is correct: your modification passes the verification test embedded in the benchmark.
- The benchmark is at least 2x faster than the default provided.

The benchmark code is: https://github.com/IrreducibleOSS/binius/blob/zk-hack-berlin/examples/benches/additive_ntt.rs

Additive NTT

**Description**
Accelerate our benchmark for the big field sumcheck protocol. The input is two multilinear polynomials---a and b---over GF(2^128) with 18 variables each (2^18 coefficients), along with a random challenge point r. The sumcheck computes the sum over the boolean hypercube of (a(i) * b(i) * eq(i, r)).

The benchmarks runs on an AWS c8g.2xlarge with 8 vCPU and 16 GiB RAM with an ARM64 Graviton processor.

**Requirements**
- The prover is correct: your modification passes the verification test embedded in the benchmark.
- The benchmark is at least 2x faster than the default provided.

The benchmark code is: https://github.com/IrreducibleOSS/binius/blob/zk-hack-berlin/examples/benches/big_field_sumcheck.rs



Big-field sumcheck

Aleo

**Description:**
Whether it's anonymous casino, anonymous betting, or arcade games, we want to see creativity and fun built on Aleo!

**Requirements:**
- Submission Components: Complete project that includes GitHub repository and a README file. Video demo/walkthrough.

- Novelty Requirement: Duplicate or copied projects will be disqualified.

- Team Composition: Open to individuals or teams. All team members must meet the eligibility criteria if participating as a team.

- No Pre-Built Solutions: Eligible projects must be built during the hackathon only to ensure fairness.

Best anonymous game built on Aleo

**Description:**
DEXes, lending markets, privacy-preserving order book, private prediction markets, launch pads, you name it!

**Requirements:**
- Submission Components: Complete project that includes GitHub repository and a README file. Video demo/walkthrough.

- Novelty Requirement: Duplicate or copied projects will be disqualified.

- Team Composition: Open to individuals or teams. All team members must meet the eligibility criteria if participating as a team.

- No Pre-Built Solutions: Eligible projects must be built during the hackathon only to ensure fairness.

Best privacy-preserving Defi app on Aleo

Boundless

**Description:**
This co-bounty, in collaboration with Hyli, asks participants to build innovative applications on the Hyli testnet leveraging Boundless for proof generation.

**Requirements:**
Participants can choose to pursue one of two distinct challenges, each with a prize of $500:

- Deploy an application on the Hyli testnet using Boundless for proof generation: Projects must clearly utilize both Boundless and Hyli in its architecture or functionality.

- Build a ZK-hyperliquid on Hyli using Boundless for proof generation: Projects should demonstrate how zero-knowledge proofs can enhance a hyperliquid-like system, integrated with Hyli and Boundless.

Boundless + Hyli

**Description:**
This bounty is for hackers building using Boundless. We're seeking projects that demonstrate novel use cases, robust implementations, and showcase the capabilities of Boundless in various applications. Any valid use of Boundless for proof generation counts. 

Up to three chosen projects that meet the criteria and sufficiently utilize Boundless will be awarded $500 each.

**Requirements:**
Develop and submit a functional project that incorporates Boundless as a core component for proof generation. The project should:

- Clearly demonstrate a significant and integrated use of Boundless.

- Be well-documented, explaining the project's purpose, architecture, and how Boundless is employed.

- Provide a clear demonstration of its functionality (e.g., live demo, video, or detailed steps to reproduce).

Build with Boundless

Selected Project 1

Selected Project 2

Selected Project 3

Aztec

**Description:**
This bounty is awarded to the project that best demonstrates the comprehensive capabilities of the Aztec testnet. We are looking for innovative, robust, and well-executed applications that leverage Aztec's privacy features (e.g., private smart contracts, shielded transactions) to solve real-world problems or create novel experiences. The project should showcase strong technical implementation, a clear value proposition, and a compelling user experience (if applicable).

**Requirements:**
- Project must be built primarily on the Aztec testnet.
- Must utilize Aztec's privacy-preserving features (e.g., private state, private functions, Noir).
- A clear demonstration of functionality (e.g., live demo, video walkthrough).
- Well-documented codebase (e.g., GitHub repository with README, installation instructions).
- Submission should include a brief presentation or pitch deck explaining the project's purpose, architecture, and features.

Grand Prize: Best Overall Aztec Testnet Project

**Description:**
This bounty recognizes a project that stands out for its exceptional technical depth or its highly innovative approach to utilizing the Aztec testnet. We're looking for solutions that creatively apply Aztec's features, demonstrating a deep understanding of its capabilities, or introduce a truly novel concept that leverages privacy. This could be a complex protocol, a unique privacy-preserving mechanism, or a highly optimized solution.

**Requirements:**
- Project must be built on the Aztec testnet.
- Demonstrates a high level of technical sophistication or a highly original application of Aztec's privacy features.
- Working prototype or functional code.
- Source code available in a public repository.
- Explanation of the innovative aspect or technical challenges overcome.

Most Innovative or Technically Proficient Aztec Integration

**Description:**
This grant is awarded to a promising project that demonstrated significant effort, a solid understanding of the Aztec testnet, and a creative approach, even if it didn't secure a top-tier prize. We're looking for well-intentioned and well-executed ideas that show potential for future development within the Aztec ecosystem.

**Requirements:**
- Project must be built on the Aztec testnet.
- Demonstrates a clear concept and effort in implementation.
- Basic functionality demonstrated.
- Submission of code and brief project description.

"Builder's Choice" Grant

Grant 1

Grant 2

Horizen

**Description:**
Develop a zkApp using Relayer on Base Sepolia

**All Details, help and docs**
https://mirror.xyz/0xF4D306be0E45E78bfE29588Bd018fe9CE405a62d/Azs9dVs3AlPyta2UKj4ta2iNkWkKbP_K9LmB19eWXWg

**Requirements:**
- Projects must be created by the team or individual submitting them.
- Code must be written during the hackathon. No prior submissions or reused projects allowed.
- Projects may not include code under non-permissive licences
- Forking previous work is allowed only if significantly adapted for use with the zkVerify Relayer.
- A clear commit history during the hackathon period is required.

- Relayer Integration:
Projects must integrate Horizen's Relayer for ZK proof verification.
Any of the verifiers listed at https://docs.zkverify.io/overview/supported_proofs may be used.


- The zkApp must be deployed on Base Sepolia.
The smart contract should interact with the zkVerifyAttestation contract deployed on-chain to verify proof correctness.

- Functional Requirements
Your zkApp should demonstrate one of the following:
Preferred Option - Abstracted UX:
Users interact only with the zkApp frontend.
End users should not need to hold funds.

- The backend must handle:
Submitting ZK proofs to the Relayer.
Listening for and processing events emitted after successful verification.

- Alternative:
A functional zkApp where Relayer is clearly integrated, even if not fully abstracted for the end user.

- Submission:
Code must be submitted via a public GitHub repo.
Include a clear README.md with the following:
How to set up and run the zkApp.
Explanation of the ZK use case.
Team member names and backgrounds.

- (Optional) Architectural diagram showing integration with zkVerify and Relayer.

The most innovative zkApp using Relayer

Hyli

**Description:**
Build a zk-powered application on the Hyli testnet using Boundless and/or Risc0, from privacy-preserving identity apps to zk-hyperliquid protocol.

**The project must:**
- Successfully deploy a working application on the Hyli testnet.
- Use Boundless to integrate smart contract logic that leverages ZK proofs AND/OR use Risc0 to generate and verify zero-knowledge proofs as part of the application’s flow.
- Demonstrate at least one meaningful interaction or user flow that involves proof generation & verification.
- Showcase an innovative or useful application of Hyli’s capabilities.

Hyli + Boundless

**Description:**
Leverage ZKPassport SDK to do conditioned token transfers thanks to Hyli

**The project must:**
The project uses the ZKPassport SDK and verifies the resulting proof on Hyli to build one of the following:
- A token that can only be transferred to people of another nationality than you
- A token that can only be traded if you're over 18 (or under 25 for proof of zoomer)
- A token with transfers conditioned on any other kind of attributes/conditions derivable from ZKPassport proofs: be creative!

Hyli + ZKPassport

**Description:**
Deploy your own application on the Hyli testnet and explore what’s possible on top of Hyli’s modular, scalable architecture.


**The project must:**
- Successfully deploy a live application on the Hyli testnet.
- Use Hyli-native contracts and tooling.
- Be original/creative or meaningfully extend existing concepts.

Deploy an application on the Hyli testnet

Arbitrum

**Description:**
Build a zero-knowledge application that solves a real-world problem, demonstrates clear product-market fit, and is deployed exclusively to an Arbitrum testnet. Your app should show signs of being something users would adopt or pay for. We are looking for ZK-based use cases that are ready to be used today or have strong potential to be deployed to mainnet soon. You can use any ZK proving system or tooling, but we strongly encourage building with Arbitrum Stylus in Rust.

**Requirements:**
- Must be deployed to an Arbitrum testnet.
- Must use zero-knowledge proofs as a core component of the application logic
- Must solve a real user problem and demonstrate product-market fit (examples: identity, data privacy, private DeFi, selective disclosure)
- Must include a clear README with instructions for how to run and test the app
- Teams must submit a short video walkthrough of the app and how it works
- Bonus points for using Stylus with Rust for either the ZK verifier or app logic

Best ZK App with Product-Market Fit

**Description:**
Build a zero-knowledge application that intentionally has no clear product-market fit. Think experimental, fun, strange, or technically ambitious. This bounty rewards projects that push the boundaries of what’s possible with ZK, even if they have no current users or business case. Your app must be deployed to an Arbitrum testnet and should showcase creative use of ZK proofs. We encourage you to go wild, try something new, and surprise us. Bonus points if you use Stylus and Rust.

**Requirements:**
- Must be deployed to an Arbitrum testnet
- Must use zero-knowledge proofs in a core part of the application
- Must be creative and out of the box
- Must include a clear README and instructions to test the app
- Teams must submit a short video walkthrough of the app and what makes it intentionally not viable, creative or absurd
- Bonus points for using Stylus with Rust for either the ZK verifier or app logic

Best ZK app with No Product-Market Fit

**Description:**
Arbitrum has a Multi-VM architecture: WASM is deployed alongside EVM. Arbitrum Stylus allows you to deploy Rust & C smart contracts with seamless interoperability with the EVM. Stylus offers much cheaper ZK proof verification, and these verifiers can be called by any EVM or WASM contract. Implement a zero-knowledge proof verifier in Rust for use on Arbitrum Stylus. Your contract should be written using the Stylus Rust SDK and deployed to a supported Arbitrum testnet. You may choose any proving system, but the verifier must be usable as a standalone contract by other developers. The goal is to expand the ecosystem of ZK tooling on Stylus and make it easier to integrate onchain proof verification into Rust-based Arbitrum apps.

**Requirements:**
- Verifier must be implemented using the Arbitrum Stylus Rust SDK
- Must be deployed to a live Arbitrum Stylus testnet
- Must include a sample circuit and a working proof to test the verifier
- Must include documentation for usage and integration
- Code should be modular and reusable by other Arbitrum applications
- Teams must submit a video demo showing the verifier working with a proof

Build a ZK Verifier in Rust for Stylus

ZKPassport

Use the ZKPassport SDK to verify user identity—privately, securely, and without leaking sensitive personal information.

Whether you’re building in a Web2 flow or fully onchain with our EVM verifier on Sepolia, let your creativity flow and build the most original and amazing project you can think of.

**Project ideas to get you started:**

- **ZK Captcha** – Prevent spam and bots with proof of uniqueness using ZKPassport’s unique identifier.
- **Age Gating** – Restrict access to 18+ content or offer age-based discounts (e.g. 18–25) without revealing full DOB.
- **Decentralised Verified Name Badge** – A portable proof of first + last name that can be used on decentralised social media platforms to prove you are who your profile says you are.
- **Country Feedback Board** – Let users [post feedback](https://onlyinportugal.com/) about their country—the good and the bad—after proving citizenship or residency via passport, national ID, or residency card. Think OnlyInPortugal.com but verified.
- **Gated Group Chat** – Create gated group chats based on verified credentials like country, first name, gender etc.
- **Global Map Contest** – Build a real-time map and country leaderboard showing how many users from each country have submitted a valid proof of country
Bonus: Get other hackers at ZK Hack to boost your leaderboard.

Let your creativity flow—we’ll be judging the most original and impactful use of ZKPassport.

**Requirements**:
- The project uses the ZKPassport SDK.

**Note:**
- The prize can be awarded to 1 or 2 teams (divided evenly between the two in the latter case), at our discretion

Private Identity Verification

**Description**:
Leverage ZKPassport SDK to do conditioned token transfers thanks to Hyli

**Requirements**:
The project uses the ZKPassport SDK and verifies the resulting proof on Hyli to build one of the following:

- A token that can only be transferred to people of another nationality than you
- A token that can only be traded if you're over 18 (or under 25 for proof of zoomer)
- A token with transfers conditioned on any other kind of attributes/conditions derivable from ZKPassport proofs: be creative!

ZKPassport + Hyli

Xion

**Description:**
ZK and other cryptographic research is going to usher in an age of consumer applications and use cases. Let's see products and experiments which aim to reach wide user-bases of non-technical users, on commodity devices. 

**Requirements:**
The application needs to be designed for and appeal to users who are not familiar with blockchains/cryptocurrencies/etc. Assume the audience is non-technical, but familiar with general internet and app usage.

Consumer ZK Apps

Best Consumer ZK App deployed on Xion

Consumer ZK App - Runner-up

Best Consumer ZK App

Self

**Self Resources**
Self is a privacy-first, open-source identity protocol that uses zero-knowledge proofs for secure identity verification. Self lets you verify your identity while keeping your data private. Prove who you are, your age, where you're from and verify it onchain or offchain.

Self lets you verify your identity seamlessly and securely:
🙋‍♀️ Prove your name.
🇺🇳 Prove where you’re from.
🛂 Prove your passport number.
🔞 Prove your above a certain age.
🚫 Prove you’re not on the OFAC sanctions list.

Prove it all, onchain or offchain without sharing any private information with third parties.


Resources:

TG support: https://t.me/selfprotocolbuilder
Docs: https://docs.self.xyz/
Website: https://self.xyz/
Playground: https://playground.self.xyz/
Staging Playground (for Mock Passports): https://playground.staging.self.xyz/	
Basic Integration: https://docs.self.xyz/contract-integration/basic-integration
StarterKit:
Proof of Humanity: https://github.com/selfxyz/proof-of-human	
Example: 
Airdrop: https://docs.self.xyz/contract-integration/airdrop-example
Happy Birthday: https://github.com/selfxyz/happy-birthday	


**Description:**
Integrate Self onchain SDK into your application so users can prove their identity!
Check the docs linked below to understand how to integrate the Self SDK into your Smart Contract.

Basic Integration: https://docs.self.xyz/contract-integration/basic-integration
Example: https://docs.self.xyz/contract-integration/airdrop-example

**Requirements:**
To be eligible projects must:
implement Self onchain SDK (right now only on Celo mainnet and testnet)
proof needs to work

🏆 Best Self onchain SDK Integration

**Self Resources**
Self is a privacy-first, open-source identity protocol that uses zero-knowledge proofs for secure identity verification. Self lets you verify your identity while keeping your data private. Prove who you are, your age, where you're from and verify it onchain or offchain.

Self lets you verify your identity seamlessly and securely:
🙋‍♀️ Prove your name.
🇺🇳 Prove where you’re from.
🛂 Prove your passport number.
🔞 Prove your above a certain age.
🚫 Prove you’re not on the OFAC sanctions list.

Prove it all, onchain or offchain without sharing any private information with third parties.


Resources:

TG support: https://t.me/selfprotocolbuilder
Docs: https://docs.self.xyz/
Website: https://self.xyz/
Playground: https://playground.self.xyz/
Staging Playground (for Mock Passports): https://playground.staging.self.xyz/	
Basic Integration: https://docs.self.xyz/contract-integration/basic-integration
StarterKit:
Proof of Humanity: https://github.com/selfxyz/proof-of-human	
Example: 
Airdrop: https://docs.self.xyz/contract-integration/airdrop-example
Happy Birthday: https://github.com/selfxyz/happy-birthday	

**Description:**
Integrate Self offchain SDK into your application so users can prove their identity!
Check out the Quickstart to see how quickly you can implement the Self SDK into your dApp.

**Requirements:**
To be eligible, projects must:
implement Self offchain SDK proof needs to work

ZK Hack Berlin

ZK Hack Berlin

ZK Hack Berlin$9,000

Irreducible$6,000

Aleo$10,000

Boundless$2,000

Aztec$3,000

Horizen$3,000

Hyli$3,000

Arbitrum$3,000

ZKPassport$1,500

Xion$3,000

Self$1,000

ZK Hack Berlin

$9,000: ZK Hack Berlin Winners

Irreducible

$3,000: 1-bit Zerocheck

$2,000: Additive NTT

$1,000: Big-field sumcheck

Aleo

$5,000: Best anonymous game built on Aleo

$5,000: Best privacy-preserving Defi app on Aleo

Boundless

$1,500: Build with Boundless

$500: Boundless + Hyli

Aztec

$1,500: Grand Prize: Best Overall Aztec Testnet Project

$1,000: Most Innovative or Technically Proficient Aztec Integration

$500: "Builder's Choice" Grant

Horizen

$3,000: The most innovative zkApp using Relayer

Hyli

$2,000: Deploy an application on the Hyli testnet

$500: Hyli + Boundless

$500: Hyli + ZKPassport

Arbitrum

$1,000: Best ZK App with Product-Market Fit

$1,000: Best ZK app with No Product-Market Fit

$1,000: Build a ZK Verifier in Rust for Stylus

ZKPassport

$1,000: Private Identity Verification

$500: ZKPassport + Hyli

Xion

$3,000: Consumer ZK Apps

Self

$750: 🏆 Best Self onchain SDK Integration

$250: 💻 Best Self offchain SDK Integration

ZK Hack Berlin$9,000

Irreducible$6,000

Aleo$10,000

Boundless$2,000

Aztec$3,000

Horizen$3,000

Hyli$3,000

Arbitrum$3,000

ZKPassport$1,500

Xion$3,000

Self$1,000

ZK Hack Berlin

$9,000: ZK Hack Berlin Winners

Irreducible

$3,000: 1-bit Zerocheck

$2,000: Additive NTT

$1,000: Big-field sumcheck

Aleo

$5,000: Best anonymous game built on Aleo

$5,000: Best privacy-preserving Defi app on Aleo

Boundless

$1,500: Build with Boundless

$500: Boundless + Hyli

Aztec

$1,500: Grand Prize: Best Overall Aztec Testnet Project

$1,000: Most Innovative or Technically Proficient Aztec Integration

$500: "Builder's Choice" Grant

Horizen

$3,000: The most innovative zkApp using Relayer

Hyli

$2,000: Deploy an application on the Hyli testnet

$500: Hyli + Boundless

$500: Hyli + ZKPassport