Forensics and Zero Knowledge
summary
Describes a physical zero-knowledge protocol that proves a crime-scene DNA profile differs from a suspect’s without revealing the profiles. It replaces trusted measurement with an interactive, public observation protocol using unforgeable tamper-evident seals, repeated random challenges and cryptographic commitments to amplify soundness, and randomized PCR random primers so revealed lengths are indistinguishable from random. Relies on set-size lower-bound hashing (Goldwasser–Sipser style) and strong physical assumptions; noninteractive conversion remains open.
AI-written summary · about
chapters (14)
- 0:00Intro
- 1:28ZK in the Digital World
- 2:29ZK in the Physical World
- 5:53Physical Cryptography
- 7:16Cop-out solution: Trusted Party
- 13:57Public Observation Protocols
- 15:33DNA Profiles
- 16:51STR: Short Tandem Repeat
- 18:44Capillary Electrophoresis
- 19:12"Public-coin" DNA Inequality
- 21:57GS set lower-bound protocol
- 29:14Random primers
- 31:35Hashing physical objects?
- 32:22Conclusion
related talks
33mAn Introduction to Zero Knowledge Proofs
54mVerification Dilemmas, Law, and the Promise of Zero-Knowledge Proofs
33mEducational Challenges in the Ever-Evolving Space of Zero-Knowledge
53mProofs Without Evidence: Assurance on the Blockchain and Other Applications
23mYour Game Will Suck Without Zero Knowledge Proofs
43mPushing the Limits of Zero Knowledge Applications
01h 35mSTARK – Zero-Knowledge Proof Protocol
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)