A zkVM verifier should be faithful to one thing above all else: its public claims. Yet we found six systems where this guarantee breaks. Learn how a subtle ordering bug lets an attacker bypass the cryptography entirely and prove mathematically impossible statements.
In this episode, Yingfei shares her understanding of the norm check proof in the recent folding scheme of SALSAA and compares it with latticefold and latticefold+.
Video link: https://youtu.be/GwlLW2gbi1U
Paper link: https://eprint.iacr.org/2025/2124
In this episode, Nico Mohnblatt speaks with Giacomo Fenzi from EPFL and Antonio Sanso from the Ethereum Foundation. For this 3rd instalment of the lean Ethereum miniseries, they talk about the theory and security behind post-quantum SNARKs. They dive into the hash-based proof systems underpinning LeanVM, multilinear approaches like sumcheck, and how these fit into Ethereum's post-quantum upgrades.
A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs
Brendan W. Sullivan with Professor John Mackey
Revisit the three-round threshold Schnorr signature scheme Sparkle
If you're interested in our ZK Insights or have ideas for similar content, we highly encourage everyone to head over to our GitHub repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!
✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights