paperbot · PL 论文追踪

全部论文 待读 收藏

P2 SmartShift: A Secure and Efficient Approach to Smart Contract Migration

SmartShift:一种安全高效的智能合约迁移方法
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 1/10 · 该论文聚焦区块链智能合约迁移中的状态划分与渐进式函数激活,属于分布式系统与区块链安全方向,与用户关注的PL/AI交叉、静态分析、浮点程序分析、贝叶斯程序分析及LLM/Agent等方向均无直接关联。引用 0 inbox
Tahrim Hossain, Faisal Haque Bappy, Tarannum Shaila Zaman, Raiful Hasan, Tariqul Islam
crossref: 2026-09-12

AI 速览

一句话:提出 SmartShift 框架,用智能状态划分与渐进式函数激活实现安全高效的智能合约迁移,显著降低停机时间。

区块链平台的持续演进与智能合约固有的不可变性,使跨链与链内迁移成为必要,但迁移合约中大量关键数据并在过程中保持数据完整性、最小化运营中断是重大挑战。本文提出 SmartShift 框架,通过智能状态划分(intelligent state partitioning)与渐进式函数激活(progressive function activation)来实现安全、高效的智能合约迁移,并在迁移过渡期间保持运营连续性。作者进行了综合评估,结果表明 SmartShift 显著降低了迁移停机时间,同时保证了强健的安全性,为构建高效且安全的智能合约迁移系统奠定了基础。

问题
区块链平台演进与智能合约不可变性使跨链及链内迁移不可避免,但迁移大量关键状态数据时如何保持数据完整性并最小化运营中断仍是难题。
方法
提出 SmartShift 框架,采用智能状态划分与渐进式函数激活,在迁移过程中维持智能合约的运营连续性。
评估
通过综合评估表明,SmartShift 在保证强健安全性的同时显著降低了迁移停机时间。
原文摘要(Abstract)

Blockchain and smart contracts have emerged as revolutionary technologies transforming distributed computing. While platform evolution and smart contracts' inherent immutability necessitate migrations both across and within chains, migrating the vast amounts of critical data in these contracts while maintaining data integrity and minimizing operational disruption presents a significant challenge. To address these challenges, we present SmartShift, a framework that enables secure and efficient smart contract migrations through intelligent state partitioning and progressive function activation, preserving operational continuity during transitions. Our comprehensive evaluation demonstrates that SmartShift significantly reduces migration downtime while ensuring robust security, establishing a foundation for efficient and secure smart contract migration systems.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot8995,
  title = {SmartShift: A Secure and Efficient Approach to Smart Contract Migration},
  author = {Tahrim Hossain and Faisal Haque Bappy and Tarannum Shaila Zaman and Raiful Hasan and Tariqul Islam},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728517}
}