Post

🔔 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 🧵👇

4/7/25, 2:40 pm0 reposts0 likes

ZK Hack

@zkhack.dev

4 July 2025

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...

vitalik.eth.limoDoes digital ID have risks even if it's ZK-wrapped?Special thanks to Balvi volunteers, Silviculture members and World team members for discussion.

ZK Hack

@zkhack.dev

4 July 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...

blog.zksecurity.xyzBug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back - ZKSECURITYOver the past year, we’ve been exploring a big question: Can AI actually find good bugs in zero-knowledge circuits and applications? And if it can… what does that mean for us as auditors? Is our job…

ZK Hack

@zkhack.dev

4 July 2025

In this deep-dive episode, zkMarek explores the world of cryptographic data structures, focusing on the powerful Verkle Trees data structure. www.youtube.com/watch?v=3PyD...

ZK Hack

@zkhack.dev

4 July 2025

@zkv-xyz.bsky.social present teddav’s zkTenant, a ZK app for housing applications in France, based on a Noir library he created to parse and verify 2D-Doc barcodes fully in-browser, generating proofs locally via WASM. tweet thread: x.com/zkv_xyz/stat...