🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. 👾 @QuangVDao, @SuccinctJT, @Ingo_zk coauther a paper speeding up Sum-Check 👾 @CiaraNightingal releases a course on developing in @NoirLang 👾 @hexensio writes an article on a common subgroup pitfall in ZK 👾 @RiscZero issues a security disclosure 👾 @zksecurityXYZ explains Greyhound lattice-base SNARK 🧵👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @QuangVDao, @SuccinctJT, and Suyash & Yuval from @Ingo_zk have coauthored an exciting new paper on speeding up Sum-Check that achieves an improvement of 2-3x for this core ZK building-block.
Quang Dao
Quang Dao17.6.2025
My latest paper on optimizing the sum-check protocol is out! Joint work with @SuccinctJT and Ingonyama (Suyash & Yuval). This combines and extends results from two prior papers, leading to 2-3x speedups in Spartan within Jolt! Quick thread...🧵 1/
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio In her 7 hour course, @CiaraNightingal explains everything you need to go from a novice to deploying a ZK-app written in @NoirLang, as well as exploring Merkle trees, Poseidon, and more!
Cyfrin Updraft 🟩
Cyfrin Updraft 🟩12.6.2025
Kickstart your ZK development with @NoirLang Programming and ZK Circuits on Updraft 🌟🚀 @CiaraNightingal teaches you how to develop privacy-preserving apps and level up your skills. Learn to build: - ZK Circuits - ZK protocols from scratch And verify proofs on-chain! 👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero 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.
RISC Zero
RISC Zero19.6.2025
RISC Zero Security Disclosure A missing constraint was recently discovered in the rv32im circuit. This issue affects any 3-register RISC-V instruction (including remu and divu) in risc0-zkvm 2.0.0, 2.0.1, and 2.0.2. This vulnerability was reported by Christoph Hochrainer via our @HackenProof bug bounty program. We have evaluated the severity of the vulnerability as “Critical,” and paid a $50K bounty. The issue has been patched and all partners have been migrated over to 2.1.0. RISC Zero remains committed to providing the highest level of transparency, proactive security, and integrity.
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ gives a great explainer for Greyhound, a post-quantum lattice-based polynomial commitment scheme with better performance than current ECC SNARKs while being plausibly quantum-secure.
ZKV
ZKV18.6.2025
Post-quantum SNARKs go transparent. Greyhound by @zksecurityXYZ shows how 👇
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ If you’re looking for your next role in ZK, or are looking to jump into the space, check out the ZK Jobs Board for the latest on which of these great companies is hiring:
@QuangVDao @SuccinctJT @Ingo_zk @CiaraNightingal @NoirLang @hexensio @RiscZero @zksecurityXYZ 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!
115