Generating Zero-Knowledge Proofs for Defense Capabilities

There are times when the highest levels of privacy and security are required to protect a piece of information, but there is still a need to prove the information's existence and accuracy. For the Department of Defense (DoD), the proof could be the verification of a relevant capability.

How can one verify this capability without revealing any sensitive details about it? In the commercial world, this struggle manifests itself across banking transactions, cybersecurity threat disclosure, and beyond.

One approach to addressing this challenge in cryptography is with zero-knowledge proofs. A zero-knowledge proof is a method where one party can prove to another party that they know a certain fact without revealing any sensitive information needed to demonstrate that the fact is true.

"A zero-knowledge proof involves a statement of fact and the underlying proof of its accuracy," said Dr. Josh Baron, program manager in DARPA's Information Innovation Office (I2O).

"The holder of the fact does not want to reveal the underlying information to convince its audience that the fact is accurate. Take, for example, a bank withdrawal. You may want a system that allows you to make a withdrawal without also having to share your bank balance. The system would need some way of verifying that there are sufficient funds to draw from without having to know the exact amount of money sitting within your account."

In recent years, there has been a marked increase in the efficiency and real-world use of zero-knowledge proofs. Most of these uses have been within the cryptocurrency domain where there is a need to provide certain verifiable data without revealing personal or other sensitive information.

While useful in this context, the zero-knowledge proofs created are specialized for this task. They prioritize communication and verification efficiency but do not necessarily scale for transactions that are more complex. For highly complex proof statements like those that the DoD may wish to employ, novel and more efficient approaches are needed.

To help increase the expressivity of problem statements for which zero-knowledge proofs are constructed while also increasing the efficiency of the technology that creates them, DARPA developed the Securing Information for Encrypted Verification and Evaluation (SIEVE) program.

SIEVE aims to develop computer science theory and software that can generate mathematically verifiable statements that can be shared publically without giving sensitive information away. Under the program, researchers will explore the creation of verifiable public statements about software, general computations, as well as social-technical interactions.

Additional information is available in the Broad Agency Announcement, which is posted on fbo.gov here

Related Links
Defense Advanced Research Projects Agency
Cyberwar - Internet Security News - Systems and Policy Issues

Tweet

Thanks for being there;
We need your help. The SpaceDaily news network continues to grow but revenues have never been harder to maintain.

With the rise of Ad Blockers, and Facebook - our traditional revenue sources via quality network advertising continues to decline. And unlike so many other news sites, we don't have a paywall - with those annoying usernames and passwords.

Our news coverage takes time and effort to publish 365 days a year.

If you find our news sites informative and useful then please consider becoming a regular supporter or for now make a one off contribution.

SpaceDaily Monthly Supporter
$5+ Billed Monthly

paypal only

SpaceDaily Contributor
$5 Billed Once

credit card or paypal

Canada probing data theft at military research center: reports
Ottawa (AFP) July 16, 2019
The Canadian army is probing the theft of highly sensitive information from a military research center by a former employee, media reports said Tuesday. The now-retired civilian specializing in ballistics is suspected of having stolen and destroyed some 30,000 files containing highly sensitive information, public broadcaster Radio-Canada reported. The employee has not been formally charged. Defense Ministry spokesman Harjit Sajjan told AFP that a probe is underway but declined to comment further ... read more