Cover photo

ZK Insights | 1 Mar 2026

#102

Highlights

The Age Verification Trap (by Waydell D. Carvalho)

lean Ethereum Part 2: PQ Signatures and Poseidon

ZKP History

Updates

Inside SP1 with Tamir Hemo: Succinct’s Approach to ZK-VM Performance & Security

Formalising FRI: A Lean Blueprint of Security

Formally Verified Arguments of Knowledge

ZK API Usage Credits: LLMs and Beyond

GKRFold: SumFold-based GKR Proof Compression

PrivateX402: Privacy-Preserving Payment Channels for Multi-Agent AI Systems

The ZK Chronicles

Poseidon Hashing - STARK with high school math part 3

PQC migration timelines

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

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

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

A Modular Approach to Succinct Arguments for QMA

Issuer-Hiding for BBS Anonymous Credentials via Randomizable Keys

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

Cyclo: Lightweight Lattice-based Folding via Partial Range Checks

Migrating Bitcoin and Ethereum Addresses to the Quantum Blockchain Era

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

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

Sumcheck-based zkSNARKs are Non-Malleable

A Cryptographic Framework for Proof of Personhood

Non-Trivial Zero-Knowledge Implies One-Way Functions

SoK: Anonymous Credentials for Digital Identity Wallets

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

Proving Knowledge of Syndrome Decoding Problems with Soundness

Bolt: Faster SNARKs from Sketched Codes

Composition Theorems for Zero-Knowledge IOPs

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

Weak Zero-Knowledge and One-Way Functions

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

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

Zero-Knowledge Proof-Carrying Data from Accumulation Schemes

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

On the Complexity of Succinct Interactive Arguments

UltraFold: Efficient Distributed BaseFold from Packed Interleaved Merkle Trees

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

Blockchain Stacking Fraud and Deterrence

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

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