CAREER: Foundations of Cryptographic Proof Systems

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

• 批准号: 2140975
• 负责人: David Wu
• 金额: $ 50万
• 依托单位: University of Texas at Austin
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-08-01 至 2026-07-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2140975&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.