Page 64 - 《软件学报》2026年第1期

郭涛 等: 智能合约可升级技术综述 61

Ethereum blockchain platform. Empirical Software Engineering, 2020, 25(6): 4617–4675. [doi: 10.1007/s10664-020-09852-5]
[115] Ringer T, Porter RD, Yazdani N, Leo J, Grossman D. Proof repair across type equivalences. In: Proc. of the 42nd ACM SIGPLAN Int’l
Conf. on Programming Language Design and Implementation. ACM, 2021. 112–127. [doi: 10.1145/3453483.3454033]
[116] Sorensen D. Towards formally specifying and verifying smart contract upgrades in Coq. Open Access Series in Informatics (OASIcs).
7:1–7:14. [doi: 10.4230/OASIcs.FMBC.2024.7]
[117] Sorensen D. WIP: Relational specification of smart contracts. 2022. https://derekhsorensen.com/docs/wip_relational_spec.pdf
[118] Galimullin R, Ågotnes T. Coalition logic for specification and verification of smart contract upgrades. In: Proc. of the 24th Int’l Conf. on
Principles and Practice of Multi-agent Systems. Valencia: Springer, 2023. 563–572. [doi: 10.1007/978-3-031-21203-1_34]
[119] Porru S, Pinna A, Marchesi M, Tonelli R. Blockchain-oriented software engineering: Challenges and new directions. In: Proc. of the
39th IEEE/ACM Int’l Conf. on Software Engineering Companion (ICSE-C). Buenos Aires: IEEE, 2017. 169–171. [doi: 10.1109/ICSE-
C.2017.142]
[120] Destefanis G, Marchesi M, Ortu M, Tonelli R, Bracciali A, Hierons R. Smart contracts vulnerabilities: A call for blockchain software
engineering? In: Proc. of the 2018 Int’l Workshop on Blockchain Oriented Software Engineering (IWBOSE). Campobasso: IEEE, 2018.
19–25. [doi: 10.1109/IWBOSE.2018.8327567]
[121] Wöhrer M, Zdun U. DevOps for Ethereum blockchain smart contracts. In: Proc. of the 2021 IEEE Int’l Conf. on Blockchain
(Blockchain). Melbourne: IEEE, 2021. 244–251. [doi: 10.1109/blockchain53845.2021.00040]
[122] Marchesi L, Marchesi M, Tonelli R. ABCDE—Agile block chain DApp engineering. Blockchain: Research and Applications, 2020,
1(1–2): 100002. [doi: 10.1016/j.bcra.2020.100002]
[123] Taherdoost H. Smart contracts in blockchain technology: A critical review. Information, 2023, 14(2): 117. [doi: 10.3390/info14020117]

附中文参考文献
[5] 崔展齐, 杨慧文, 陈翔, 王林章. 智能合约安全漏洞检测研究进展. 软件学报, 2024, 35(5): 2235–2267. http://www.jos.org.cn/1000-
9825/7046.htm [doi: 10.13328/j.cnki.jos.007046]
[6] 董伟良, 刘哲, 刘逵, 黎立, 葛春鹏, 黄志球. 智能合约漏洞检测技术综述. 软件学报, 2024, 35(1): 38–62. http://www.jos.org.cn/1000-
9825/6810.htm [doi: 10.13328/j.cnki.jos.006810]
[26] 欧易研究院. 以太坊 2.0 方案及进展研究报告. 2022. https://www.okx.com/zh-hans/learn/eth-2-0-scheme-and-progress
[31] 打破区块链的不可篡改, 代理模式如何以最佳方式实现智能合约升级? 2022. https://www.web3sj.com/news/31407/
[34] ChinaDeFi 去中心化金融社区. 深入了解智能合约的最小代理“EIP-1167”. 2021. https://learnblockchain.cn/article/3400
[35] 以太坊 DApp 快速迁移教程. 2025. https://devdocs.platon.network/docs/zh-CN/DApp_migrate.
[37] 升级智能合约. 2023. https://ethereum.org/zh/developers/docs/smart-contracts/upgrading/
[48] 袁勇, 王飞跃. 可编辑区块链: 模型、技术与方法. 自动化学报, 2020, 46(5): 831–846. [doi: 10.16383/j.aas.2020.y000002]
[97] 刘云霞, 胡大裟, 蒋玉明. 面向智能合约链上升级的松耦合模型研究. 计算机应用研究, 2021, 38(5): 1309–1313. [doi: 10.19734/j.
issn.1001-3695.2020.07.0160]
[98] 刘云霞. 基于区块链的通证智能合约链上升级方法研究 [硕士学位论文]. 成都: 四川大学, 2021. [doi: 10.27342/d.cnki.gscdu.2021.
000124]

作者简介
郭涛, 博士生, 主要研究领域为区块链, 智能合约, 网络安全.
尚凤军, 博士, 教授, 博士生导师, CCF 高级会员, 主要研究领域为区块链, 新一代互联网, 物联网, 云计算, 大数据.
刘曼宇, 硕士生, 主要研究领域为区块链, 智能合约.
刘期烈, 博士, 教授, 博士生导师, 主要研究领域为网络通信, 移动大数据, 区块链.