[据军事航空电子网2019年7月16日报道]美国国防先期研究计划局（DARPA）就“加-密验证和评估的安全信息”项目，正尝试在不透露敏-感详细信息的情况下校验其军事能力，并提高零知识证明技术的效率。
美国军事研究人员正试图通过改进零知识证明技术来提高信息安全性和可信计算能力，使密-码技术在复杂的军事场景下得以应用。
DARPA官员7月12日发布了一份广泛机构公告书（HR001119S0076），以确保此项目的信息安全。
SIEVE寻求先进的零知识证明技术以促进复杂的军事应用。零知识证明加-密法使一方能够证明他知道某个特定的信息而不传递任何秘-密信息；挑战在于证明他拥有敏-感信息而不泄露信息本身。
为了实现这一目标，SIEVE将使用零知识证明来验证军事能力，而不透露敏-感的细节。该项目还将致力于提高零知识证明技术的效率，以使大型、复杂的证明语句（数十亿个构成方式或更多）成为可能的和不确定的分支条件。
零和证明通常用于加-密货币交易。然而，这种技术不足以证明任何超线性复杂性都可能造成无法克服的效率瓶颈的复杂证明语句。
SIEVE关注的是有关网络安全和网络空间行动的零知识证明，这在历史上一直是美国军方难以在不发布敏-感信息的情况下以可核查的方式讨论的。
SIEVE将证明把复杂的军事语句编码为中间表示语句是可行的，这有助于为这些语句创建有效的零知识证明。
SIEVE项目分为三个阶段——第一阶段18个月、第二阶段18个月和第三阶段12个月。
第一阶段强调如何证明将军事语句编码为中间表示语句的可行性，以及如何在军事场景中提供有效的零知识证明。第二阶段强调一个集成的流程，由中间表示法编码成的语句创建零知识证明。第三阶段强调优化和缩放技术。
该程序分为三个技术领域：构建有用的零知识语句；构建高效的零知识证明生成编译器；以及后量子零知识。
构造有用的零知识语句的重点是将现实军事问题语句的编码生成一个中间表示语句，以生成有效的零知识证明。
构建高效的零知识证明生成编译器的重点是生成新的理论和软件，从中间表示编码的问题语句生成高效的零知识证明。DARPA官员说，他们希望为每个技术领域都授予几个合同。
感兴趣的公司应该提交摘要来回答四个问题：计划要完成的工作是什么；今天是如何完成的，限制是什么；如果工作成功，谁会关心，影响是什么；成本是多少，需要多长时间？