# ZK Insights ｜ 8 Mar 2026


*#103*

By [ZK Insights](https://paragraph.com/@zkinsights) · 2026-03-08

---

Notes / Blogs
-------------

### Putting the zk in zkVM: Jolt now supports zero knowledge

*   [https://a16zcrypto.com/posts/article/zkvm-jolt-zero-knowledge/](https://a16zcrypto.com/posts/article/zkvm-jolt-zero-knowledge/)
    

### Unfaithful Claims: Breaking 6 zkVMs

*   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.
    
*   [https://osec.io/blog/2026-03-03-zkvms-unfaithful-claims/](https://osec.io/blog/2026-03-03-zkvms-unfaithful-claims/)
    

### Achieving Quantum Safety Through Ephemeral Key Pairs and Account Abstraction

*   [https://ethresear.ch/t/achieving-quantum-safety-through-ephemeral-key-pairs-and-account-abstraction/24273](https://ethresear.ch/t/achieving-quantum-safety-through-ephemeral-key-pairs-and-account-abstraction/24273)
    

### A New Complexity Theory for the Quantum Age

*   [https://www.quantamagazine.org/a-new-complexity-theory-for-the-quantum-age-20260217/](https://www.quantamagazine.org/a-new-complexity-theory-for-the-quantum-age-20260217/)
    

### A Note on the Equivalence Between Zero-knowledge and Quantum CSS Codes

*   [https://eprint.iacr.org/2026/467](https://eprint.iacr.org/2026/467)
    

Videos
------

### Baby Lattice Folding Series EP4 | Norm Check in SALSAA

*   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](https://youtu.be/GwlLW2gbi1U)
    
*   Paper link: [https://eprint.iacr.org/2025/2124](https://eprint.iacr.org/2025/2124)
    
*   Git Repo: [https://github.com/coset-io/baby-lattice-folding](https://github.com/coset-io/baby-lattice-folding)
    

### Episode 393 - lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize

*   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.
    
*   [https://www.youtube.com/watch?v=v8SGKS3T-3A](https://www.youtube.com/watch?v=v8SGKS3T-3A)
    

Books
-----

### Everything You Always Wanted To Know About Mathematics

*   A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs
    
*   Brendan W. Sullivan with Professor John Mackey
    
*   [https://www.math.cmu.edu/~jmackey/151\_128/bws\_book.pdf](https://www.math.cmu.edu/~jmackey/151_128/bws_book.pdf)
    

Papers
------

### Lookup Arguments over Rings and Applications to Batch-Verification of RAM Programs

*   [https://eprint.iacr.org/2026/469](https://eprint.iacr.org/2026/469)
    

### Icefish: Practical zk-SNARKs for Verifiable Genomics

*   [https://eprint.iacr.org/2026/463](https://eprint.iacr.org/2026/463)
    

### The Art of Linearization: From a KZG’s Trick to a General Commitment Framework

*   [https://eprint.iacr.org/2026/458](https://eprint.iacr.org/2026/458)
    

### Short Signatures from DDH without Pairings or Random Oracles

*   [https://eprint.iacr.org/2026/449](https://eprint.iacr.org/2026/449)
    

### Interactive Proofs for Batch Polynomial Evaluation

*   [https://eprint.iacr.org/2026/448](https://eprint.iacr.org/2026/448)
    

### Trace: Complete Client-Side Account Access Logging

*   [https://eprint.iacr.org/2026/447](https://eprint.iacr.org/2026/447)
    

### PRISM with a pinch of salt: Simple, Efficient and Strongly Unforgeable Signatures from Isogenies

*   [https://eprint.iacr.org/2026/443](https://eprint.iacr.org/2026/443)
    

### Post-Quantum Anonymous Signatures from the Lattice Isomorphism Group Action

*   [https://eprint.iacr.org/2026/436](https://eprint.iacr.org/2026/436)
    

### Revisiting the Security of Sparkle

*   Revisit the three-round threshold Schnorr signature scheme Sparkle
    
*   [https://eprint.iacr.org/2026/431](https://eprint.iacr.org/2026/431)
    

### Cryptanalysis of Polynomial Learning With Errors (PLWE): A Survey

*   [https://eprint.iacr.org/2026/421](https://eprint.iacr.org/2026/421)
    

### FALCON with message recovery, a specification

*   [https://eprint.iacr.org/2026/420](https://eprint.iacr.org/2026/420)
    

### Hermine: An Efficient Lattice-based FROST-like Threshold Signature

*   [https://eprint.iacr.org/2026/419](https://eprint.iacr.org/2026/419)
    

### Tweed: Adaptively Secure Lattice-Based Two-Round Threshold Signatures

*   [https://eprint.iacr.org/2026/417](https://eprint.iacr.org/2026/417)
    

### An Ultra-Robust Privacy Preserving Scheme for Federated Learning using Distributed Homomorphic Encryption

*   [https://eprint.iacr.org/2026/416](https://eprint.iacr.org/2026/416)
    

### Collaborative Incrementally Verifiable Computation

*   [https://eprint.iacr.org/2026/410](https://eprint.iacr.org/2026/410)
    

### Cryptanalysis of Poseidon-Based Fiat-Shamir Protocols

*   [https://eprint.iacr.org/2026/409](https://eprint.iacr.org/2026/409)
    

* * *

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**](https://github.com/ZKPunk-Org/zk-insights)

---

*Originally published on [ZK Insights](https://paragraph.com/@zkinsights/zk-insights-｜-8-mar-2026)*
