skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Report on a Zero-Knowledge Protocal Tabletop Exercise.

Abstract

This report summarizes the discussion and conclusions reached during a table top exercise held at Sandia National Laboratories, Albuquerque on September 3, 2014 regarding a recently described approach for nuclear warhead verification based on the cryptographic concept of a zero-knowledge protocol (ZKP) presented in a recent paper authored by Glaser, Barak, and Goldston. A panel of Sandia National Laboratories researchers, whose expertise includes radiation instrumentation design and development, cryptography, and arms control verification implementation, jointly reviewed the paper and identified specific challenges to implementing the approach as well as some opportunities. It was noted that ZKP as used in cryptography is a useful model for the arms control verification problem, but the direct analogy to arms control breaks down quickly. The ZKP methodology for warhead verification fits within the general class of template-based verification techniques, where a reference measurement is used to confirm that a given object is like another object that has already been accepted as a warhead by some other means. This can be a powerful verification approach, but requires independent means to trust the authenticity of the reference warhead - a standard that may be difficult to achieve, which the ZKP authors do not directly address. Despitemore » some technical challenges, the concept of last-minute selection of the pre-loads and equipment could be a valuable component of a verification regime.« less

Authors:
 [1];  [1];  [1];  [1];  [1];  [1];  [1];  [1];  [2]
  1. Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
  2. Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
Publication Date:
Research Org.:
Sandia National Lab. (SNL-CA), Livermore, CA (United States); Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
PD; USDOE
OSTI Identifier:
1192539
Report Number(s):
SAND-2015-5075
594690
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Technical Report
Country of Publication:
United States
Language:
English

Citation Formats

Marleau, Peter, Brubaker, Erik, Deland, Sharon M., Hilton, Nathan R., McDaniel, Michael, Schroeppel, Richard C., Seager, Kevin D., Stoddard, Mary Clare, and MacArthur, Duncan. Report on a Zero-Knowledge Protocal Tabletop Exercise.. United States: N. p., 2015. Web. doi:10.2172/1192539.
Marleau, Peter, Brubaker, Erik, Deland, Sharon M., Hilton, Nathan R., McDaniel, Michael, Schroeppel, Richard C., Seager, Kevin D., Stoddard, Mary Clare, & MacArthur, Duncan. Report on a Zero-Knowledge Protocal Tabletop Exercise.. United States. https://doi.org/10.2172/1192539
Marleau, Peter, Brubaker, Erik, Deland, Sharon M., Hilton, Nathan R., McDaniel, Michael, Schroeppel, Richard C., Seager, Kevin D., Stoddard, Mary Clare, and MacArthur, Duncan. Mon . "Report on a Zero-Knowledge Protocal Tabletop Exercise.". United States. https://doi.org/10.2172/1192539. https://www.osti.gov/servlets/purl/1192539.
@article{osti_1192539,
title = {Report on a Zero-Knowledge Protocal Tabletop Exercise.},
author = {Marleau, Peter and Brubaker, Erik and Deland, Sharon M. and Hilton, Nathan R. and McDaniel, Michael and Schroeppel, Richard C. and Seager, Kevin D. and Stoddard, Mary Clare and MacArthur, Duncan},
abstractNote = {This report summarizes the discussion and conclusions reached during a table top exercise held at Sandia National Laboratories, Albuquerque on September 3, 2014 regarding a recently described approach for nuclear warhead verification based on the cryptographic concept of a zero-knowledge protocol (ZKP) presented in a recent paper authored by Glaser, Barak, and Goldston. A panel of Sandia National Laboratories researchers, whose expertise includes radiation instrumentation design and development, cryptography, and arms control verification implementation, jointly reviewed the paper and identified specific challenges to implementing the approach as well as some opportunities. It was noted that ZKP as used in cryptography is a useful model for the arms control verification problem, but the direct analogy to arms control breaks down quickly. The ZKP methodology for warhead verification fits within the general class of template-based verification techniques, where a reference measurement is used to confirm that a given object is like another object that has already been accepted as a warhead by some other means. This can be a powerful verification approach, but requires independent means to trust the authenticity of the reference warhead - a standard that may be difficult to achieve, which the ZKP authors do not directly address. Despite some technical challenges, the concept of last-minute selection of the pre-loads and equipment could be a valuable component of a verification regime.},
doi = {10.2172/1192539},
url = {https://www.osti.gov/biblio/1192539}, journal = {},
number = ,
volume = ,
place = {United States},
year = {2015},
month = {6}
}