不可变性的迷思：智能合约可升级性的多源综述

以太坊等区块链平台上智能合约的不可变性虽有助于提升安全性与可信度,但也为部署后的更新、缺陷修复或功能扩展带来了挑战。这些局限可能导致漏洞与功能过时,阻碍去中心化应用的演进与维护。尽管学术界与产业界已提出多种升级机制,但目前仍缺乏对其权衡与实际影响的全面分析。本研究旨在系统地识别、分类并评估现有的智能合约升级机制,弥合理论概念与实际实现之间的差距。本文引入了标准化的术语体系,并借助软件质量属性评估不同方法的权衡。我们采用多源文献综述(MLR)方法,同时分析学术研究与产业实践中的升级机制。首先,我们给出智能合约可升级性的统一定义,并识别出理解升级过程所必需的核心组件。在此基础上,将现有方法划分为完全升级与部分升级两类,并引入标准化术语以统一文献中使用的多样化表述。随后,我们刻画每种方法,并以复杂度、灵活性、安全性与可用性等软件质量属性评估其优势与局限。分析揭示了升级机制之间显著的权衡关系,为理解各类方法的优势与局限提供了有价值的洞见。这些发现可指导开发者与研究者根据具体项目需求选择合适的机制。