NSFSaTC-BSF: TWC: Small: Practical Succinct Proof Systems without Trusted Setup

NSFSaTC-BSF:TWC:小型:无需可信设置的实用简洁证明系统

基本信息

  • 批准号:
    1617676
  • 负责人:
  • 金额:
    $ 49.96万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2016
  • 资助国家:
    美国
  • 起止时间:
    2016-08-01 至 2021-07-31
  • 项目状态:
    已结题

项目摘要

Succinct non-interactive proofs are a powerful cryptographic building block with many promising applications in secure cloud outsourcing and in domains such as Internet of Things, medical, and financial applications where computation over privacy sensitive data is desired. Existing implementations of succinct proofs all rely on a trusted setup phase, commonly known as preprocessing. This preprocessing phase can be problematic since the system loses all security guarantees if the secret trapdoor generated during preprocessing is compromised. To make matters worse, the preprocessing is often not a one-time operation, and must be repeated for each application or, even worse, for different input sizes of the very same application.The project investigates ways to circumvent this major drawback by exploring succinct proof systems without trusted setup. This project creates a programming framework and compiler toolchain called Lunaria which compiles general programs, written in high-level languages, into succinct zero-knowledge proofs without trusted setup. Lunaria aims to combine algebraic-, compiler-, and implementation-level improvements in non-trivial ways, and enable orders of magnitude speedup over a straightforward implementation of state-of-the-art theoretical results. Expected impacts include new, open-source frameworks for succinct proofs without trusted setup, thus giving research and industry access to the power of succinct proofs.
简洁的非交互式证明是一个强大的密码构建块,在安全云外包和物联网、医疗和金融应用等领域有许多有前途的应用,这些领域需要对隐私敏感数据进行计算。简洁证明的现有实现都依赖于可信的设置阶段,通常称为预处理。这个预处理阶段可能是有问题的,因为如果在预处理期间生成的秘密陷门被破坏,则系统将失去所有安全保证。更糟糕的是,预处理通常不是一次性的操作,必须对每个应用程序重复进行,或者更糟糕的是,对同一应用程序的不同输入大小重复进行。该项目通过探索没有可信设置的简洁证明系统来研究规避这一主要缺点的方法。这个项目创建了一个名为Lunaria的编程框架和编译器工具链,它可以将用高级语言编写的通用程序编译成简洁的零知识证明,而无需可信的设置。Lunaria旨在以非平凡的方式将联合收割机代数级、编译器级和实现级的改进结合起来,并在最先进的理论结果的直接实现上实现数量级的加速。预期的影响包括新的开源框架,用于简洁的证明,而无需可信的设置,从而使研究和行业能够获得简洁证明的力量。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Elaine Shi其他文献

Path ORAM
路径ORAM
  • DOI:
    10.1145/3177872
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Emil Stefanov;Marten van Dijk;Elaine Shi;T.;Christopher W. Fletcher;Ling Ren;Xiangyao Yu;Srinivas Devadas
  • 通讯作者:
    Srinivas Devadas
Information-Theoretic Multi-Server PIR with Global Preprocessing
具有全局预处理的信息论多服务器 PIR
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ashrujit Ghoshal;Baitian Li;Yaohua Ma;Chenxin Dai;Elaine Shi
  • 通讯作者:
    Elaine Shi
Can open decentralized ledgers be economically secure?
开放式去中心化账本在经济上安全吗?
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jacob D. Leshno;Rafael Pass;Elaine Shi
  • 通讯作者:
    Elaine Shi
Replication Package for Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Viaduct 的复制包:用于安全分布式程序的可扩展、优化编译器
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cosku Acay;Rolph Recto;Joshua Gancher;A. Myers;Elaine Shi
  • 通讯作者:
    Elaine Shi
PIR with Client-Side Preprocessing: Information-Theoretic Constructions and Lower Bounds
具有客户端预处理的 PIR:信息理论构造和下界
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yuval Ishai;Elaine Shi
  • 通讯作者:
    Elaine Shi

Elaine Shi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Elaine Shi', 18)}}的其他基金

Collaborative Research: SaTC: CORE: Medium: Game Theory, Economics, and Mechanism Design for Blockchains
协作研究:SaTC:核心:媒介:区块链的博弈论、经济学和机制设计
  • 批准号:
    2212746
  • 财政年份:
    2022
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
TWC: Large: Collaborative: The Science and Applications of Crypto-Currency
TWC:大型:协作:加密货币的科学与应用
  • 批准号:
    2131903
  • 财政年份:
    2021
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Medium: Collaborative: Rethinking Access Pattern Privacy: From Theory to Practice
SaTC:核心:媒介:协作:重新思考访问模式隐私:从理论到实践
  • 批准号:
    2128519
  • 财政年份:
    2021
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NSF-BSF: SaTC: CORE: Small: Secure Massively Parallel Computations: Foundations and Constructions
NSF-BSF:SaTC:核心:小型:安全大规模并行计算:基础和结构
  • 批准号:
    2044679
  • 财政年份:
    2021
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Rethinking Access Pattern Privacy: From Theory to Practice
SaTC:核心:媒介:协作:重新思考访问模式隐私:从理论到实践
  • 批准号:
    2001026
  • 财政年份:
    2020
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SPX: Collaborative Research: Moving Towards Secure and Massive Parallel Computing
SPX:协作研究:迈向安全和大规模并行计算
  • 批准号:
    1822805
  • 财政年份:
    2018
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Rethinking Access Pattern Privacy: From Theory to Practice
SaTC:核心:媒介:协作:重新思考访问模式隐私:从理论到实践
  • 批准号:
    1801522
  • 财政年份:
    2018
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
CPS: TTP Option: Frontiers: Collaborative Research: Software Defined Control for Smart Manufacturing Systems
CPS:TTP 选项:前沿:协作研究:智能制造系统的软件定义控制
  • 批准号:
    1544613
  • 财政年份:
    2016
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
CAREER: Practical Oblivious Computation
职业:实用的遗忘计算
  • 批准号:
    1453634
  • 财政年份:
    2015
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
CAREER: Practical Oblivious Computation
职业:实用的遗忘计算
  • 批准号:
    1601879
  • 财政年份:
    2015
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant

相似国自然基金

枯草芽孢杆菌BSF01降解高效氯氰菊酯的种内群体感应机制研究
  • 批准号:
    31871988
  • 批准年份:
    2018
  • 资助金额:
    59.0 万元
  • 项目类别:
    面上项目
基于掺硼直拉单晶硅片的Al-BSF和PERC太阳电池光衰及其抑制的基础研究
  • 批准号:
    61774171
  • 批准年份:
    2017
  • 资助金额:
    63.0 万元
  • 项目类别:
    面上项目
B细胞刺激因子-2(BSF-2)与自身免疫病的关系
  • 批准号:
    38870708
  • 批准年份:
    1988
  • 资助金额:
    3.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: NSF-BSF: How cell adhesion molecules control neuronal circuit wiring: Binding affinities, binding availability and sub-cellular localization
合作研究:NSF-BSF:细胞粘附分子如何控制神经元电路布线:结合亲和力、结合可用性和亚细胞定位
  • 批准号:
    2321481
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: How cell adhesion molecules control neuronal circuit wiring: Binding affinities, binding availability and sub-cellular localization
合作研究:NSF-BSF:细胞粘附分子如何控制神经元电路布线:结合亲和力、结合可用性和亚细胞定位
  • 批准号:
    2321480
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
NSF-BSF: Many-Body Physics of Quantum Computation
NSF-BSF:量子计算的多体物理学
  • 批准号:
    2338819
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: Under Pressure: The evolution of guard cell turgor and the rise of the angiosperms
合作研究:NSF-BSF:压力之下:保卫细胞膨压的进化和被子植物的兴起
  • 批准号:
    2333889
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
Collaborative Research: NSF-BSF: Under Pressure: The evolution of guard cell turgor and the rise of the angiosperms
合作研究:NSF-BSF:压力之下:保卫细胞膨压的进化和被子植物的兴起
  • 批准号:
    2333888
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
NSF-BSF: Towards a Molecular Understanding of Dynamic Active Sites in Advanced Alkaline Water Oxidation Catalysts
NSF-BSF:高级碱性水氧化催化剂动态活性位点的分子理解
  • 批准号:
    2400195
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NSF-BSF: Collaborative Research: Solids and reactive transport processes in sewer systems of the future: modeling and experimental investigation
NSF-BSF:合作研究:未来下水道系统中的固体和反应性输送过程:建模和实验研究
  • 批准号:
    2134594
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NSF-BSF Combinatorial Set Theory and PCF
NSF-BSF 组合集合论和 PCF
  • 批准号:
    2400200
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
NSF-BSF: CDS&E: Tensor Train methods for Quantum Impurity Solvers
NSF-BSF:CDS
  • 批准号:
    2401159
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Continuing Grant
NSF-BSF: Collaborative Research: AF: Small: Algorithmic Performance through History Independence
NSF-BSF:协作研究:AF:小型:通过历史独立性实现算法性能
  • 批准号:
    2420942
  • 财政年份:
    2024
  • 资助金额:
    $ 49.96万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了