用零知识证明重塑漏洞披露

Trail of Bits 与约翰霍普金斯大学的 Matthew Green 合作，在 DARPA SIEVE 项目资助下研究「可利用性的零知识证明」：漏洞研究者可向厂商证明漏洞真实存在而不泄露细节，目标是把 ZK 证明能力扩展到运行于 x86 处理器上的程序。