Video Summary

This is the official ZK Hack V kickoff session! It starts with a presentation of the ZK Hack ecosystem, going through the many projects that get you onboarded into ZK and programmable cryptography.
Then, Anna Rose is joined by David Wong from zkSecurity and they chat about David's journey into ZK and various topics related to auditing zk-circuits, zk-DSLs or zk-VMs: the mindset, common pitfalls, new tools like formal verification or fuzzers, etc. As David answers the questions from Anna and from the ZK Hack V audience, the discussion shed some light on the key concepts encountered in ZK auditing.
In the next part, Anna properly introduces ZK Hack V and its different facets: the puzzle competition, the technical workshops, and the afterparty with a ZK Job Fair! She also welcomes ZK Hack V Workshop Partners on-stage for them to say a few words about their project, as well as their upcoming workshop – Zain Cheng of zkVerify, Dominik Schmidt of Polygon Miden, and Shumo Chu of Nebra.
Last but not least, a strange a scary bug jumps on to say a few words about ZK Hack V Puzzle V-1. And just like that, the competition finally begins!