Explore by Tag
Explore by Tag
X
  • Access
  • Adaptability
  • Administration
  • Agency
  • AI
  • Air
  • Algorithms
  • Analytics
  • Automation
  • Autonomy
  • Bio-complexity
  • Bio-systems
  • BMC2
  • CBRN
  • Chemistry
  • Communications
  • Complexity
  • Contracts
  • Cost
  • Countermeasures
  • Cyber
  • Data
  • Decentralization
  • Disease
  • Electronics
  • Energy
  • Events
  • EW
  • Finance
  • Forecasting
  • Formal
  • Fundamentals
  • Games
  • Globalization
  • Ground
  • Health
  • History
  • Imagery
  • Injury
  • Integration
  • Interface
  • ISR
  • Language
  • Launch
  • Leadership
  • Logistics
  • Manufacturing
  • Maritime
  • Materials
  • Math
  • Med-Devices
  • Microchips
  • Microstructures
  • Microsystems
  • Mobile
  • Munitions
  • Networking
  • Neuroscience
  • Opportunities
  • Photonics
  • PNT
  • Policy
  • Privacy
  • Processing
  • Programming
  • Quantum
  • Resilience
  • Restoration
  • Robotics
  • Satellites
  • SBIR
  • Security
  • Sensors
  • Space
  • Spectroscopy
  • Spectrum
  • SWAP
  • Syn-Bio
  • Systems
  • Targeting
  • Tech-Foundations
  • Testimony
  • Therapy
  • Thermal
  • Training
  • Transition
  • Trust
  • Unmanned
  • Visualization
Defense Advanced
Research Projects Agency
Main Menu
X
  • About Us
    • About DARPA
    • People
    • Offices
    • Innovation Timeline
    • Testimony
    • Budget
    • Image Gallery
  • /
  • Our Research
  • /
  • News
  • /
  • Events
  • /
  • Work With Us
    • Opportunities
    • New Program Managers
    • Contract Management
    • For Industry
    • For Small Businesses
    • For Universities
    • For Government and Military
    • Employment at DARPA
    • Visitor Information
  • /
  • Search
Main Menu Explore by Tag
Defense Advanced Research Projects AgencyNews And Events

Generating Zero-Knowledge Proofs for Defense Capabilities

Program aims to advance method for making public statements without compromising sensitive underlying information

outreach@darpa.mil
7/18/2019
Securing Information for Encrypted Verification and Evaluation (SIEVE)

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 at https://www.fbo.gov/index?s=opportunity&mode=form&id=5bd8adc70ab8fc2b348dcd62c7930316&tab=core&_cview=1

 

# # #

Media with inquiries should contact DARPA Public Affairs at outreach@darpa.mil

Associated images posted on www.darpa.mil and video posted at www.youtube.com/darpatv may be reused according to the terms of the DARPA User Agreement, available here: http://go.usa.gov/cuTXR.

 

Tweet @darpa

 

Tags

| Cyber | Privacy | Systems |

 

Similarly    Tagged    Content

Restoring Trust in Electronic Documents
Configuration Security Program to Make Network-Connected Systems Less Vulnerable
DARPA Assured Autonomy Seeks to Guarantee Safety of Learning-enabled Autonomous Systems
Configuration Security
PROgramming Computation on EncryptEd Data

Images

  • Securing Information for Encrypted Verification and Evaluation (SIEVE)
    Securing Information for Encrypted Verification and Evaluati ...
Back To Top

  • Print

 

Selected DARPA Achievements

DARPA collaborated with industry on stealth technology.
DARPA’s Stealth Revolution
In the early days of DARPA’s work on stealth technology, Have Blue, a prototype of what would become the F-117A, first flew successfully in 1977. The success of the F-117A program marked the beginning of the stealth revolution, which has had enormous benefits for national security.
DARPA microelectronics gave rise to today's GPS devices.
Navigation in the Palm of Your Hand
Early GPS receivers were bulky, heavy devices. In 1983, DARPA set out to miniaturize them, leading to a much broader adoption of GPS capability.
First rough conceptual design of the ARPANET.
Paving the Way to the Modern Internet
ARPA research played a central role in launching the Information Revolution. The agency developed and furthered much of the conceptual basis for the ARPANET—prototypical communications network launched nearly half a century ago—and invented the digital protocols that gave birth to the Internet.
  • About Us
  • About DARPA
  • People
  • Offices
  • Innovation Timeline
  • Testimony
  • Budget
  • History list page
  • Image Gallery
  • Our Research
  • Open Catalog
  • News
  • Events
  • Work With Us
  • Opportunities
  • New Program Managers
  • Contract Management
  • For Industry
  • For Small Businesses
  • For Universities
  • For Government and Military
  • Employment at DARPA
  • Site Info
  • Sitemap
  • Cookie Disclaimer
  • Web Policy
  • Privacy Policy
  • Accessibility/Section 508
  • No Fear Act
  • Whistleblower Protection Act
  • Usage Policy
  • DoD Hotline
  • USA.gov
  • /
  • Freedom of Information Act
  • /
  • Privacy and Civil Liberties
  • /
  • Visitor Information
  • /
  • Contact Us
  • Twitter
  • Facebook
  • YouTube
  • Instagram
  • Linked In
  • RSS
Defense Advanced Research Projects Agency 675 North Randolph Street
Arlington, VA 22203-2114
703.526.6630

This is an official U.S. Department of Defense website sponsored by the Defense Advanced Research Projects Agency.

You are now leaving the DARPA.mil website that is under the control and management of DARPA. The appearance of hyperlinks does not constitute endorsement by DARPA of non-U.S. Government sites or the information, products, or services contained therein. Although DARPA may or may not use these sites as additional distribution channels for Department of Defense information, it does not exercise editorial control over all of the information that you may find at these locations. Such links are provided consistent with the stated purpose of this website.


After reading this message, click  to continue immediately.

Go Back