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.

Registered Attribute-Based Encryption

注册的基于属性的加密

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

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.

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

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