ZK Hack

ZK Mesh | Zero Knowledge Podcast | Substack A 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…

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

ZK Jobs Board Finding your next job opportunity with awesome zk focused projects!

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

Proof Lab has launched a stress-test targeted at provers on Ethereum mainnet to find vulnerabilities in these critical systems. This compliments their efforts at benchmarking to strengthen the ZK ecosystem.

x.com/TheProofLab/...

PSE has reported a bug found with BinaryMerkleRoot in their ZK-kit library. A fix has since been made and a new Trusted Setup Ceremony.

pse.dev/blog/under-c...

Lambda Class continues to explain core protocols used in ZK and broader cryptography with this write-up on the implementation of GKR for verifying computation over circuits.

blog.lambdaclass.com/gkr-protocol...

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

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

🔔 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

🧵👇

ZK Mesh | Zero Knowledge Podcast | Substack A 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…

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

ZK Jobs Board Finding your next job opportunity with awesome zk focused projects!

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

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

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

Uncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness - ZKSECURITY We 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,…

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

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

Code Optimizations in the Landscape of Post-Quantum Cryptography This post was written by PSE researcher Miha Stopar.

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

GitHub - seichris/network-requests-extension Contribute to seichris/network-requests-extension development by creating an account on GitHub.

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

🔔 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

🧵👇

Local-First with grjte and Goblin Oats - ZK PODCAST In this episode, Anna Rose and Nico Mohnblatt speak with Goblin Oats from Tonk and grjte from Bain Capital Crypto […]

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/

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

ZK Jobs Board Finding your next job opportunity with awesome zk focused projects!

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

Bringing ID Onchain with Self In this episode, Anna Rose speaks with Florent Tavernier from Self and Marek Olszewski from Self and Celo to explore how Self are bringing identity onchain using ZK, the Sybil protection that offers,…

In this week’s Zero Knowledge Podcast, Marek and Florent Tavernier from Self explore how Self are bringing identity onchain using ZK.

zeroknowledge.fm/podcast/366/

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

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

Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back - ZKSECURITY Over 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…

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

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

🔔 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

🧵👇

ℤ𝕂 𝕄𝕖𝕤𝕙: 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...

ZK Mesh | Zero Knowledge Podcast | Substack A 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…

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

ZK Jobs Board Finding your next job opportunity with awesome zk focused projects!

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

Proofs On A Leash: Post-Quantum Lattice SNARK With Greyhound - ZKSECURITY In this engaging blog post, we dive into the future of cryptography by exploring how lattice-based proof systems could fend off the quantum threat. We break down Greyhound, a promising lattice-based…

zkSecurity explains Greyhound, a post-quantum lattice-based polynomial commitment scheme with better performance than current ECC SNARKs while being plausibly quantum-secure.
blog.zksecurity.xyz/posts/greyho...

RISC-Zero discloses a missing-constraint vulnerability affecting all 3-register RISC-V in recent risc0-zkvm versions. All partners have been migrated to the patched update.
x.com/RiscZero/sta...