Zero-knowledge proofs are mathematical cryptographic methods to demonstrate the validity of a claim while providing no further information beyond the claim itself. The possibility of using such proofs to process classified and other sensitive physical data has attracted attention, especially in the field of nuclear arms control. This project demonstrates a non-electronic fast neutron differential radiography technique using superheated emulsion detectors that can confirm that two objects are identical without revealing their geometry or composition. Such a technique could form the basis of a verification system that could confirm the authenticity of nuclear weapons without sharing any secret design information.
S. Philippe, R. J. Goldston, A. Glaser and F. d'Errico, "A Physical Zero-Knowledge Object-Comparison System for Nuclear Warhead Verification," Nature Communications, 7:12890 (2016).
Selected press coverage: