Post

ZK Hack
@zkhack.dev

#5 In this part 1 of a series about zkVM projects, zkSecurity broke down the approach to verifiable computation, and looked into its history by discussing some projects that have significantly influenced zkVMs' design and evolution. blog.zksecurity.xyz/posts/zkvm-p...

blog.zksecurity.xyzProjects That Shaped Modern zkVMs — Part 1 - ZKSECURITYZero-knowledge Virtual Machines (zkVMs) leverage zero-knowledge proofs (ZKPs) to verify the correctness of computations executed on a specific instruction set architecture. In practical terms, zkVMs…
ZK Hack
@zkhack.dev

#4 In their paper, Binyi Chen & Dan Boneh presented LatticeFold+, a lattice-based folding protocol which is improving on their previous technique LatticeFold by eliminating some bottlenecks thanks to new lattice techniques. eprint.iacr.org/2025/247

eprint.iacr.orgLatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof SystemsFolding is a technique for building efficient succinct proof systems. Many existing folding protocols rely on the discrete-log based Pedersen commitment scheme, and are therefore not post-quantum…
ZK Hack
@zkhack.dev

Oh btw here's the link to subscribe to the newsletter – expect a new edition every month covering the latest in programmable cryptography & its applications, with recent research, articles, videos, podcasts, tweets, tools, project updates & events. zkmesh.substack.com

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…
ZK Hack
@zkhack.dev

#1 In "Understanding zk-SNARKs: The Gap Between Research and Practice", the authors surveyed 40+ zk-SNARKs, classifying techniques & analyzing usability across libraries. It highlights the industry’s bottlenecks & calls for better standardization/docs. eprint.iacr.org/2025/172

eprint.iacr.orgSoK: Understanding zk-SNARKs: The Gap Between Research and PracticeZero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs) are a powerful tool for proving computation correctness, attracting significant interest from researchers, developers, and…
ZK Hack
@zkhack.dev

Did you like these articles/papers? Find many more on ZK Mesh page! Make sure you subscribe to get this useful list of up-to-date resources about ZK and programmable cryptography every month in your mailbox! There's about 2 weeks before the next one... zkmesh.substack.com