TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness

TWC：大型：协作：可验证的硬件：证明自身正确性的芯片

• 批准号: 1565412
• 负责人: Abhi Shelat
• 金额: $ 54万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-07-01 至 2016-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1565412&HistoricalAwards=false
• 关键词: TWC; Large; Collaborative; Verifiable; Hardware

This project addresses how semiconductor designers can verify the correctness of ICs that they source from possibly untrusted fabricators. Existing solutions to this problem are either based on legal and contractual obligations, or use post-fabrication IC testing, both of which are unsatisfactory or unsound. As a sound alternative, this project designs and fabricates verifiable hardware: ICs that provide proofs of their correctness for every input-output computation they perform in the field. These proofs must be efficiently verifiable in less time and energy than it takes to re-execute the computation itself.Building upon exciting recent theoretical and practical advances in verifiable outsourced computation for the cloud, this project develops new techniques that exploit the unique constraints and adversary models that relate to the verifiable hardware problem. In addition, the project also develops new practical approaches to the problem of general verifiable computation. As a broader impact, computing systems security is one of the greatest technological problems faced by society today. Verifiable hardware is an essential foundation for building future computing systems that are reliable and free from catastrophic security failures. The ultimate goal of this project is to make verifiable hardware practical and accessible for use in cryptographic and mission-critical hardware applications through open-source tools. The PIs are strongly committed to education and public outreach by producing widely-used course materials and taking active roles in outreach at minority-serving universities, community colleges, student organizations and high schools.

这个项目解决了半导体设计师如何验证他们从可能不可信的制造商那里采购的IC的正确性。这个问题的现有解决方案要么是基于法律和合同义务，要么是使用制造后IC测试，这两种方法都不令人满意或不可靠。作为一种合理的替代方案，该项目设计和制造了可验证的硬件：IC，为它们在现场执行的每一次输入-输出计算提供正确性的证明。这些证明必须比重新执行计算本身所需的时间和精力更少，才能有效地进行验证。该项目基于云可验证外包计算方面令人兴奋的最新理论和实践进展，开发了利用与可验证硬件问题相关的独特约束和对手模型的新技术。此外，该项目还为通用可验证计算问题开发了新的实用方法。作为更广泛的影响，计算系统安全是当今社会面临的最大技术问题之一。可验证硬件是构建可靠且不会出现灾难性安全故障的未来计算系统的重要基础。该项目的最终目标是使可验证的硬件切实可行，并可通过开源工具在加密和关键任务硬件应用程序中使用。通过编写广泛使用的课程材料，并在为少数族裔服务的大学、社区学院、学生组织和高中的外联活动中发挥积极作用，私人投资机构坚定地致力于教育和公共宣传。