◦
Are you into finding bugs and learning ZK? Here's a challenge for you
blog
Spent some time to write a challenge focused on GKR (the proof system) on top of the gnark framework (which is used to write ZK circuits in Golang).
It was a lot of fun and I hope that some people are inspired to try to break it :)
We’re using the challenge to hire people who are interested in doing security work in the ZK space, so if that interests you, or if you purely want a new challenge, try it out here: https://github.com/zksecurity/zkBank
And of course, since this is an active wargame please do not release your own solution or write up!
suggested reads: