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

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.

11/7/25, 11:48 am0 reposts1 like

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

11 July 2025

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

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.