ZK Hack
Your journey into zk starts here: Events, puzzles, videos, study clubs 🚀
Discord: discord.gg/VGyP6GtGd2
YouTube: youtube.com/@zkhackdev
Website: https://zkhack.dev
- Mod 8 is out there! ZKML, w/ Jason Morton P.S .(Maybe) This is the last module of the season (or maybe not…) Here’s the full access youtu.be/fp-inljHYGA
- Mod 6 is out. Trusted Execution Environments, w/ Andrew Miller Watch it here: youtu.be/fX3axBmv410
- Module 5 is live! We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris Thanks to @BainCapCrypto for the support. Full access to all module resources zkhack.dev/whiteboard/s...
- Boom! We just released Module 4 of the ZK Whiteboard Sessions, part 2 in our Lattice series. LatticeFold, w/ Binyi Chen (@Charles_Chen533) Thanks to @BainCapCrypto for the support Full access here zkhack.dev/whiteboard/s...
- Mod 2 of the ZK Whiteboard Sessions S3 is LIVE High-Performance Engineering for SNARKs, w/ Jim Posen from Irreducible & @nicomnbl You can watch Module 2 and gain access to all the resources mentioned in the session here. This season is supported by Bain Capital Crypto
- It’s time to reveal the ZK Whiteboard S3 Module 1... because it's LIVE! 🥁🥁🥁🥁 How to Build Hash Functions, with Jean-Philippe (JP) Aumasson @aumasson.jp & @nicomnbl.bsky.social Watch the full module here: zkhack.dev/whiteboard/s...
- 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 Google Cloud integrates Self for proof-of-humanity 👾 Ariel Gabizon and Liam Eagen improve IPA PCS 👾 Lambda Class explain GKR 👾 PSE bug in ZK-kit 👾 ProofLab stress-test provers on mainnet 🧵👇
- Google Cloud is bringing Self Protocol's proof-of-humanity ZKP to support AI tooling and infrastructure for their Web3 portal, with attestations posting on the Celo blockchain. self.xyz/blog/google-...
- Ariel Gabizon and Liam Eagen published a paper that improves verifier complexity to polylog for multi-linear polynomial commitments based on IPA. eprint.iacr.org/2025/1325
-
View full threadHope you liked this week’s #ZKMeshMini! Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, events... and keep track of the many developments happening in the zk-space! zkmesh.substack.com
- 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 A zkTLS extension released 👾 @zkv-xyz.bsky.social explain post-quantum CPU optimizations 👾 Hackers built on Mopro toolkit 👾 zkSecurity Halo2 bug 👾 @quantamagazine.bsky.social FS article 🧵👇
- Chris's Network Request Analyzer Extension has been open-sourced for generating templates across several different zkTLS systems using just natural language prompts. github.com/seichris/net...
- @zkv-xyz.bsky.social explains how lattice-based post-quantum crypto (PQC) leverages CPU vectorization for speed, while isogeny-based schemes remain compact but less parallelizable — hardware matters as much as math in PQC performance. mirror.xyz/privacy-scal...
-
View full threadHope you liked this week’s #ZKMeshMini! Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, events... and keep track of the many developments happening in the zk-space! zkmesh.substack.com
- The ZK Podcast released an episode on local-first software this week! @arro.bsky.social and @nicomnbl.bsky.social chat w @grjte.sh & @goblinoats.com about the foundations of local-first architecture, CRDTs and how ZK can be incorporated into these models. zeroknowledge.fm/podcast/367/
- 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. Feat: @vitalik.ca, zkSecurity, zkMarek, @zkv-xyz.bsky.social, Mareko, Florent Tavernier, & Zero Knowledge Podcast 🧵👇
- In his latest article, @vitalik.ca highlights that while ZK-proofs in digital ID are a huge privacy leap, enforcing “one person, one ID” can still threaten pseudonymity & increase coercion risks. Pluralistic identity might be the path to better privacy and resilience vitalik.eth.limo/general/2025...
- @davidw.bsky.social presents SnarkSentinel, zkSecurity’s experimental AI-powered ZK auditing tool. In this post, they share what worked, what didn’t, and what the future of auditing might look like. blog.zksecurity.xyz/posts/snarks...
-
View full threadHope you liked this week’s #ZKMeshMini! Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, events... and keep track of the many developments happening in the zk-space! zkmesh.substack.com
- ℤ𝕂 𝕄𝕖𝕤𝕙: JUNE 2025 Recap is out! Don't forget to subscribe to get it directly in your inbox every month: zkmesh.substack.com/p/zk-mesh-ju...
- 🔔 Time for #ZKMeshMini, here is the top ZK news this week! 👾 @quangvdao.bsky.social, Justin Thaler, et al. speed up Sum-Check 👾 Ciara Nightingale releases a course on developing in Noir 👾 Hexens on pitfalls in ZK 👾 RISC-Zero security disclosure 👾 @zksecurityXYZ explains Greyhound 🧵👇
- @quangvdao.bsky.social, Justin Thaler, Suyash, and Yuval have put out a paper on speeding up Sum-Check that achieves an improvement of 2-3x for this core ZK building-block. eprint.iacr.org/2025/1117
- In this 7 hour course, Ciara Nightingale explains everything you need to go from a novice to deploying a ZK-app written in Noir, as well as exploring Merkle trees, Poseidon, and more! updraft.cyfrin.io/courses/noir...
-
View full threadHope you liked this week’s #ZKMeshMini! Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, events... and keep track of the many developments happening in the zk-space! zkmesh.substack.com
- 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 PSE releases zkPDF 👾 Mikerah provides critical takes on CoSNARKs 👾 Hash Cloak release a Semaphore protocol in Noir 👾 @kohweijie.com describes Logjumps 👾 Lambda Class explains Binius 🧵👇
- PSE introduces zkPDF, bringing zero-knowledge proofs to the world’s most popular document format. This unlocks privacy-preserving, verifiable data sharing for PDFs—enabling new use cases from digital credentials to secure document workflows. Article: pse.dev/blog/zkpdf-u...
- Mikerah explains some of the reasons that CoSNARKs might be the wrong choice for privacy-preserving proof delegation, and criticizes the thesis that privacy applications will need their proving outsourced for most use-cases. Tweet: x.com/badcryptobit...
-
View full threadHope you liked this week’s #ZKMeshMini! Subscribe to our newsletter for the full #ZKMesh capturing all the research, articles, announcements, events... and keep track of the many developments happening in the zk-space! zkmesh.substack.com
- 𝐙𝐊 𝐇𝐚𝐜𝐤 𝐁𝐞𝐫𝐥𝐢𝐧 is an in-person hackathon where you can meet the teams working on zk, learn new skills, find collaborators & friends, and hack on zk-tools & zk-DSLs. 📅 June 20 to 22 📍 Berlin 🇩🇪 Applications are open! Apply to hack with us >>> zkberlin.com
