A zero-knowledge protocol for nuclear warhead verification

Research output: Contribution to journalArticle

28 Citations (Scopus)

Abstract

The verification of nuclear warheads for arms control involves a paradox: international inspectors will have to gain high confidence in the authenticity of submitted items while learning nothing about them. Proposed inspection systems featuring 'information barriers', designed to hide measurements stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of a fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, which is designed in such a way that sensitive information is never measured and so does not need to be hidden. We interrogate submitted items with energetic neutrons, making, in effect, differential measurements of both neutron transmission and emission. Calculations for scenarios in which material is diverted from a test object show that a high degree of discrimination can be achieved while revealing zero information. Our ideas for a physical zero-knowledge system could have applications beyond the context of nuclear disarmament. The proposed technique suggests a way to perform comparisons or computations on personal or confidential data without measuring the data in the first place.

Original languageEnglish (US)
Pages (from-to)497-502
Number of pages6
JournalNature
Volume510
Issue number7506
DOIs
StatePublished - Jan 1 2014

Fingerprint

Neutrons
Information Systems
Learning
Discrimination (Psychology)

All Science Journal Classification (ASJC) codes

  • General

Cite this

@article{42abd0f563174546acd5eef1830a95cb,
title = "A zero-knowledge protocol for nuclear warhead verification",
abstract = "The verification of nuclear warheads for arms control involves a paradox: international inspectors will have to gain high confidence in the authenticity of submitted items while learning nothing about them. Proposed inspection systems featuring 'information barriers', designed to hide measurements stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of a fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, which is designed in such a way that sensitive information is never measured and so does not need to be hidden. We interrogate submitted items with energetic neutrons, making, in effect, differential measurements of both neutron transmission and emission. Calculations for scenarios in which material is diverted from a test object show that a high degree of discrimination can be achieved while revealing zero information. Our ideas for a physical zero-knowledge system could have applications beyond the context of nuclear disarmament. The proposed technique suggests a way to perform comparisons or computations on personal or confidential data without measuring the data in the first place.",
author = "Alexander Glaser and Boaz Barak and Goldston, {Robert James}",
year = "2014",
month = "1",
day = "1",
doi = "https://doi.org/10.1038/nature13457",
language = "English (US)",
volume = "510",
pages = "497--502",
journal = "Nature",
issn = "0028-0836",
publisher = "Nature Publishing Group",
number = "7506",

}

A zero-knowledge protocol for nuclear warhead verification. / Glaser, Alexander; Barak, Boaz; Goldston, Robert James.

In: Nature, Vol. 510, No. 7506, 01.01.2014, p. 497-502.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A zero-knowledge protocol for nuclear warhead verification

AU - Glaser, Alexander

AU - Barak, Boaz

AU - Goldston, Robert James

PY - 2014/1/1

Y1 - 2014/1/1

N2 - The verification of nuclear warheads for arms control involves a paradox: international inspectors will have to gain high confidence in the authenticity of submitted items while learning nothing about them. Proposed inspection systems featuring 'information barriers', designed to hide measurements stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of a fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, which is designed in such a way that sensitive information is never measured and so does not need to be hidden. We interrogate submitted items with energetic neutrons, making, in effect, differential measurements of both neutron transmission and emission. Calculations for scenarios in which material is diverted from a test object show that a high degree of discrimination can be achieved while revealing zero information. Our ideas for a physical zero-knowledge system could have applications beyond the context of nuclear disarmament. The proposed technique suggests a way to perform comparisons or computations on personal or confidential data without measuring the data in the first place.

AB - The verification of nuclear warheads for arms control involves a paradox: international inspectors will have to gain high confidence in the authenticity of submitted items while learning nothing about them. Proposed inspection systems featuring 'information barriers', designed to hide measurements stored in electronic systems, are at risk of tampering and snooping. Here we show the viability of a fundamentally new approach to nuclear warhead verification that incorporates a zero-knowledge protocol, which is designed in such a way that sensitive information is never measured and so does not need to be hidden. We interrogate submitted items with energetic neutrons, making, in effect, differential measurements of both neutron transmission and emission. Calculations for scenarios in which material is diverted from a test object show that a high degree of discrimination can be achieved while revealing zero information. Our ideas for a physical zero-knowledge system could have applications beyond the context of nuclear disarmament. The proposed technique suggests a way to perform comparisons or computations on personal or confidential data without measuring the data in the first place.

UR - http://www.scopus.com/inward/record.url?scp=84903438692&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84903438692&partnerID=8YFLogxK

U2 - https://doi.org/10.1038/nature13457

DO - https://doi.org/10.1038/nature13457

M3 - Article

VL - 510

SP - 497

EP - 502

JO - Nature

JF - Nature

SN - 0028-0836

IS - 7506

ER -