ZK Hack

ZK Whiteboard Sessions - S3M8: ZKML, w/ Jason Morton ZK Whiteboard Sessions - S3M8: ZKML, w/ Jason Morton For all additional info and resources watch it here: https://zkhack.dev/whiteboard/s3m8/ Full ZK Whiteboard Sessions - Season 1 playlist here:…

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

S3 – Module Two: High-Performance Engineering for SNARKs, w/ Jim Posen​ Nicolas Mohnblatt and Jim Posen, CTO at Irreducible, explore high-performance SNARK engineering. They discuss removing computational bottlenecks, using CPU/GPU parallelism, SIMD instructions,…

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

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