5 ms·
How can you use zero knowledge proofs to show that your nuclear weapons are inactive? Also... couldn't you just reactivate them after?
by kayson 4y ago
How can you use zero knowledge proofs to show that your nuclear weapons are inactive? Also... couldn't you just reactivate them after?
- cyclotron3k 4y agoI would like to know this too
- deleted 4y ago[deleted]
- pmx 4y agoIsn't this the point of the article? You wouldn't prove if they're active or not, only that YOU know if they're active or not?
- barsonme 4y agoZK proofs let you (the prover) prove a fact to somebody else (the verifier).
- barsonme 4y agoFWIW the linked paper on nuclear warheads is fairly accessible. You don’t need to understand nuclear physics to grok the algorithm. ZK proofs only demonstrate knowledge of some fact. So, you could prove that you know the way through the maze, but then immediately forget it afterward. Maybe the nuclear inspectors inspect the warheads frequently enough that rearming them would be detected? Or perhaps there is just some level of trust and you have to rely on the country to play by the rules.
- redrobein 4y agoYup, this would only work if some central authority had exclusive control to activate/deactivate the warheads.