CADL: Composable Accountability for Distributed Ledgers

CADL：分布式账本的可组合责任

• 批准号: 459731562
• 负责人: Professor Dr. Ralf Küsters
• 金额: --
• 依托单位: Institut für Informationssicherheit
• 依托单位国家: 德国
• 项目类别: Research Grants
• 资助国家: 德国
• 项目状态: 未结题
• 来源: https://gepris.dfg.de/gepris/projekt/459731562?language=en
• 关键词: CADL; Composable; Accountability; Distributed; Ledgers

Blockchains have evolved from simple cryptocurrency platforms into general multi-purpose distributed ledger technologies (DLTs). Nowadays, not just banks but also the industry is exploring and leveraging benefits of various DLTs, such as transparency, automation, and decentralized security properties. There exists a multitude of different DLTs beyond traditional blockchains. They are often designed to overcome drawbacks of early blockchain generations, such as costly consensus or missing privacy mechanisms.However, security research has not kept up with this rapid development, but has so far been focused on traditional blockchains, such as Bitcoin. Security properties of blockchains are well-studied and widely understood. However, the general class of DLTs is mainly ignored by security researchers and existing blockchain results do not necessarily apply to DLTs. In particular, the crucial security property of accountability — which is a well-known property in cryptography — is a blind spot in DLT security research. In accountable systems misbehaving parties can be identified undeniably. This is crucial to answer liability questions in the case of fraudulent parties and to deter parties from misbehavior. Indeed, accountability is often informally claimed as an intended security property of DLTs. However, accountability has never been formalized or proven for non-blockchain DLTs. Also, a modular treatment of accountability is missing for DLTs, which, however, is necessary to design and analyze complex systems on top of DLTs.In this project, we shall resolve these issues. We will formalize accountability for DLTs and develop a unified framework that allows for the modular design and analysis of blockchains and DLTs, including their accountability properties. This framework is intended to be highly flexible, covering a wide range of DLTs and various security properties.To exemplify our framework, we plan to construct the first provably secure and accountable bulletin board. This is done in a modular way based on an accountable DLT. Such bulletin boards are crucial in many application domains, including, for example, e-voting, auctions, and multi-party computation.

区块链已经从简单的加密货币平台发展成为通用的多用途分布式账本技术（DLT）。如今，不仅是银行，而且整个行业都在探索和利用各种DLT的好处，例如透明度，自动化和分散的安全属性。除了传统的区块链之外，还有许多不同的DLT。它们通常旨在克服早期区块链的缺点，例如昂贵的共识或缺少隐私机制。然而，安全研究并没有跟上这种快速发展，而是迄今为止一直专注于传统区块链，如比特币。区块链的安全属性已经得到了很好的研究和广泛的理解。然而，DLT的一般类别主要被安全研究人员忽略，现有的区块链结果不一定适用于DLT。特别是，问责制的关键安全属性-这是密码学中众所周知的属性-是DLT安全研究中的盲点。在问责制中，行为不端的当事方可以被可靠地识别出来。这对于回答欺诈方的责任问题和阻止当事人的不当行为至关重要。事实上，问责制经常被非正式地宣称为DLT的预期安全属性。然而，非区块链DLT的问责制从未正式化或得到证明。此外，对于DLT来说，缺乏对问责制的模块化处理，然而，这对于在DLT之上设计和分析复杂系统是必要的。在本项目中，我们将解决这些问题。我们将正式确定DLT的问责制，并开发一个统一的框架，允许对区块链和DLT进行模块化设计和分析，包括其问责制属性。该框架旨在具有高度灵活性，涵盖广泛的DLT和各种安全属性。为了验证我们的框架，我们计划构建第一个可证明安全和可问责的公告板。这是基于可问责DLT以模块化方式完成的。这样的公告板在许多应用领域中是至关重要的，包括例如电子投票、拍卖和多方计算。