ZK Hack

youtu.beZK Whiteboard Sessions - S3M8: ZKML, w/ Jason MortonZK 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:…

9 Dec 2025

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

11 Nov 2025

Mod 6 is out. Trusted Execution Environments, w/ Andrew Miller Watch it here: youtu.be/fX3axBmv410

28 Oct 2025

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

14 Oct 2025

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

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

17 Sept 2025

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

3 Sept 2025

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

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

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

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

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…

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

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

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

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

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

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

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

11 July 2025

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

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

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,…

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.

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

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

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

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

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

zeroknowledge.fmLocal-First with grjte and Goblin Oats - ZK PODCASTIn this episode, Anna Rose and Nico Mohnblatt speak with Goblin Oats from Tonk and grjte from Bain Capital Crypto […]

10 July 2025

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/

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

4 July 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 🧵👇

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

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

zeroknowledge.fmBringing ID Onchain with SelfIn 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,…

4 July 2025

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/

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

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.

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

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

30 June 2025

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

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

20 June 2025

🔔 Time for #ZKMeshMini, here is the top ZK news this week! 👾 ‪@quangvdao.bsky.social‬, Justin Thaler, et al. speed up Sum-Check 👾 Ciara Nightingale releases a course on developing in Noir 👾 Hexens on pitfalls in ZK 👾 RISC-Zero security disclosure 👾 @zksecurityXYZ explains Greyhound 🧵👇

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

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

blog.zksecurity.xyzProofs On A Leash: Post-Quantum Lattice SNARK With Greyhound - ZKSECURITYIn 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…

20 June 2025

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

In this 7 hour course, Ciara Nightingale explains everything you need to go from a novice to deploying a ZK-app written in Noir, as well as exploring Merkle trees, Poseidon, and more! updraft.cyfrin.io/courses/noir...

updraft.cyfrin.ioLearn Noir Programming and ZK Circuits - Cyfrin UpdraftLearn to build zero-knowledge (ZK) apps with the Noir programming language. Develop ZK circuits, a ZK protocol from scratch, and verify proofs on-chain!

20 June 2025

Hexens explores subgroup attacks in zero-knowledge proof systems, where attackers exploit improper validation of group elements to recover secret values. Their article explains the math, as well as how the attack could be exploited and how to fix it. hexens.io/blog/subgrou...

@quangvdao.bsky.social‬, Justin Thaler, Suyash, and Yuval have put out a paper on speeding up Sum-Check that achieves an improvement of 2-3x for this core ZK building-block. eprint.iacr.org/2025/1117

zkberlin.comZK Hack Berlin - HackathonFrom June 20th to 22nd, we will host ZK Hack Berlin, our fifth IRL zk-hackathon! Join us to hack on zk-tools, use zk-DSLs, and build new products that showcase what zk can do. Hackers and builders…

13 June 2025

🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 PSE releases zkPDF 👾 Mikerah provides critical takes on CoSNARKs 👾 Hash Cloak release a Semaphore protocol in Noir 👾 @kohweijie.com‬ describes Logjumps 👾 Lambda Class explains Binius 🧵👇

Don’t miss our upcoming hackathon in Berlin, June 20th-22nd! And huge thank you to our Based Sponsors @IrreducibleHW and @AleoHQ for their support www.zkberlin.com

@kohweijie.com‬ dives into Logjumps, a new improvement over Montgomery reduction (Over large prime fields) which reduces the number of necessary multiplications and offers the potential for parallelism in cryptographic applications. Article: baincapitalcrypto.com/a-deep-dive-...

13 June 2025

In a recent series of informational articles, Lambda Class breaks down the math behind Binius, exploring how binary field towers and hardware-friendly field operations enable fast, efficient zkVMs and proof systems. Article: blog.lambdaclass.com/the-fields-p...

Mikerah explains some of the reasons that CoSNARKs might be the wrong choice for privacy-preserving proof delegation, and criticizes the thesis that privacy applications will need their proving outsourced for most use-cases. Tweet: x.com/badcryptobit...

pse.devzkPDF: Unlocking Verifiable Data in the World's Most Popular Document Format | Privacy & Scaling ExplorationszkPDF lets you prove facts from signed PDFs without revealing the entire document.

13 June 2025

Hash Cloak has finished implementing the Semaphore protocol in Noir, allowing for privacy-preservation while proving things about voting, group membership, and other use-cases. Article: github.com/hashcloak/se...

PSE introduces zkPDF, bringing zero-knowledge proofs to the world’s most popular document format. This unlocks privacy-preserving, verifiable data sharing for PDFs—enabling new use cases from digital credentials to secure document workflows. Article: pse.dev/blog/zkpdf-u...