TWC: Large: Collaborative: The Science and Applications of Crypto-Currency

TWC：大型：协作：加密货币的科学与应用

• 批准号: 2131903
• 负责人: Elaine Shi
• 金额: $ 193.58万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-03-15 至 2021-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2131903&HistoricalAwards=false
• 关键词: TWC; Large; Collaborative; Science; Applications

Crypto-currencies and smart contracts are a new wave of disruptive technology that will shape the future of money and financial transactions. Today, crypto-currencies are a billion-dollar market, and hundreds of companies are entering this space, promising exciting new markets and eco-systems. Unfortunately, usage of crypto-currencies outstrips our understanding. Currently most crypto currencies rely on heuristic designs without a solid appreciation of the necessary security properties, or any formal basis upon which strong assurance of such properties might be achieved.This work aims to establish a rigorous scientific foundation for crypto-currencies. To achieve this, this work blends cryptography, game theory, programming languages, and systems security techniques. Expected outcomes include new crypto-currency designs with provable security properties, financially enforceable cryptographic protocols whose security properties are backed by enforceable payments in case of a breach, smart contract systems that are easy to program and formally verifiable, as well as high-assurance systems for storing and handling high-value crypto-currencies and transactions. The project will provide solutions to some of the most difficult and important technical questions surrounding the current digital-money revolution. The investigators will organize a crypto-currency speaker series that will bring together technologists, economists, social scientists, and policy-makers to foster collaborations that will shape the future of digital currencies.

加密货币和智能合约是一波破坏性技术的一波，它将影响货币和金融交易的未来。如今，加密货币是一个十亿美元的市场，数百家公司正在进入这个空间，有望令人兴奋的新市场和生态系统。不幸的是，加密货币的用法超过了我们的理解。目前，大多数加密货币都依靠启发式设计，而没有对必要的安全性的坚实欣赏，或者可以实现强大的保证这种特性的正式基础。这项工作旨在为加密货币建立严格的科学基础。为了实现这一目标，这项工作将密码学，游戏理论，编程语言和系统安全技术融合在一起。预期的结果包括具有可证明安全属性的新的加密货币设计，可强制执行的加密协议，其安全属性在易于编程且可正式验证的，易于验证的智能合同系统以及用于存储和处理高价值的高价值Crypto-Curpto-Currencies和Transactions的违约，智能合约系统的支持下，其安全性。该项目将为围绕当前数字革命的一些最困难，最重要的技术问题提供解决方案。调查人员将组织一个加密货币演讲者系列，该系列将汇集技术人员，经济学家，社会科学家和政策制定者，以促进将塑造数字货币未来的合作。