ZK Hack Berlin

DEFAULT

Top Sponsors

Based Sponsors

Irreducible

Aleo

Community Sponsors

Boundless

Aztec

Horizen

Hyli

Arbitrum

ZKPassport

Gnosis

Xion

Self Protocol by Celo

Self

ZKValidator

Media Partners

ZeroKnowledge Podcast

ZK Podcast

Founder

Anna Rose

Celo

President

Rene Reinsberg

Celestia

Connor

Polygon

VP @ Polygon Labs

Hudson Jameson

Co-founder

Stefan George

Osmosis

Co-Founder

Secretary

Lisa Akselrod

Trifle

Billy Rennekamp

Co-founder & CEO

Sylve Chevet

Théo Madzou

Anoma

Researcher

Yulia

Binary Builders

Marko

Miden

Gaylord Warner

Alpen Labs

Founding Cryptographer

Liam Eagen

Evi / TranquilFlow

Software Engineer

Zeng Huy Tay

Interchain Foundation

Product Manager

Susannah Evans

DevOps Lead

Koen van Marrewijk

Ethereal Ventures

Partner

Praneeth Srikanti

Inversed.tech

CTO & Co-founder

Aurélien Nicolas

Sasha Aldrick

Jim Posen

Christy Cui

Milica Vulic

Rafi

Savio Sou

Josh Crites

Michael Elliott

Daniel Lumi

Chris Cordle

Lena Hierzi

Maximilien Grattepanche

Matteo Mervoyer

Devfolio

Victor

zklim

Matteo

Radi

Hack-O-Knight

Metis Hyperion: HyperHack

MumbaiHacks 2025 - Round 1 (Online)

Hack Quanta

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

**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

Selected Project 1

Selected Project 2

**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

Best Project

**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

**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

**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 3

**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

**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

**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

**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:**

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


Honorable Mentions

Honorable Mention #1

Honorable Mention #2

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

**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

Runner-Runner-Up Consumer ZK App

Runner-Up Consumer ZK App

**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

💻 Best Self offchain SDK Integration

ZK Hack Berlin

ZK Hack Berlin

$44,500

Available in Prizes

$44,500

Available in Prizes

Speakers & Judges

Speakers & Judges

Sponsors

Sponsors

Sponsors

Sponsors

FAQs

FAQs

ZK Hack Berlin

ZK Hack Berlin

$44,500

Available in Prizes

$44,500

Available in Prizes

Speakers & Judges

Speakers & Judges

Sponsors

Sponsors

Sponsors

Sponsors

FAQs

GROUND RULES

JUDGING CRITERIA:

FAQs

GROUND RULES

JUDGING CRITERIA: