Join Anoma at the ZK Hack
The team behind Anoma is proud to announce the partnership between Anoma, Zero Knowledge Podcast, and ZKValidator in launching ZK Hack!
ZK Hack is a multi-round virtual event running for 7 weeks, from the 26th of October until 7th December, 2021, with a competition element that consists of 3 puzzles built by Anoma, and 3 built by Aleo, with prizes to be won. Every week, there will be a workshop, starting with an introductory session on October 26th where everyone can get to know the puzzle builders and workshop hosts and join a 2-hour long interactive workshop which will end with the first puzzle announcement. Subsequent weeks will feature interactive workshops run by different hosts, with a new puzzle and previous puzzle winners announced at the end of each session. Join us at Anoma’s workshop on Week 4 — November 16th.
ZK Hack is an opportunity for everyone to learn more about the implementation of zero-knowledge proofs and play around with related tooling especially designed for those who are not yet confident with the primitives or software involved. The weekly workshops, hosted by a range of top zero-knowledge projects, will provide accessible instructions to the theory and technology of ZKPs.
Zero-knowledge proofs and Anoma
Zero-knowledge proofs are utilized by Anoma to provide privacy for multi-party bartering. Anoma implements generalized private bartering using a zero-knowledge circuit, allowing users to settle trades without revealing any information to observers of the ledger.
To raise an example: in the Anoma blockchain, we want to be able to verify the transactions that make sense. If Alice wants to send 1 XAN to Bob, she wants to check later that this transaction has been written by her, signed by her, and that there is at least 1 XAN in her wallet for her to do so. Alice can craft a validity predicate in this case that expects a zero-knowledge proof as an input from a transaction, and her validity predicate will try to evaluate that proof. Only if the proof is valid, the validity predicate will return true, and the state is changed. Everybody can verify the whole blockchain’s transactions, but every user like Alice wants this to be private. This is where zero-knowledge proofs become useful — in proving the knowledge of information satisfying particular conditions without revealing that information itself. Zero-knowledge proofs are essential for any kind of anonymity on the blockchain, which itself is public.
- More in-depth: Enabling multi-asset privacy on Anoma
The motivation behind Anoma to join ZK Hack
ZK Hack is a great way to interact with the broader zero knowledge community, help spread knowledge about zero-knowledge proofs, and facilitate standardization and common understanding of the technology. Zero-knowledge proof systems are critical to realizing the Anoma vision, and such mathematics and technology must be open-source, extensively reviewed, and accessible to a wide developer base. We’re thrilled to do our part to bring this technology to fruition.
Sign up for ZK Hack on the official website, connect with the hosts and participants on Discord, and follow ZK Hack on Twitter for the latest updates.
The team behind Anoma looks forward to meeting everyone at the workshop on November 16th!
