加入我们的zkHack Berlin Hackathon，我们将带来Relayer、zkVerify 用于 ZK 证明验证的新 REST API 服务，以及针对最佳 zkApps 的 1,000 美元奖金。

🗓日期： 2025年6月20日至22日

📍地点： w3.hub, Möckernstraße 120, 10963 Berlin

本次黑客马拉松是旨在获得 Horizen 资助计划资助的项目的第一块垫脚石，为黑客马拉松后的长期支持和孵化打开了大门。

我们特别高兴能与探索高级 ZK 应用程序的构建者建立联系，例如：

• 公平游戏

• 人工智能验证

• 私人通信

• 可证明的随机性

  …还有更多。

什么是 zkVerify Relayer？

zkVerify是一个高性能区块链，致力于大规模零知识证明验证。它是 Horizen 技术栈中的关键层，为开发者和用户提供高效且可扩展的零知识证明验证。

zkVerify Relaye r是由Horizen Labs构建的轻量级 REST API 服务，它进一步简化了开发者的验证流程。它快速、灵活且顺畅，非常适合那些希望集成 ZK 而无需成为 ZK 专家的开发者。

通过使用 zkVerify 及其 Relayer，构建者可以获得以下好处：

• 支持各种证明系统的能力

• 超快速验证

• 成本效益和可扩展性

• 开发人员友好的工具

• 面向未来的设计

奖励

我们将向在 zkHack Berlin 期间集成 zkVerify Relayer 服务的最佳项目奖励 1,000 美元。

你的 zkApp 应该：

• 在 zkHack Berlin 期间构建（没有预先存在的代码）

• 集成 zkVerify Relayer 来验证零知识证明

• 使用任何支持的证明系统：zkverify.io/supported_proofs

• 与 Base Sepolia 上的 zkVerifyAttestation 智能合约进行交互

符合以下情况可获得加分：

• 您将 Relayer 抽象化，以便最终用户不需要知道它的存在

• 您演示了一个清晰的 ZK 用例（例如，身份、分数、访问、合规性）

• 您的应用功能齐全、直观且可测试

黑客马拉松规则

本次竞赛旨在使用 ZK 证明开发新的创新应用程序，这些应用程序可以通过 Relayer 在 zkVerify 上进行验证。

要求：

• 项目必须由提交的团队或个人创建。

• 代码必须在黑客马拉松期间编写。不允许提交先前提交的代码或重复使用的项目。

• 项目不得包含非许可许可下的代码。

• 仅当对先前的工作进行重大调整以适用于zkVerify Relayer时才允许对其进行分叉。

• 需要在黑客马拉松期间有清晰的提交历史。

中继器集成

• 项目必须集成 Relayer 进行 ZK 证明验证。

• 可以使用zkverify.io/supported_proofs列出的任何验证器。

• zkApp 必须部署在 Base Sepolia 上。

• 智能合约应该与链上部署的 zkVerifyAttestation 合约进行交互，以验证证明的正确性。

功能要求

你的 zkApp 应该展示以下内容之一：

首选方案（抽象用户体验）：

• 用户仅与 zkApp 前端交互。

• 最终用户不需要持有资金。

• 后端必须处理：

  • 向中继者提交 ZK 证明。

  • 监听并处理验证成功后发出的事件。

选择：

• 一个功能性的 zkApp，其中 Relayer 明显集成，即使对于最终用户来说不是完全抽象的。

提交

• 代码必须通过公共 GitHub 仓库提交。

• 包含以下内容的清晰 README.md：

  • 如何设置和运行 zkApp。

  • ZK 用例的解释。

  • 团队成员姓名和背景。

  • （可选）显示与 zkVerify 和 Relayer 集成的架构图。

评审标准

• zkApp的完整性和原创性。

• 有效利用 Relayer 进行证明验证。

• 用户体验：优先考虑那些为最终用户抽象出复杂性的应用程序。

• 技术质量：适当的提交历史、模块化和清晰的架构。

• ZK 用例的清晰文档和解释。

• 零知识证明的创造性或高影响力用例可获得加分。