Scalability and Composability in Distributed Ledgers

分布式账本的可扩展性和可组合性

• 批准号: RGPIN-2019-04910
• 负责人: Golab, Wojciech
• 金额: $ 2.48万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=751591
• 关键词: Scalability; Composability; Distributed; Ledgers

Blockchain is the next frontier of distributed computing, and its rapid ascent from white papers to top-tier publications and multi-million dollar startups has caught the attention of both academics and practitioners. Much of the discussion surrounding blockchains, and more generally distributed ledgers, revolves around two fundamental questions: (i) will they scale to meet current and emerging demands, and (ii) can we trust their correctness? These questions will be answered through a multi-faceted research program that will engage both empirical and theoretical methodologies. NSERC-funded research activities will address the following short-term objectives: Objective 1: Scalability through composability. Scalability has been recognized as a major weakness of distributed ledgers, leading to a search for designs that compose multiple independent services by combining their outputs carefully to obtain a global ordering over transactions. This objective will focus on developing an understanding of how such compositions can be achieved correctly, and how they affect the inherent trade-off between throughput and latency. Objective 2: Streamlining execution in the absence of failures. Blockchain protocols are complex as they must handle both concurrency and failures, and can be simplified substantially in absence of failures. This objective will investigate performance optimizations that speed up blockchains in failure-free operation while maintaining correctness even under adverse conditions. Modular designs will be developed that can be combined with a variety of existing blockchain protocols. Objective 3: Understanding consistency-latency trade-offs. A blockchain protocol must validate transactions to prevent double-spending and ensure data consistency. This objective will develop an understanding of how much latency is required to detect double-spending within a given probability threshold, which can be viewed as a consistency-latency trade-off similar to those encountered in NoSQL storage systems. Objective 4: Foundations and applications. This objective will examine the theoretical foundations of distributed ledgers, and gain a deeper empirical understanding of their performance trade-offs. Research outcomes may include rigorous definitions of correctness properties, proofs of theoretical complexity bounds, and empirical performance evaluations. The proposed research program will elevate Canada to the forefront of research in blockchain technology by generating concrete software prototypes as well as scientific publications describing protocols, proofs of correctness, and performance comparisons. Trainees engaged in NSERC-funded activities will flourish in an experiential learning environment where they will work hands-on with state-of-the-art cloud infrastructure and interact with industry partners, while developing technical skills vital to Canada's increasingly data-driven economy.

区块链是分布式计算的下一个前沿，它从白皮书迅速崛起为顶级出版物和数百万美元的初创公司，引起了学术界和实践者的注意。围绕区块链和更广泛的分布式账簿的大部分讨论都围绕着两个基本问题：(I)它们是否会进行扩展以满足当前和新兴的需求，以及(Ii)我们可以信任它们的正确性吗？这些问题将通过一个多方面的研究计划来回答，该计划将采用实证和理论方法。NSERC资助的研究活动将解决以下短期目标：目标1：通过可组合性实现可伸缩性。可伸缩性一直被认为是分布式分类账的一大弱点，这导致了对组成多个独立服务的设计的搜索，这些设计通过仔细地组合它们的输出来获得对事务的全局排序。这一目标将侧重于了解如何正确实现这些组合，以及它们如何影响吞吐量和延迟之间的内在权衡。目标2：在没有失败的情况下简化执行。区块链协议很复杂，因为它们必须同时处理并发和故障，并且在没有故障的情况下可以大大简化。这一目标将调查性能优化，以加快区块链在无故障操作中的速度，同时即使在不利条件下也能保持正确性。将开发可与各种现有区块链协议相结合的模块化设计。目标3：了解一致性与延迟的权衡。区块链协议必须验证交易，以防止重复支出并确保数据一致性。这一目标将加深对在给定概率阈值内检测重复支出需要多少延迟的理解，这可以被视为类似于在NoSQL存储系统中遇到的一致性延迟权衡。目标4：基础和应用。这一目标将审查分布式分类账的理论基础，并对其业绩权衡有更深的实证理解。研究成果可能包括对正确性属性的严格定义，理论复杂性界限的证明，以及经验绩效评估。拟议的研究计划将通过生成具体的软件原型以及描述协议的科学出版物、正确性证明和性能比较，将加拿大提升到区块链技术研究的前沿。参与NSERC资助活动的学员将在体验式学习环境中茁壮成长，在这种环境中，他们将亲身体验最先进的云基础设施，并与行业合作伙伴互动，同时培养对加拿大日益数据驱动的经济至关重要的技术技能。