Feeds

Zero-knowledge proof crypto scheme divines truths from nothing

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

The Essential Guide to IT Transformation

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. ®

Build a business case: developing custom apps

More from The Register

next story
14 antivirus apps found to have security problems
Vendors just don't care, says researcher, after finding basic boo-boos in security software
'Things' on the Internet-of-things have 25 vulnerabilities apiece
Leaking sprinklers, overheated thermostats and picked locks all online
Only '3% of web servers in top corps' fully fixed after Heartbleed snafu
Just slapping a patched OpenSSL on a machine ain't going to cut it, we're told
How long is too long to wait for a security fix?
Synology finally patches OpenSSL bugs in Trevor's NAS
Secure microkernel that uses maths to be 'bug free' goes open source
Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit
Israel's Iron Dome missile tech stolen by Chinese hackers
Corporate raiders Comment Crew fingered for attacks
Roll out the welcome mat to hackers and crackers
Security chap pens guide to bug bounty programs that won't fail like Yahoo!'s
HIDDEN packet sniffer spy tech in MILLIONS of iPhones, iPads – expert
Don't panic though – Apple's backdoor is not wide open to all, guru tells us
Researcher sat on critical IE bugs for THREE YEARS
VUPEN waited for Pwn2Own cash while IE's sandbox leaked
prev story

Whitepapers

Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Consolidation: The Foundation for IT Business Transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.
Backing up Big Data
Solving backup challenges and “protect everything from everywhere,” as we move into the era of big data management and the adoption of BYOD.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.
Why and how to choose the right cloud vendor
The benefits of cloud-based storage in your processes. Eliminate onsite, disk-based backup and archiving in favor of cloud-based data protection.