# ZK Insights ｜ 1 Mar 2026

*#102*

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

---

Highlights
----------

### The Age Verification Trap (by Waydell D. Carvalho)

*   [https://spectrum.ieee.org/age-verification](https://spectrum.ieee.org/age-verification)
    
*   Chinese version (by Kurt Pan) [https://mp.weixin.qq.com/s/1C7qX6zVtJDLnP-V1utJrw](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](https://www.youtube.com/watch?v=xh8hbz1nqxQ)
    
*   lean Ethereum Part 1: Introduction with Justin Drake [https://www.youtube.com/watch?v=Dad2UonQ9Ag](https://www.youtube.com/watch?v=Dad2UonQ9Ag)
    

### ZKP History

*   [https://x.com/nellycyberpro/status/2026016203886498055?s=20](https://x.com/nellycyberpro/status/2026016203886498055?s=20)
    

Updates
-------

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

*   [https://medium.com/veridise/inside-sp1-with-tamir-hemo-succincts-approach-to-zk-vm-performance-security-2919ae7dbc0e](https://medium.com/veridise/inside-sp1-with-tamir-hemo-succincts-approach-to-zk-vm-performance-security-2919ae7dbc0e)
    

### Formalising FRI: A Lean Blueprint of Security

*   Petar Maksimovic - Nevermind
    
*   [https://www.youtube.com/watch?v=vSGbtvjMri8](https://www.youtube.com/watch?v=vSGbtvjMri8)
    

### Formally Verified Arguments of Knowledge

*   [https://github.com/Verified-zkEVM/ArkLib/tree/main](https://github.com/Verified-zkEVM/ArkLib/tree/main)
    

### ZK API Usage Credits: LLMs and Beyond

*   [https://ethresear.ch/t/zk-api-usage-credits-llms-and-beyond/24104](https://ethresear.ch/t/zk-api-usage-credits-llms-and-beyond/24104)
    

### GKRFold: SumFold-based GKR Proof Compression

*   [https://ethresear.ch/t/gkrfold-sumfold-based-gkr-proof-compression/21788](https://ethresear.ch/t/gkrfold-sumfold-based-gkr-proof-compression/21788)
    

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

*   [https://ethresear.ch/t/privatex402-privacy-preserving-payment-channels-for-multi-agent-ai-systems/24151](https://ethresear.ch/t/privatex402-privacy-preserving-payment-channels-for-multi-agent-ai-systems/24151)
    

### The ZK Chronicles

*   [https://medium.com/@francomangone18/list/the-zk-chronicles-a27d8123f474](https://medium.com/@francomangone18/list/the-zk-chronicles-a27d8123f474)
    

### Poseidon Hashing - STARK with high school math part 3

*   [https://flydexo.com/poseidon-hashing-stark-with-high-school-math-part-3/](https://flydexo.com/poseidon-hashing-stark-with-high-school-math-part-3/)
    

### PQC migration timelines

*   [https://www.pqctoday.com/](https://www.pqctoday.com/)
    

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](https://eprint.iacr.org/2026/379)
    

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

*   [https://eprint.iacr.org/2026/374](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](https://eprint.iacr.org/2026/373)
    

### A Modular Approach to Succinct Arguments for QMA

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

### Issuer-Hiding for BBS Anonymous Credentials via Randomizable Keys

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

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

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

### Cyclo: Lightweight Lattice-based Folding via Partial Range Checks

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

### Migrating Bitcoin and Ethereum Addresses to the Quantum Blockchain Era

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

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

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

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

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

### Sumcheck-based zkSNARKs are Non-Malleable

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

### A Cryptographic Framework for Proof of Personhood

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

### Non-Trivial Zero-Knowledge Implies One-Way Functions

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

### SoK: Anonymous Credentials for Digital Identity Wallets

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

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

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

### Proving Knowledge of Syndrome Decoding Problems with Soundness

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

### Bolt: Faster SNARKs from Sketched Codes

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

### Composition Theorems for Zero-Knowledge IOPs

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

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

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

### Weak Zero-Knowledge and One-Way Functions

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

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

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

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

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

### Zero-Knowledge Proof-Carrying Data from Accumulation Schemes

*   [https://eprint.iacr.org/2026/289](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](https://eprint.iacr.org/2026/284)
    

### On the Complexity of Succinct Interactive Arguments

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

### UltraFold: Efficient Distributed BaseFold from Packed Interleaved Merkle Trees

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

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

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

### Blockchain Stacking Fraud and Deterrence

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

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

*   [https://eprint.iacr.org/2026/247](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**](https://github.com/ZKPunk-Org/zk-insights)

---

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