分析难以检测的故障对区块链可靠性的影响
密码学与安全
2023-04-13 v1 软件工程
摘要
区块链近来因其于加密货币中的使用及在多个领域（如零售、医疗、保险）的潜在应用而变得非常流行。智能合约是区块链系统的关键部分，规定了交易参与方之间的协议。如今，所部署的智能合约带有残留故障，包括导致运行时各类失效的严重漏洞。故障检测工具可用于检测故障，从而在部署前从代码中移除。然而，就智能合约而言，普遍看法是这些工具尚不成熟且低效。在本工作中，我们开展了一项故障注入活动，以实证分析智能合约中存在的现实故障可能对区块链系统可靠性产生的运行时影响。我们特别关注那些规避了流行智能合约验证工具的故障，并展示这些故障是否及以何种方式导致区块链系统在运行时失效。结果显示三种所用工具的检测能力普遍较差，且在某种程度上具有互补性。结果还表明，若干难以检测的故障引发了严重的区块链失效。
引用
@article{arxiv.2304.05520,
title = {Analyzing the Impact of Elusive Faults on Blockchain Reliability},
author = {Fernando Richter Vidal and Naghmeh Ivaki and Nuno Laranjeiro},
journal= {arXiv preprint arXiv:2304.05520},
year = {2023}
}