Collaborative Research: SaTC: CORE: Medium: From Distributed Cryptography to Blockchain and Back
协作研究:SaTC:核心:媒介:从分布式密码学到区块链并返回
基本信息
- 批准号:2055599
- 负责人:
- 金额:$ 40万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2021
- 资助国家:美国
- 起止时间:2021-05-01 至 2025-04-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Secure distributed computation has long been a common “playground” for cryptography and distributed computing/systems research. Despite novel ideas flowing in both directions and central questions such as resilience to misbehavior and efficiency being treated by both communities, the difference in focus and the aimed properties have resulted in distinct approaches and considerable gaps in terminology, models, definitions and overall language. This mismatch is ever more present in emerging technologies such as blockchain and decentralized ledgers (DLT). The project’s novelties are: (1) a common blockchain-focused language for cryptography and distributed computing and translations of results to this common language; and (2) the study of feasibility, scalability, and efficiency of both classical distributed-cryptography primitives and blockchain-inspired ones, in models that better capture the challenges and idiosyncrasies of the latter. The project’s impacts are to forment collaborations that will ensure a holistic approach to the modern challenges posed by the above emerging technologies thus avoiding pitfalls that can hinder these technologies’ potential. The study of cryptographic hardness and decentralized trust assumptions can lead to a more flexible yet realistic and secure cyberspace. This project will actively promote an interdisciplinary research agenda focused on these technologies at Purdue, Texas A&M, and Northeastern, and will actively pursue inclusion to computer science research of underrepresented groups in the field. A bit more concretely, the goal of this project is to address the above challenges by (1) creating a framework suitable for expressing foundational and modern questions from both cryptography and distributed computing, without ignoring privacy or computational considerations, a paradigm that is termed distributed cryptography, and theoretical transformations (“compilers”) for importing classical results into this framework, and further extending them under the cryptographic lens; (2) investigating feasibility, scalability, and efficiency of distributed cryptography primitives, such as secure multi-party computation, in models of execution and under assumptions inspired by DLT protocols; and (3) investigate how the paradigm of relying on a sparse resource, which is central in the blockchain literature (e.g., hashing power in proofs of work- and stake in proofs of stake-based protocols) can generically reshape distributed cryptography and allow us to circumvent long-standing impossibility results.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.
安全的分布式计算一直是密码学和分布式计算/系统研究的共同“游乐场”。尽管新的想法在两个方向和中心问题,如弹性不当行为和效率正在处理的两个社区,在重点和目标属性的差异,导致不同的方法和相当大的差距在术语,模型,定义和整体语言。这种不匹配在区块链和分散式分类账(DLT)等新兴技术中更加明显。该项目的创新之处是:(1)一种用于密码学和分布式计算的通用区块链语言,以及将结果翻译成这种通用语言;(2)研究经典分布式密码学原语和区块链启发的原语的可行性、可扩展性和效率,以更好地捕捉后者的挑战和特质的模型。该项目的影响是形成合作,以确保对上述新兴技术带来的现代挑战采取全面的方法,从而避免可能阻碍这些技术潜力的陷阱。加密硬度和分散信任假设的研究可以导致一个更灵活,但现实和安全的网络空间。该项目将积极推动普渡大学、德克萨斯州A M大学和东北大学的跨学科研究议程,重点关注这些技术,并将积极寻求将该领域代表性不足的群体纳入计算机科学研究。更具体地说,这个项目的目标是通过以下方式解决上述挑战:(1)创建一个框架,该框架适合表达密码学和分布式计算的基础和现代问题,而不忽略隐私或计算方面的考虑,一个称为分布式密码学的范式,以及理论转换(“编译器”)用于将经典结果导入该框架,并在密码学透镜下进一步扩展它们;(2)研究分布式密码原语的可行性、可扩展性和效率,例如安全多方计算,在执行模型中以及在DLT协议启发的假设下;以及(3)研究如何依赖于稀疏资源的范例,这在区块链文献中是核心(例如,工作量证明中的哈希能力-以及基于工作量证明的协议中的权益)通常可以重塑分布式密码学,并使我们能够规避长期存在的不可能结果。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(2)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Ethereum Tokens: Simulating Native Tokens in Ethereum
以太坊代币:在以太坊中模拟原生代币
- DOI:
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Andrews, John;Ciampi, Michele;Zikas, Vassilis
- 通讯作者:Zikas, Vassilis
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger
- DOI:10.1007/978-3-030-90453-1_22
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Christian Badertscher;Julia Hesse;Vassilis Zikas
- 通讯作者:Christian Badertscher;Julia Hesse;Vassilis Zikas
{{
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 }}
Vasileios Zikas其他文献
Vasileios Zikas的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
复杂电子产品超精密加工及检测关键技术研究与应用
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于合成生物学的动物底盘品种优化及中试应用研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
运用组学整合技术探索萆薢分清散联合化疗治疗晚期胰腺癌的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
九里香等提取物多靶向制剂抗肺癌的作用及机制研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
升血小板方治疗原发免疫性血小板减少症的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
八髎穴微波热疗在女性膀胱过度活动症治疗中的价值研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于 miR-455-5p 介导的氧化应激机制探讨糖尿病视网膜病变中医分型治疗的临床研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于 UPLC-Q-TOF-MS/MS 分析的 异功散活性成分评价及提取工艺研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
无创电针对于痉挛型双瘫脑 瘫患儿的有效性与安全性研究:一项随机 单盲前瞻性队列研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
弹压式手法与体外冲击波治疗肱骨外上髁炎的对比研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
相似海外基金
Collaborative Research: SaTC: CORE: Medium: Using Intelligent Conversational Agents to Empower Adolescents to be Resilient Against Cybergrooming
合作研究:SaTC:核心:中:使用智能会话代理使青少年能够抵御网络诱骗
- 批准号:
2330940 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
- 批准号:
2317232 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338301 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
- 批准号:
2317233 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
- 批准号:
2338302 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Using Intelligent Conversational Agents to Empower Adolescents to be Resilient Against Cybergrooming
合作研究:SaTC:核心:中:使用智能会话代理使青少年能够抵御网络诱骗
- 批准号:
2330941 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
- 批准号:
2413046 - 财政年份:2024
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: EDU: RoCCeM: Bringing Robotics, Cybersecurity and Computer Science to the Middled School Classroom
合作研究:SaTC:EDU:RoCCeM:将机器人、网络安全和计算机科学带入中学课堂
- 批准号:
2312057 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
- 批准号:
2317830 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
- 批准号:
2318843 - 财政年份:2023
- 资助金额:
$ 40万 - 项目类别:
Continuing Grant