Post

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

ZK Hack

@zkhack.dev

11 July 2025

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

github.comGitHub - seichris/network-requests-extensionContribute to seichris/network-requests-extension development by creating an account on GitHub.

ZK Hack

@zkhack.dev

11 July 2025

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

mirror.xyzCode Optimizations in the Landscape of Post-Quantum CryptographyThis post was written by PSE researcher Miha Stopar.

ZK Hack

@zkhack.dev

Using the Mopro ZK mobile-app toolkit, hackers built several cool projects at ETHGlobal, including proofs about photo metadata, photo identity verification, and more! x.com/zkmopro/stat...

11/7/25, 11:48 am0 reposts0 likes

ZK Hack

@zkhack.dev

11 July 2025

zkSecurity explains the "query collision" bug they've found with the Halo2 system - essentially allowing a malicious prover to forge proofs by exploiting duplicate queries at the same evaluation point. blog.zksecurity.xyz/posts/halo2-...

blog.zksecurity.xyzUncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness - ZKSECURITYWe recently discovered a subtle but important soundness issue in Halo2, which we’ve named the query collision bug. It affects certain edge-case circuits and was present in widely used versions,…

ZK Hack

@zkhack.dev

11 July 2025

@quantamagazine.bsky.social published an article explaining a Fiat-Shamir attack discovered by Dmitry Khovratovich, Ron Rothblum, & Lev Soukhanov for generating false proofs. www.quantamagazine.org/computer-sci...

quantamagazine.orgComputer Scientists Figure Out How To Prove Lies | Quanta MagazineAn attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.

ZK Hack

@zkhack.dev

11 July 2025

If you’re looking for your next role in ZK, or are just getting into the space, check out the ZK Jobs Board for the latest on which of these great companies is hiring: jobsboard.zeroknowledge.fm

jobsboard.zeroknowledge.fmZK Jobs BoardFinding your next job opportunity with awesome zk focused projects!

ZK Hack

@zkhack.dev

11 July 2025

Hope 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

zkmesh.substack.comZK Mesh | Zero Knowledge Podcast | SubstackA monthly newsletter sharing the latest in decentralised privacy-preserving technologies, privacy protocol development and Zero Knowledge systems. Click to read ZK Mesh, a Substack publication with…