SHF: Small: A New Approach for Hardware Design of High-Precision Discrete Gaussian Sampling

SHF：小：高精度离散高斯采样硬件设计的新方法

• 批准号: 2146881
• 负责人: Aydin Aysu
• 金额: $ 19.98万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-02-01 至 2025-01-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2146881&HistoricalAwards=false
• 关键词: SHF; Small; New; Approach; Hardware

New cryptographic systems can improve the security level and privacy assurance of everyday applications. These systems, however, often require new building blocks that did not exist earlier. High-precision sampling from Gaussian distributions is one such time-consuming and critical building block that has to be implemented efficiently with customized hardware solutions. The statistical accuracy of the resulting solutions must be guaranteed to abide by cryptographic security requirements. Moreover, the developed solutions must be flexible enough to support multiple current and potential future applications. Existing hardware designs cannot meet these conditions. This project will address this problem by a cross-cutting approach on hardware design, algorithms, statistics, and cryptography. Successful completion of the proposed activity will be a significant step towards automated solutions for provably-secure sampler designs. The project will help workforce development in the area of hardware security in collaboration with several other universities. The results of the project will be made open-source and will potentially be made available to other agencies, e.g., NIST.In this project, new sampler hardware designs will be developed to support lattice-based cryptographic systems such as those in post-quantum cryptography and homomorphic-encryption applications. Although sampling from uniform distributions has been thoroughly studied in the context of cryptography and other applications, there are significantly fewer works on sampling from non-uniform distributions such as the Gaussian distribution, which is unique to lattice-based cryptosystems. To that end, the project will first explore novel algorithmic approaches that simplify the random-search process used in Gaussian-sampling techniques. The project will then explore the approximation techniques that optimize the search while minimizing the impact on statistical deviations. Furthermore, the project will seek full design-automation solutions that can create optimized sampling hardware for a given set of parameters. The resulting solutions will be mapped to reconfigurable hardware and benchmarked against earlier proposals to compare the overheads and savings.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

新的加密系统可以提高日常应用程序的安全级别和隐私保证。然而，这些系统通常需要以前不存在的新构建模块。从高斯分布进行高精度采样是一种耗时且关键的构建块，必须通过定制的硬件解决方案有效地实现。必须保证所得解的统计准确性以遵守密码安全要求。此外，开发的解决方案必须足够灵活，以支持多种当前和潜在的未来应用。现有的硬件设计无法满足这些条件。这个项目将通过硬件设计、算法、统计和密码学的交叉方法来解决这个问题。成功完成拟议活动将是迈向可证明安全的采样器设计自动化解决方案的重要一步。该项目将与其他几所大学合作，帮助硬件安全领域的劳动力发展。该项目的结果将开放源码，并有可能提供给其他机构，例如，在这个项目中，将开发新的采样器硬件设计，以支持基于格的密码系统，例如后量子密码学和同态加密应用中的系统。虽然在密码学和其他应用的背景下，从均匀分布采样已经被彻底研究，但从非均匀分布（如高斯分布）采样的工作明显较少，这是基于格的密码系统所特有的。为此，该项目将首先探索新的算法方法，简化高斯采样技术中使用的随机搜索过程。然后，该项目将探索近似技术，优化搜索，同时最大限度地减少对统计偏差的影响。此外，该项目将寻求完全的设计自动化解决方案，可以为给定的一组参数创建优化的采样硬件。由此产生的解决方案将被映射到可重新配置的硬件和基准对以前的建议，比较的开销和节省。这个奖项反映了NSF的法定使命，并已被认为是值得的支持，通过评估使用基金会的智力价值和更广泛的影响审查标准。