Now let me research the key people and links to ensure accuracy.

I have enough to write the show notes. Let me check prior episode format for consistency.

That's HTML format. Let me check if there's a markdown version pattern or if HTML is standard.

The system prompt says "rich markdown show notes." Let me produce markdown per the format spec.

Now I have enough. Let me also look up the Semaphore protocol and Least Authority audit for links.

Here are the show notes:

Why it matters. As AI-generated content becomes indistinguishable from human output, every behavioral authentication system is failing — CAPTCHAs, voice verification, video identity checks. This episode dissects World ID's proof-of-personhood protocol, walking through the cryptographic architecture described in Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users and explaining why the system that Reddit loves to hate is, mathematically, the most sophisticated attempt at solving the Sybil problem at global scale. From Daugman iris codes to Shamir Secret Sharing to Anonymous Multi-Party Computation to zero-knowledge proofs — and a frank accounting of the company's exploitative rollout in Kenya and the developing world.

World Foundation / TACEO / Tools for Humanity. The core SMPC paper is hosted at IACR ePrint 2024/705 (PDF). The World ID protocol is open source on GitHub, including the iris recognition system, Orb software, and protocol documentation. TACEO, the Austrian cryptographic infrastructure company that co-authored the paper, is at taceo.io. The SMPC implementation was audited by Least Authority. Vitalik Buterin's foundational analysis is What do I think about biometric proof of personhood? (July 2023).

The Researchers. Remco Bloemen (head of protocol, World Foundation), Daniel Kales (co-founder, TACEO; PhD in post-quantum cryptography, Graz University of Technology), Bryan Gillespie (World Foundation), Philipp Sippl and Roman Walch (TACEO). The episode also covers the foundational work of John Daugman (Cambridge, inventor of iris recognition) and Adi Shamir (Weizmann Institute, co-inventor of RSA, creator of Shamir's Secret Sharing).

Key Technical Concepts. The episode covers iris codes — 12,800-bit binary representations generated via Gabor wavelets, compared using Hamming distance. The privacy architecture progressed from centralized storage (2023) to Secure Multi-Party Computation (2024, using Shamir's Secret Sharing with information-theoretic security) to Anonymous MPC (2025), where even the shares are anonymized and computation runs on independent nodes at UC Berkeley, University of Erlangen-Nuremberg, KAIST, UTEC, and Nethermind. Usage privacy relies on zero-knowledge proofs via ZK-SNARKs built on the Semaphore protocol, enabling unlinkable proof-of-humanity across services. The episode also references Sybil attacks, Buterin's analysis of proof of personhood, and MIT Technology Review's investigation of the Kenya rollout.

Daily Tech Feed: From the Labs is available on Apple Podcasts, Spotify, and wherever fine podcasts are distributed. Visit us at pod.c457.org for all our shows. New episodes daily.