SaTC: CORE: Small: Nested Black-Box Constructions in Cryptography

SaTC：核心：小型：密码学中的嵌套黑盒结构

• 批准号: 2028920
• 负责人: Omkant Pandey
• 金额: $ 49.91万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-10-01 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2028920&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Nested; Black

Secure computation is a broad topic in cryptography that deals with how to compute functions over distributed private data. At the most basic level, the security of this task is derived from simple, low level, cryptographic primitives. A central question in this area is whether the code of the low level primitives is required to securely compute the desired function. This question has remained largely unexplored for the case of cryptographic functions. The project's novelties are new enhancements to classical cryptographic primitives, and a new paradigm to securely compute any function instantiated from them without requiring its full code. The project's impacts are discovery of new and general-purpose tools that have the potential to transform the area of black-box secure computation.The project takes a fresh look at the case of functions that depend only on input/output behavior of other cryptographic primitives and not their code. Existing methods to securely compute such functions require the code of the primitives they depend on even though the functions themselves do not. Such functions, referred to as nested black-box functions, happen to be a major source of inefficiency in secure computation. It is argued that if classical cryptographic primitives such as one-way functions admit sufficiently powerful secure computation protocols, it may be possible to avoid the need for their code when computing nested black-box functions instantiated from them. This project explores ways to construct these enhanced primitives from classical ones in a black-box manner, and general-purpose methods to securely compute nested black-box functions instantiated from them.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.

Secure computation is a broad topic in cryptography that deals with how to compute functions over distributed private data. At the most basic level, the security of this task is derived from simple, low level, cryptographic primitives. A central question in this area is whether the code of the low level primitives is required to securely compute the desired function. This question has remained largely unexplored for the case of cryptographic functions. The project's novelties are new enhancements to classical cryptographic primitives, and a new paradigm to securely compute any function instantiated from them without requiring its full code. The project's impacts are discovery of new and general-purpose tools that have the potential to transform the area of black-box secure computation.The project takes a fresh look at the case of functions that depend only on input/output behavior of other cryptographic primitives and not their code. Existing methods to securely compute such functions require the code of the primitives they depend on even though the functions themselves do not. Such functions, referred to as nested black-box functions, happen to be a major source of inefficiency in secure computation. It is argued that if classical cryptographic primitives such as one-way functions admit sufficiently powerful secure computation protocols, it may be possible to avoid the need for their code when computing nested black-box functions instantiated from them. This project explores ways to construct these enhanced primitives from classical ones in a black-box manner, and general-purpose methods to securely compute nested black-box functions instantiated from them.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.

项目成果

Compact Ring Signatures from Learning With Errors

• DOI: 10.1007/978-3-030-84242-0_11
• 发表时间: 2021
• 作者: Rohit Chatterjee;Sanjam Garg;Mohammad Hajiabadi;Dakshita Khurana;Xiao Liang;Giulio Malavolta;Omkant Pandey;Sina Shiehian

Towards a Unified Approach to Black-Box Constructions of Zero-Knowledge Proofs

走向零知识证明黑盒构造的统一方法

• 发表时间: 2021
• 期刊: Advances in Cryptology - CRYPTO 2021
• 作者: Liang, X.;Pandey, O.
• 通讯作者: Pandey, O.

A New Approach to Efficient Non-Malleable Zero-Knowledge

高效不可延展零知识的新方法

• 发表时间: 2022
• 期刊: Advances in Cryptology – CRYPTO 2022
• 作者: Kim, A.;Liang, X.;Pandey, O.
• 通讯作者: Pandey, O.