Feeds

Zero-knowledge proof crypto scheme divines truths from nothing

Boffins scheme to help blow up nukes could also be handy for electronic voting

Website security in corporate America

Princeton University scientists have applied a cryptographic proof to verify if nuclear weapons have been disarmed, in a move that could reduce global nuke stockpiles and even help verify electronic voting.

The cryptographic scheme is a form of zero-knowledge proof first developed in the 1980s. Such proofs allow a party to prove something to a second party without the need to convey sensitive information or even answer yes or no to questions. In the case of nuclear disarmament that's handy because it means shy states can participate in nuke nullification efforts without giving away other secrets.

The sceheme is detailed in paper published by Nature by Microsoft Research's Boaz Barak and Robert J. Goldston, who write that "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."

The research fused cryptography with physics to produce a "fundamentally new system" that could help verify other forms of data without the need to manually inspect it.

Glaser told the LA Times the work could be applied to verification of electronic voting, big data and DNA tests.

E-voting schemes used various crypto platforms to help a citizen verify their vote, that the election outcome matched the votes cast, and that only eligible people participated.

Their work was a complex neutron-soaked spin on the classic zero-proof crypto marbles game in which a verifier - or the nuke holder - could prove to an inspector that they held an equal number of marbles.

They would set up two buckets containing for example 100 marbles minus the quantity they claimed to hold in two cups. The inspector could tip either cup into either bucket to verify the claim which would check out if the final quantity added up to 100.

The latest research used high-energy neutron radiography that fired neutrons through warheads to paint a picture of the plutonium within. That image could be balanced against a disarmed warhead template similar to the marble game to prove a nuke had been neutralised without the risk of revealing state secrets. ®

Protecting users from Firesheep and other Sidejacking attacks with SSL

More from The Register

next story
'Kim Kardashian snaps naked selfies with a BLACKBERRY'. *Twitterati gasps*
More alleged private, nude celeb pics appear online
Hackers pop Brazil newspaper to root home routers
Step One: try default passwords. Step Two: Repeat Step One until success
UK.gov lobs another fistful of change at SME infosec nightmares
Senior Lib Dem in 'trying to be relevant' shocker. It's only taxpayers' money, after all
Spies would need SUPER POWERS to tap undersea cables
Why mess with armoured 10kV cables when land-based, and legal, snoop tools are easier?
TOR users become FBI's No.1 hacking target after legal power grab
Be afeared, me hearties, these scoundrels be spying our signals
Snowden, Dotcom, throw bombs into NZ election campaign
Claim of tapped undersea cable refuted by Kiwi PM as Kim claims extradition plot
Freenode IRC users told to change passwords after securo-breach
Miscreants probably got in, you guys know the drill by now
THREE QUARTERS of Android mobes open to web page spy bug
Metasploit module gobbles KitKat SOP slop
BitTorrent's peer-to-peer chat app Bleep goes live as public alpha
A good day for privacy as invisble.im also reveals its approach to untraceable chats
prev story

Whitepapers

Secure remote control for conventional and virtual desktops
Balancing user privacy and privileged access, in accordance with compliance frameworks and legislation. Evaluating any potential remote control choice.
WIN a very cool portable ZX Spectrum
Win a one-off portable Spectrum built by legendary hardware hacker Ben Heck
Storage capacity and performance optimization at Mizuno USA
Mizuno USA turn to Tegile storage technology to solve both their SAN and backup issues.
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
The next step in data security
With recent increased privacy concerns and computers becoming more powerful, the chance of hackers being able to crack smaller-sized RSA keys increases.