In this episode, Anna Rose and Nico Mohnblatt welcome back Ian Miers, Assistant Professor of Computer Science at the University of Maryland, to continue the conversation from a previous episode and dig deeper into his latest work like zk-Promises, zk-Cookies, and Cryptographic Personas. These ZK tools aim to build social networks that protect user privacy while maintaining integrity, like anonymous moderation and reputation systems without central databases. Ian explains how they differ from traditional creds but share ideas around proving attributes securely.
https://zeroknowledge.fm/podcast/389/

Building Private Pass: Token-Gated Access with Zero-Knowledge and Token Extensions on Solana

https://aseneca.substack.com/p/building-private-pass-token-gated

The Seventeen Provers of the World

Compiled by Freek Wiedijk
Compare the styles of several proof assistants for mathematics. This document presents Pythagoras’ proof of the irrationality of $\sqrt{2}$ both informal and formalized in (1) HOL, (2) Mizar, (3) PVS, (4) Coq, (5) Otter/Ivy, (6) Isabelle/Isar, (7) Alfa/Agda, (8) ACL2, (9) PhoX, (10) IMPS, (11) Metamath, (12) Theorema, (13) Lego, (14) Nuprl, (15) Ωmega, (16)B method, (17) Minlog.
https://www.cs.ru.nl/~freek/comparison/comparison.pdf

Ultimate Self-Study Guide to Learning Pure Math

topics covered in this guide: 1. Real Analysis, 2. Linear Algebra, 3. Point Set Topology, 4. Complex Analysis, 5. Group Theory / Ring Theory, 6. Galois Theory, 7. Differential Geometry, 8. Algebraic Topology
https://00aleph00.notion.site/Ultimate-Self-Study-Guide-to-Learning-Pure-Math-15973221c1c18026ac1edbed599f231b?pvs=143

Papers

On the Use of Atkin and Weber Modular Polynomials in Isogeny Proofs of Knowledge

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

Three-Round (Robust) Threshold ECDSA from Threshold CL Encryption

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

Succinct Non-interactive Arguments of Proximity

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

Nudge: A Private Recommendations Engine

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

Implementable Witness Encryption from Arithmetic Affine Determinant Programs

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

Eidolon: A Practical Post-Quantum Signature Scheme Based on k-Colorability in the Age of Graph Neural Networks

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

gcVM: Publicly Auditable MPC via Garbled Circuits with Applications to Private EVM-Compatible Computation

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

Bitcoin PIPEs v2

Covenants and ZKPs on Bitcoin via Witness Encryption
https://eprint.iacr.org/2026/186

Hachi: Efficient Lattice-Based Multilinear Polynomial Commitments over Extension Fields

https://eprint.iacr.org/2024/1400

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

Special thanks to: Yingfei, Hins

Updates

Revocation in zkID: Merkle Tree-based Approaches

https://pse.dev/blog/revocation-in-zkid-merkle-tree-based-approaches

Zero-Knowledge Proofs: Powering Web3 Privacy and Trust

https://medium.com/coinsbench/zero-knowledge-proofs-powering-web3-privacy-and-trust-9d2f7c84d632

What is Token Gating and Why Does it Matter in Web3?

https://medium.com/@defi-planet/what-is-token-gating-and-why-does-it-matter-in-web3-e4b9acec541f

Stateful ZK Identity with Ian Miers

In this episode, Anna Rose and Nico Mohnblatt welcome back Ian Miers, Assistant Professor of Computer Science at the University of Maryland, to continue the conversation from a previous episode and dig deeper into his latest work like zk-Promises, zk-Cookies, and Cryptographic Personas. These ZK tools aim to build social networks that protect user privacy while maintaining integrity, like anonymous moderation and reputation systems without central databases. Ian explains how they differ from traditional creds but share ideas around proving attributes securely.
https://zeroknowledge.fm/podcast/389/