NSF-BSF: SaTC: CORE: Small: Blockchain Fairness

NSF-BSF:SaTC:核心:小型:区块链公平性

基本信息

  • 批准号:
    1933655
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2019
  • 资助国家:
    美国
  • 起止时间:
    2019-10-01 至 2022-09-30
  • 项目状态:
    已结题

项目摘要

Blockchains provide compelling security properties that enable powerful systems to be constructed without reliance on trusted third parties. Their rise has created successful, multi-billion dollar systems and has had a transformative impact on venture funding and the financial industry. Blockchains as currently designed, though, fail to enforce fairness for their users, meaning equal opportunities for fast transaction processing. The project investigators will seek to address the pervasive fairness deficiencies in blockchain systems. The project's novelties include a systematic investigation of fairness lapses in blockchain systems and the exploration of new techniques to enforce fairness across different layers in these systems. The project's impacts are rigorous measurement of fairness gaps in existing blockchain systems and the creation of new design principles and techniques to address these gaps.The investigators systematically explore failures of fairness in blockchain systems both through measurement of active systems and by means of formal definitions and theoretical analysis. They design and implement solutions that approximate or fully realize the ideal properties they formalize. The investigators also explore options for obtaining fairness properties on top of existing blockchains, despite their underlying lack of fairness guarantees. They seek to achieve this goal through novel design of smart contracts, applications that execute on top of blockchain platforms. The investigators leverage rigorous cryptographic and game-theoretic modeling in their work, and also aim to deploy software solutions that are mature and practical enough for adoption by practitioners.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.
区块链提供了令人信服的安全属性,使强大的系统能够在不依赖可信第三方的情况下构建。它们的崛起创造了成功的、价值数十亿美元的体系,并对风险投资和金融业产生了变革性的影响。然而,目前设计的区块链未能强制用户实现公平,这意味着快速交易处理的机会均等。项目调查人员将寻求解决区块链系统中普遍存在的公平缺陷。该项目的新颖性包括对区块链系统中的公平失误进行了系统调查,并探索了在这些系统中的不同层执行公平的新技术。该项目的影响是严格衡量现有区块链系统中的公平差距,并创造新的设计原则和技术来解决这些差距。调查人员通过对活动系统的衡量,以及通过形式定义和理论分析,系统地探索区块链系统中的公平失败。他们设计和实现接近或完全实现他们形式化的理想属性的解决方案。调查人员还探索了在现有区块链的基础上获得公平属性的选择,尽管它们根本缺乏公平保证。他们寻求通过智能合同的新颖设计来实现这一目标,智能合同是在区块链平台上执行的应用程序。调查人员在他们的工作中利用严格的密码学和博弈论建模,并致力于部署足够成熟和实用的软件解决方案,供从业人员采用。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Order-Fairness for Byzantine Consensus
  • DOI:
    10.1007/978-3-030-56877-1_16
  • 发表时间:
    2020-08
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mahimna Kelkar;Fan Zhang;Steven Goldfeder;A. Juels
  • 通讯作者:
    Mahimna Kelkar;Fan Zhang;Steven Goldfeder;A. Juels
{{ 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 }}

Ari Juels其他文献

Verifying Outsourced Replicated Data in Cloud Computing Storage Systems
验证云计算存储系统中的外包复制数据
  • DOI:
    10.5120/17382-7921
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ayad F. Barsoum;M. Hasan;Marcos K. Aguilera;R. Janakiraman;Lihao Xu;G. Ateniese;R. Burns;R. Curtmola;J. Herring;L. Kissner;Z. Peterson;R. D. Pietro;L. V. Mancini;Paulo S. L. M. Barreto;Ayad F. Barsoum;Kevin D. Bowers;Ari Juels
  • 通讯作者:
    Ari Juels
2023 DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs
2023 DAO 去中心化:投票集团熵、贿赂和黑暗 DAO
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    James Austgen;Andr´es F´abrega;Sarah Allen;Kushal Babel;Mahimna Kelkar;Ari Juels;Cornell Tech
  • 通讯作者:
    Cornell Tech
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning
Lanturn:通过自适应学习衡量智能合约的经济安全性

Ari Juels的其他文献

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

{{ truncateString('Ari Juels', 18)}}的其他基金

Collaborative Research: SaTC: CORE: Medium: Hybridizing Trusted Execution Environments and Secure Multiparty Computation
协作研究:SaTC:核心:中:混合可信执行环境和安全多方计算
  • 批准号:
    2112751
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Proactive and Reactive Mechanisms for Safer Smart Contracts
SaTC:核心:中:更安全的智能合约的主动和反应机制
  • 批准号:
    1704615
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
TTP: Medium: Democratizing Secure Password Management
TTP:中:安全密码管理民主化
  • 批准号:
    1564102
  • 财政年份:
    2016
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
TWC: Medium: Collaborative: Distribution-Sensitive Cryptography
TWC:媒介:协作:分布敏感密码学
  • 批准号:
    1514163
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard 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: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
NSF-BSF: SaTC: CORE: Small: Prevention, Detection and Mitigation for Secure Interdomain Routing
NSF-BSF:SaTC:CORE:小型:安全域间路由的预防、检测和缓解
  • 批准号:
    2247810
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
NSF-BSF: SaTC: CORE: Small: Evaluating Cybersecurity Precautions and Harms in Israeli Enterprises
NSF-BSF:SaTC:核心:小型:评估以色列企业的网络安全预防措施和危害
  • 批准号:
    2147505
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NSF-BSF: SaTC: CORE: Small: Rowhammering Peripherals
NSF-BSF:SaTC:核心:小型:Rowhammering 外围设备
  • 批准号:
    2154771
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NSF-BSF: SaTC: CORE: Small: Secure Massively Parallel Computations: Foundations and Constructions
NSF-BSF:SaTC:核心:小型:安全大规模并行计算:基础和结构
  • 批准号:
    2044679
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: NSF-BSF: CORE: Small: Increasing Users' Cyber-Security Compliance by Reducing Present Bias
SaTC:NSF-BSF:核心:小型:通过减少当前偏差来提高用户的网络安全合规性
  • 批准号:
    1817249
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: NSF-BSF: CORE: Small: Attacking and Defending the Lifespan of Mobile and Embedded Flash Storage
SaTC:NSF-BSF:CORE:小型:攻击和捍卫移动和嵌入式闪存存储的寿命
  • 批准号:
    1816263
  • 财政年份:
    2018
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC-BSF: CORE: Small: Collaborative: Making Blockchains Scale Privately and Reliably
SaTC-BSF:核心:小型:协作:使区块链私密且可靠地扩展
  • 批准号:
    1719196
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC-BSF: CORE: Small: Collaborative: Making Blockchains Scale Privately and Reliably
SaTC-BSF:核心:小型:协作:使区块链私密且可靠地扩展
  • 批准号:
    1718595
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了