zkBank - zkBank is the most secure banking system in the wo

项目说明

zkBank

> [!WARNING]
> Please do not publish a write up or solution to this challenge, as we actively use it for recruiting :) thanks!

Alice is a sneaky one, she's been trying to send more than what she has to Bob's account. Good thing that we use zero-knowledge proof to enforce the integrity of our transfer. We just want to make sure that Bob can get 100,000 worth of coins or more. Can you help us Alice's proof?

!zkbank

> [!NOTE]
> This is a challenge published as part of zkSecurity's recruiting effort. Note also that this is a real bug that was found during an audit, so you're not just solving a silly puzzle here :D

Setup

We assume that you have Golang installed. You can install the dependencies and run the tests:

The test should fail as Bob did not get more than 100,000 coins in his account.

Submitting a response

You can try submitting a proof on our servers here:

You will get a congratulation message as well as next steps on how to apply if you succeed. Good luck :)

项目信息

开发语言：Go

Star 数：221

技术要点

该项目属于CTF思路方向的开源资源，代码结构清晰，适合安全研究人员学习参考。项目围绕zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!展开，提供了可运行的实现，对理解相关安全机制、工具原理与攻防技术具有较高的研究价值。

从技术实现角度看，此类项目的核心在于对底层原理的深入理解与工程化落地。开发者在研究过程中可以结合官方文档与社区讨论，梳理项目的初始化流程、核心模块职责与数据流转，逐步掌握其中的技术细节与设计思路。

使用与学习建议

1. 下载源码压缩包，解压到本地环境。

2. 根据项目类型准备对应的运行环境与依赖。

3. 按照 README 中的步骤完成配置与部署。

4. 在隔离的测试环境中运行验证，避免影响生产系统。

免责声明

本资源来源于开源社区，仅供安全研究、技术学习与合法授权范围内的攻防演练使用，请勿用于任何非法或侵害他人权益的用途。使用本项目产生的一切后果由使用者自行承担。