In past negotiations aimed at reducing the arsenals of the world’s nuclear superpowers, chiefly the U.S. and Russia, a major sticking point has been the verification process: How do you prove that real bombs and nuclear devices—not just replicas—have been destroyed, without revealing closely held secrets about the design of those weapons?