Cover photo

ZK Insights | 29 Mar 2026

# 106

Blogs

KZG vs IPA vs FRI: Picking the Right Polynomial Commitment Scheme

WTF Is a zkEVM and Why Should You Care

Unfaithful Claims: Breaking 6 zkVMs

  • A zkVM verifier should be faithful to one thing above all else: its public claims. In this blog, they 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/

Post-quantum roundup: Week 13, 2026

Projects

Ethereum Foundation’s New Post-Quantum Roadmap Website

  • The Ethereum Foundation launched a new website detailing quantum vulnerabilities and the post-quantum migration roadmap for Ethereum, the second-most-popular blockchain.

  • https://pq.ethereum.org/

Videos

Interval-Agnostic Vector Range Argument for Unstructured Range Assertions

Episode 396 - lean Ethereum Part 6: Formal Verification with Alex Hicks

  • In this episode, Nico Mohnblatt speaks with Alex Hicks from the Ethereum Foundation about formal verification and its role in the lean Ethereum vision. This is the 6th and final episode of the lean Ethereum mini-series. Nico and Alex explore what it means to produce machine-checked proofs across the ZK stack, from RISC-V and zkVMs to circuits, compilers, and cryptographic primitives, and how these pieces connect in practice.

  • https://youtu.be/9u4fu7TiZCA?si=y3NaiicxP3K3EAJK

VOLEs and Non-interactive ZK proofs - Carsten Baum

  • VOLE-in-the-head is a fast hash-based ZK proving system which is plausibly post-quantum secure. PSE invited Carsten Baum to give a talk on how it works, including how it was applied to build the FAEST signature scheme which is currently a NIST candidate, and the POMFRIT blind signature scheme.

  • https://youtu.be/5VjvkVPYdEg?si=wRYkMs4qSWK-YKpL

Papers

CatCrypt: From Rust to Cryptographic Security in Lean

Post-Quantum Blockchains with Agility in Mind

FrozenTRU: Cold Boot Attacks on NTRU-Based Hash-and-Sign Signatures

Bulletproofs*: Verifier-Efficient Arithmetic Circuit Proofs via Folding

Speeding Up Sum-Check Proving (Extended Version)

FROSTLASS: Flexible Ring-Oriented Schnorr-like Thresholdized Linkably Anonymous Signature Scheme

On the Security of Constraint-Friendly Map-to-Curve Relations

Gryphes: Hybrid Proofs for Modular SNARKs with Applications to zkRollups

How Much Verifier's Dilemma and Staking Pools Adversely Affect Decentralization of Ethereum PoS under Realistic Operational Costs? (Extended Version)

vkproof: Succinct verification of indexed verifying keys using modular compilation and polynomial fingerprinting

Earpicks: Tightly Secure Two-Round Multi- and Threshold Signature

RoKoko: Lattice-based Succinct Arguments, a Committed Refinement

Ticket to Hide: Private, Practical Proofs of Provenance for TLS

Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference

VERIDP: Verifiable Differentially Private Training

Aggregator-Based Voting using proof of Partition

Succinct Verification of Lattice-Based Compressed Sigma-Protocols via Delegated Proofs of Correct Folding of Cryptographically Generated Public Parameters

NI-DKG: Non-Interactive Distributed Key Generation Using Blockchain and Zero-Knowledge Proofs

New Approaches to Zero-Knowledge SNARG Constructions

Zeeperio: Verifying Governmental Elections with Ethereum

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