ZK Insights ｜ 1 Mar 2026

Highlights

The Age Verification Trap (by Waydell D. Carvalho)

https://spectrum.ieee.org/age-verification
Chinese version (by Kurt Pan) https://mp.weixin.qq.com/s/1C7qX6zVtJDLnP-V1utJrw

lean Ethereum Part 2: PQ Signatures and Poseidon

Migrate Ethereum’s BLS Signatures to Post-Quantum Signatures
ZK Podcast with Benedikt Wagner and Dmitry Khovratovich
https://www.youtube.com/watch?v=xh8hbz1nqxQ
lean Ethereum Part 1: Introduction with Justin Drake https://www.youtube.com/watch?v=Dad2UonQ9Ag

ZKP History

https://x.com/nellycyberpro/status/2026016203886498055?s=20

Updates

Papers

What a Wonderful World: zkSNARKs in the Algebraic Group Model are Universally Composable

< https://eprint.iacr.org/2026/399>

Orthus: Practical Sublinear Batch-Verification of Lattice Relations from Standard Assumptions

< https://eprint.iacr.org/2026/398>

How To Make Delegated Payments on Bitcoin: A Question for the AI Agentic Future

< https://eprint.iacr.org/2026/395>

Zero-Knowledge IOPPs for Constrained Interleaved Codes

< https://eprint.iacr.org/2026/392>

Zero-Knowledge IOPPs for Constrained Interleaved Codes

< https://eprint.iacr.org/2026/391>

Succinct Arguments for BatchQMA and Friends under 6 Rounds

< https://eprint.iacr.org/2026/390>

A Comprehensive Break of the Tropical Matrix-Based Signature Scheme

< https://eprint.iacr.org/2026/387>

Bridging Privacy and Utility: A Verifiable Framework for Data Valuation via Zero-Knowledge Proofs

< https://eprint.iacr.org/2026/385>

Lattice HD Wallets: Post-Quantum BIP32 Hierarchical Deterministic Wallets from Lattice Assumptions

< https://eprint.iacr.org/2026/380>

Pairing-based Functional Commitments for Circuits with Shorter Parameters

https://eprint.iacr.org/2026/379

WOTS-Tree: Merkle-Optimized Winternitz Signatures for Post-Quantum Bitcoin

https://eprint.iacr.org/2026/374

Partially Non-Interactive Two-Round Threshold and Multi-Signatures with Tighter and Adaptive Security

https://eprint.iacr.org/2026/373

A Modular Approach to Succinct Arguments for QMA

https://eprint.iacr.org/2026/371

Issuer-Hiding for BBS Anonymous Credentials via Randomizable Keys

https://eprint.iacr.org/2026/369

SPRINT: New Isogeny Proofs of Knowledge and Isogeny-Based Signatures

https://eprint.iacr.org/2026/364

Cyclo: Lightweight Lattice-based Folding via Partial Range Checks

https://eprint.iacr.org/2026/359

Migrating Bitcoin and Ethereum Addresses to the Quantum Blockchain Era

https://eprint.iacr.org/2026/352

Relaxed Modular PCS from Arbitrary PCS and Applications to SNARKs for Integers

https://eprint.iacr.org/2026/347

Spectra: Interval-Agnostic Vector Range Argument for Unstructured Range Assertions

https://eprint.iacr.org/2026/339

Sumcheck-based zkSNARKs are Non-Malleable

https://eprint.iacr.org/2026/335

A Cryptographic Framework for Proof of Personhood

https://eprint.iacr.org/2026/333

Non-Trivial Zero-Knowledge Implies One-Way Functions

https://eprint.iacr.org/2026/331

SoK: Anonymous Credentials for Digital Identity Wallets

https://eprint.iacr.org/2026/330

Special Soundness and Binding Properties: A Framework for Tightly Secure zk-SNARKs

https://eprint.iacr.org/2026/326

Proving Knowledge of Syndrome Decoding Problems with Soundness

https://eprint.iacr.org/2026/315

Bolt: Faster SNARKs from Sketched Codes

https://eprint.iacr.org/2026/310

Composition Theorems for Zero-Knowledge IOPs

https://eprint.iacr.org/2026/307

TalonG: Bandwidth-Efficient Two-Round Threshold Signatures from Lattices

https://eprint.iacr.org/2026/303

Weak Zero-Knowledge and One-Way Functions

https://eprint.iacr.org/2026/299

Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges

https://eprint.iacr.org/2026/292

Tight Reductions for SIS-with-Hints Assumptions with Applications to Anonymous Credentials

https://eprint.iacr.org/2026/291

Zero-Knowledge Proof-Carrying Data from Accumulation Schemes

https://eprint.iacr.org/2026/289

Knowledge Soundness of Polynomial Commitments in the Algebraic Group Model Does Not Guarantee Extractability

https://eprint.iacr.org/2026/284

On the Complexity of Succinct Interactive Arguments

https://eprint.iacr.org/2026/272

UltraFold: Efficient Distributed BaseFold from Packed Interleaved Merkle Trees

https://eprint.iacr.org/2026/266

Compact and Statistical NIZK Proofs of Knowledge for Disjunctions from Sigma-Protocols

https://eprint.iacr.org/2026/263

Blockchain Stacking Fraud and Deterrence

https://eprint.iacr.org/2026/259

Efficient Pairing-Based Batch Arguments for NP with a Constant-Size Proof

https://eprint.iacr.org/2026/247

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

Highlights

The Age Verification Trap (by Waydell D. Carvalho)

https://spectrum.ieee.org/age-verification
Chinese version (by Kurt Pan) https://mp.weixin.qq.com/s/1C7qX6zVtJDLnP-V1utJrw

lean Ethereum Part 2: PQ Signatures and Poseidon

Migrate Ethereum’s BLS Signatures to Post-Quantum Signatures
ZK Podcast with Benedikt Wagner and Dmitry Khovratovich
https://www.youtube.com/watch?v=xh8hbz1nqxQ
lean Ethereum Part 1: Introduction with Justin Drake https://www.youtube.com/watch?v=Dad2UonQ9Ag