iiinova — where your digital self keeps evolving

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

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…

010

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

Finding your next job opportunity with awesome zk focused projects!

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

100

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

100

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

100

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

100

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

100

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

121

000

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

Finding your next job opportunity with awesome zk focused projects!

100

Computer Scientists Figure Out How To Prove Lies | Quanta Magazine

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

An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.

Uncovering the Query Collision Bug in Halo2: How a Single Extra Query Breaks Soundness - ZKSECURITY

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

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

100

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

100

Code Optimizations in the Landscape of Post-Quantum Cryptography

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

This post was written by PSE researcher Miha Stopar.

100

GitHub - seichris/network-requests-extension

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

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

ZK Hack @zkhack.dev · 10/07/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 🧵👇

100

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/

zeroknowledge.fm

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 […]

0155

000

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

Finding your next job opportunity with awesome zk focused projects!

100

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

100

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

100

Does digital ID have risks even if it's ZK-wrapped?

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

vitalik.eth.limo

Special thanks to Balvi volunteers, Silviculture members and World team members for discussion.

100

ZK Hack @zkhack.dev · 30/06/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 🧵👇

100

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

010

000

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

Finding your next job opportunity with awesome zk focused projects!

100

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

100

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

100

Learn Noir Programming and ZK Circuits - Cyfrin Updraft

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

Learn to build zero-knowledge (ZK) apps with the Noir programming language. Develop ZK circuits, a ZK protocol from scratch, and verify proofs on-chain!

100

@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

100

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

130

000

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

100

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

100

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

100

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

100

zkPDF: Unlocking Verifiable Data in the World's Most Popular Document Format | Privacy & Scaling Explorations

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

pse.dev

zkPDF lets you prove facts from signed PDFs without revealing the entire document.

200

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

ZK Hack @zkhack.dev · 06/06/2025

𝐙𝐊 𝐇𝐚𝐜𝐤 𝐁𝐞𝐫𝐥𝐢𝐧 is an in-person hackathon where you can meet the teams working on zk, learn new skills, find collaborators & friends, and hack on zk-tools & zk-DSLs. 📅 June 20 to 22 📍 Berlin 🇩🇪 Applications are open! Apply to hack with us >>> zkberlin.com

041

ZK Hack @zkhack.dev · 06/06/2025