A zero-knowledge protocol for nuclear warhead verification.

A zero-knowledge protocol for nuclear warhead verification.