~/talk

Shipping zkPassport, Shipping Self Protocol Into Production

Talkat Pragma Prague 2025 · on Thursday, 2025-05-29· [cryptography]
slides:none on file

A decentralized identity system that reads biometric passport NFC chips, constructs ZK proofs (Groth16), and posts verifications to Celo; claims Sybil resistance via nullifiers and commitments plus Merkle inclusion of country CA roots and supports OFAC exclusion and age/citizenship checks without revealing country. Production flow uses a mobile app with iCloud/Android secret backup and a TE for heavy proving (SGX), because Groth16 requires a 5GB proving key and ceremony management. Off‑the‑shelf ZK tools break; iterative circuit edits and ceremonies are necessary. Groth16 proving system is chosen for conservatism and works end‑to‑end after launch.

AI-written summary · about

  1. 0:00Introduction to Self Protocol by Marek Olszewski
  2. 0:44Self Protocol Launch at ETH Denver Recap
  3. 1:27Solving Web3’s Biggest Problems: Sybil Resistance
  4. 2:03Preventing Bad Actors in DeFi with On-Chain Identity
  5. 2:43Proving You’re Human in an AI-Driven World
  6. 3:48Interactive Game: Guess the Country!
  7. 4:58Why Existing Identity Solutions Fall Short
  8. 6:00Centralized vs. Decentralized Identity Tradeoffs
  9. 6:36Why Passports Are Ideal for Decentralized Identity
  10. 7:50Biometric Passports & NFC Chip Security
  11. 8:32How Countries Authenticate Passports On-Chain
  12. 9:46Using ZK Proofs for Privacy-Preserving Verification
  13. 10:23Proving Citizenship Without Revealing Country
  14. 10:58Age Verification & OFAC Compliance with ZKPs
  15. 12:01Self Protocol’s Two-Step Onboarding Flow
  16. 12:39Scanning Your Passport & NFC Verification
  17. 13:14Generating ZK Proofs for On-Chain Registration
  18. 14:01How Self Protocol’s Merkle Tree Works
  19. 14:39Nullifiers & Commitments for Anti-Sybil
  20. 15:56Privacy: Hiding Data from Issuing Countries
  21. 17:17Demo: Proving Attributes to dApps with ZK
  22. 18:49Technical Deep Dive: ZKP Circuit Design
  23. 19:24Merkle Exclusion Proofs for OFAC Checks
  24. 20:09How Self Protocol Protects User Privacy
  25. 20:59Mobile App & Secure Secret Backup
  26. 21:40Offloading ZKP Generation to Trusted Hardware
  27. 22:59Challenges: Choosing a Proving System (R1CS vs. Groth16)
  28. 23:38Handling 5GB Proving Keys & Ceremony Complexity
  29. 24:47Why Off-the-Shelf ZK Tools Failed
  30. 25:20Can AI Help Write ZK Circuits? (Spoiler: Not Yet)
  31. 26:02Hackathon Use Cases: DeFi, Smart Wallets, Memecoins
  32. 26:34Closing Remarks & Self Protocol Documentation
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.