Post

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

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

0 reposts0 likes

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…

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