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.
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.
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
Covenants and ZKPs on Bitcoin via Witness Encryption
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