..lly prove exploitability of vulnerable software without reveali
Research teams led by Galois, Trail of Bits develop capability to mathematically prove exploitability of vulnerable software without revealing critical information...
Link 1
Researchers Demonstrate Potential for Zero-Knowledge Proofs in Vulnerability Disclosure:
https://www.darpa.mil/news-events/2021-04-22