ZK Hack Puzzle Partners: Anoma and Aleo

Susannah Evans
Zero Knowledge Validator
3 min readSep 30, 2021

Summary

  • ZK Hack starts 26th October, sign up through our website
  • Anoma and Aleo have designed the puzzles that will make up the competition element of the ZK Hack
  • The event series will consist of 6 puzzles and 7 workshops
  • There will be prizes awarded after every puzzle competition along with a leaderboard keeping track of participants rankings throughout the ZK Hack

We recently announced the launch of the ZK Hack, a series of workshops and puzzle competitions that will bring the entire ZK community together. The event series blends a hackathon and capture the flag along with a learning environment to onboard less experienced ZK users into the space. Starting on the 26th of October, we will begin with a workshop introducing the fundamentals behind zero knowledge proofs and kick off our first puzzle competition.

The ZK Hack would not be possible without the support of our puzzle builders Anoma and Aleo, their expert cryptographers have devised three puzzles each that form the competition elements after each workshop.

About our partners

Aleo

With a bespoke programming language, Leo, and development toolkit, Aleo enables developers to quickly & easily build applications that are private by default. The IDE is the first of its kind to be tailored specifically for unlocking the power of zero-knowledge cryptography without requiring a PhD in the subject.

Anoma

By implementing the multi-asset shielded pool (MASP), Anoma allows all assets (be it cryptocurrencies other fungible assets, or NFTs) to share the same shielded pool — making a transaction involving DAI indistinguishable from another one involving a CryptoPunk. With the deployment of customized zero-knowledge circuits to enable different use cases, Anoma is able to facilitate interactions in the network with different levels of privacy guarantees (partial, full) depending on the requirements. Juvix, a dependently-typed functional programming language for writing validity predicates, can be used to write arbitrary zero-knowledge circuits deployable on Anoma.

More Details about ZK Hack

Each week we will host an interactive, 2-hour workshop where participants can get involved and learn about ZK concepts and tooling. This is perfect for folks that are new to the ZK space, or cryptographers that want to broaden their skill set. After each workshop, the puzzle for that week will be released and the hacking competition will begin. Hackers will submit their solution for judging with the fastest correctly submitted solution ultimately winning the first prize. The next two participants to submit a correct solution will receive the second and third place prize, if multiple correct solutions are submitted within a very short time frame, at the judges discretion, the prize fund may be split. We will also have a leaderboard on the ZK Hack website to show off winners. Extra mystery prizes will be awarded at the end of all 6 puzzle competitions for those that participated.

So join us this Autumn for the ZK Hack debut. Come ready to learn, compete and win prizes! Don’t forget to follow us on twitter to stay up to date with the latest developments and join the official discord server to hang out with hackers and chat with us.

--

--