CAREER: Foundations of Cryptographic Proof Systems

职业：密码证明系统的基础

• 批准号: 2045180
• 负责人: David Wu
• 金额: $ 50万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-08-01 至 2021-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2045180&HistoricalAwards=false
• 关键词: CAREER; Foundations; Cryptographic; Proof; Systems

Modern cryptography began with the goal of protecting communications over public networks. Today, not only do we communicate with each other remotely, we also delegate our computations to cloud-based services. But can we trust the cloud? Just as cryptographic techniques developed in the last half century provided the foundation for secure communication on the Internet, new techniques provide similar mechanisms for ensuring privacy and integrity of computations. As these technologies mature and see deployment, it is important to carefully study their design and security. The focus of this project is on the theoretical foundations of cryptographic proof systems, a key primitive used to ensure privacy and integrity of computations. This project conducts a systematic study of the theoretical foundations of cryptographic proof systems that provide privacy and minimize proof size. The focus is on constructions from general and unstructured assumptions. This newly enables cryptographic proof systems from simpler and weaker cryptographic notions. In addition, through the careful study of the foundations of cryptographic proof systems, the project expands our understanding of the broader connections between proof systems and other core cryptographic notions like public-key encryption and witness encryption. By viewing these notions through the lens of cryptographic proof systems, this project paves new paths towards realizing these primitives from simpler cryptographic assumptions. This project also develops new educational material at all levels (from K-12 students to graduate students) focused on applied cryptography and the role it plays in securing digital systems and computations.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.

现代密码学的目标是保护公共网络上的通信。如今，我们不仅彼此远程通信，还将计算委托给基于云的服务。但我们可以相信云吗？正如过去半个世纪发展起来的密码技术为互联网上的安全通信奠定了基础一样，新技术也提供了类似的机制来确保计算的隐私性和完整性。随着这些技术的成熟和部署，仔细研究其设计和安全性非常重要。该项目的重点是密码证明系统的理论基础，这是用于确保计算的隐私和完整性的关键原语。该项目对提供隐私并最小化证明大小的密码证明系统的理论基础进行了系统研究。重点是根据一般和非结构化假设进行构建。这使得密码证明系统能够采用更简单和更弱的密码概念。此外，通过仔细研究密码证明系统的基础，该项目扩展了我们对证明系统与公钥加密和见证加密等其他核心密码概念之间更广泛联系的理解。通过从加密证明系统的角度看待这些概念，该项目为从更简单的加密假设实现这些原语铺平了新的道路。该项目还开发了各个级别（从 K-12 学生到研究生）的新教育材料，重点关注应用密码学及其在保护数字系统和计算方面所发挥的作用。该奖项反映了 NSF 的法定使命，并被认为值得通过以下方式获得支持：使用基金会的智力价值和更广泛的影响审查标准进行评估。

项目成果

Batch Arguments for NP and More from Standard Bilinear Group Assumptions

来自标准双线性群假设的 NP 及更多参数的批量参数

• 发表时间: 2022
• 期刊: CRYPTO 2022
• 作者: Waters, Brent;Wu, David J.
• 通讯作者: Wu, David J.

How to Use (Plain) Witness Encryption: Registered ABE, Flexible Broadcast, and More

如何使用（普通）见证加密：注册 ABE、灵活广播等

• 发表时间: 2023
• 期刊: Annual International Cryptology Conference (CRYPTO
• 作者: Freitag, Cody;Waters, Brent;Wu, David J.
• 通讯作者: Wu, David J.

Non-Interactive Zero-Knowledge from Non-Interactive Batch Arguments

• DOI: 10.1007/978-3-031-38545-2_2
• 发表时间: 2023
• 作者: J. Champion;David J. Wu

Fully Succinct Batch Arguments for NP from Indistinguishability Obfuscation

来自不可区分性混淆的 NP 的完全简洁批量参数

• 发表时间: 2022
• 期刊: TCC 2022
• 作者: Garg, Rachit;Sheridan, Kristin;Waters, Brent;Wu, David J.
• 通讯作者: Wu, David J.

Registered Attribute-Based Encryption

注册的基于属性的加密

• 发表时间: 2023
• 期刊: EUROCRYPT 2023
• 作者: Hohenberger, Susan;Lu, George;Waters, Brent;Wu, David J.
• 通讯作者: Wu, David J.