CAREER: Scalable Consensus Protocol Design with Accountability and Privacy under Practical Failure Models

职业:在实际失败模型下具有责任和隐私的可扩展共识协议设计

基本信息

  • 批准号:
    2237814
  • 负责人:
  • 金额:
    $ 60.37万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-05-15 至 2028-04-30
  • 项目状态:
    未结题

项目摘要

In many fields, such as commerce and finance, a small number of organizations are trusted to maintain the integrity of data and transactions. If these organizations fail, the core integrity property is lost. Blockchains systems form the critical infrastructure and technology for decentralizing trust to multiple parties such that integrity is maintained even if some of them are malicious. Due to the value of the information stored, these systems need the ability to tolerate a significant fraction of malicious parties, ensure these parties do not have an incentive to misbehave, and hold parties accountable and recover in case of an attack. Moreover, for scalability, these systems need to have low communication complexity, good latency, and support private transactions. Unfortunately, existing blockchain systems do not meet all of these requirements. This project makes novel scientific advances by bridging the gap between theoretical foundations and the practical aspects of blockchain consensus by considering several properties such as accountability, practical failure models, and privacy. The project's broader significance and importance include: (i) improved designs for public blockchains such as Ethereum and Zcash, industry-based permissioned blockchains such as VMware Concord, and applications such as decentralized finance and Central Banking Digital Currencies, (ii) a comprehensive education, dissemination, and outreach plan resulting in (a) new graduate and undergraduate courses with open-source materials, (b) the mentoring of graduate, undergraduate, and high school students – especially from underrepresented minorities in computing, and (c) organizing events that facilitate interdisciplinary collaboration on blockchains.The project exploits and reveals synergies between distributed computing, theory, privacy, game theory, and computer systems. It answers fundamental research questions on 1) defining and studying mechanisms for fault detection and recovery and how they act as a feedback loop to the security and efficiency of the system, 2) designing secure and efficient self-stabilizing synchronous protocols tolerating minority corruption, 3) analyzing consensus in the presence of rational parties, and 4) understanding the limits of and designing randomized privacy mechanisms for privacy-preserving proof-of-stake protocols.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.
在许多领域,例如商业和金融,少数组织被信任来维护数据和交易的完整性。如果这些组织失败,核心完整性属性将丢失。区块链系统形成了将信任分散到多方的关键基础设施和技术,即使其中一些是恶意的,也可以保持完整性。由于存储的信息的价值,这些系统需要能够容忍相当一部分恶意方,确保这些方没有不当行为的动机,并在发生攻击时追究各方的责任并进行恢复。此外,为了可扩展性,这些系统需要具有低通信复杂性,良好的延迟,并支持私有事务。不幸的是,现有的区块链系统并不能满足所有这些要求。该项目通过考虑问责制、实际失败模型和隐私等几个属性,弥合了区块链共识的理论基础和实践方面之间的差距,从而取得了新的科学进步。该项目更广泛的意义和重要性包括:(i)改进以太坊和Zcash等公共区块链、VMware Concord等基于行业的许可区块链以及去中心化金融和中央银行数字货币等应用程序的设计,(ii)全面的教育、传播和推广计划,从而产生(a)使用开源材料的新研究生和本科生课程,(B)指导研究生、本科生和高中生--特别是来自计算领域代表性不足的少数群体的学生;(c)组织促进区块链跨学科合作的活动。该项目利用并揭示了分布式计算、理论、隐私、博弈论和计算机系统之间的协同作用。它回答了以下基本研究问题:1)定义和研究故障检测和恢复机制,以及它们如何作为系统安全性和效率的反馈回路,2)设计安全有效的自稳定同步协议,容忍少数腐败,3)分析理性各方存在的共识,和4)理解的限制和设计的随机隐私机制的隐私保护的证明,该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的智力价值和更广泛的评估来支持。影响审查标准。

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Abraxas: Throughput-Efficient Hybrid Asynchronous Consensus
Player-Replaceability and Forensic Support are Two Sides of the Same (Crypto) Coin
  • DOI:
    10.1007/978-3-031-47754-6_4
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Peiyao Sheng;Gerui Wang;Kartik Nayak;Sreeram Kannan;P. Viswanath
  • 通讯作者:
    Peiyao Sheng;Gerui Wang;Kartik Nayak;Sreeram Kannan;P. Viswanath
Private Proof-of-Stake Blockchains using Differentially-Private Stake Distortion
使用差分私人股权扭曲的私人股权证明区块链
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Wang, Chenghong;Pujol, David;Nayak, Kartik;Machanavajjhala, Ashwin
  • 通讯作者:
    Machanavajjhala, Ashwin
{{ 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 }}

Kartik Ravidas Nayak其他文献

Kartik Ravidas Nayak的其他文献

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

{{ truncateString('Kartik Ravidas Nayak', 18)}}的其他基金

RAPID: Poirot: From Contact Tracing to Private Exposure Detection
RAPID:波洛:从接触者追踪到私人暴露检测
  • 批准号:
    2029853
  • 财政年份:
    2020
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Medium: Quicksilver: A Write-oriented, Private, Outsourced Database Management System
协作研究:SaTC:核心:媒介:Quicksilver:面向写入的私有外包数据库管理系统
  • 批准号:
    2016393
  • 财政年份:
    2020
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    合作创新研究团队

相似海外基金

Scalable indoor power harvesters using halide perovskites
使用卤化物钙钛矿的可扩展室内能量收集器
  • 批准号:
    MR/Y011686/1
  • 财政年份:
    2025
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Fellowship
RestoreDNA: Development of scalable eDNA-based solutions for biodiversity regulators and nature-related disclosure
RestoreDNA:为生物多样性监管机构和自然相关披露开发可扩展的基于 eDNA 的解决方案
  • 批准号:
    10086990
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Collaborative R&D
Scalable and Automated Tuning of Spin-based Quantum Computer Architectures
基于自旋的量子计算机架构的可扩展和自动调整
  • 批准号:
    2887634
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Studentship
DREAM Sentinels: Multiplexable and programmable cell-free ADAR-mediated RNA sensing platform (cfRADAR) for quick and scalable response to emergent viral threats
DREAM Sentinels:可复用且可编程的无细胞 ADAR 介导的 RNA 传感平台 (cfRADAR),可快速、可扩展地响应突发病毒威胁
  • 批准号:
    2319913
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
Collaborative Research: Scalable Nanomanufacturing of Perovskite-Analogue Nanocrystals via Continuous Flow Reactors
合作研究:通过连续流反应器进行钙钛矿类似物纳米晶体的可扩展纳米制造
  • 批准号:
    2315997
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
CAREER: Scalable Physics-Inspired Ising Computing for Combinatorial Optimizations
职业:用于组合优化的可扩展物理启发伊辛计算
  • 批准号:
    2340453
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
SBIR Phase I: Scalable Magnetically-Geared Modular Space Manipulator for In-space Manufacturing and Active Debris Remediation Missions
SBIR 第一阶段:用于太空制造和主动碎片修复任务的可扩展磁力齿轮模块化空间操纵器
  • 批准号:
    2335583
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
CC* Networking Infrastructure: Building a Scalable and Polymorphic Cyberinfrastructure for Diverse Research and Education Needs at Illinois State University
CC* 网络基础设施:为伊利诺伊州立大学的多样化研究和教育需求构建可扩展和多态的网络基础设施
  • 批准号:
    2346712
  • 财政年份:
    2024
  • 资助金额:
    $ 60.37万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了