中文

SuiGPT MAD:利用Move AI反编译器提升非开源区块链智能合约的透明度和可审计性

人机交互 2025-02-03 v2 软件工程

摘要

Web3的愿景是改善用户对数据和资产的控制,但一个使这一愿景复杂化的挑战是普遍存在的不透明、易受诈骗的应用程序和有漏洞的智能合约,这些将Web3用户置于风险之中。虽然代码审计是解决此问题的一种方法,但许多区块链平台(如Sui)上缺乏智能合约源代码,阻碍了审计的便利性。解决此问题的一个有前景的方法是使用反编译器对智能合约字节码进行逆向工程。然而,现有的Sui反编译器生成的代码难以理解且无法直接重新编译。为了解决这个问题,我们开发了SuiGPT Move AI反编译器(MAD),一个由大型语言模型(LLM)驱动的Web应用程序,它通过提示工程将Sui上的智能合约字节码反编译为逻辑正确、人类可读且可重新编译的源代码。我们的评估表明,MAD的输出成功通过了原始单元测试,并在真实世界的智能合约上实现了73.33%的重新编译成功率。此外,较新的模型往往能提供更好的性能,这表明随着LLM的持续进步,MAD的方法将变得越来越有效。在一项涉及12名开发者的用户研究中,我们发现与使用传统反编译器相比,MAD显著减少了审计工作量。参与者认为MAD的输出与原始源代码相当,提高了理解和审计非开源智能合约的可访问性。通过与这些开发者和Web3项目的定性访谈,我们进一步讨论了MAD的优势和担忧。MAD对区块链智能合约的透明度、审计和教育具有实际意义。它使用户能够轻松独立地审查和审计非开源智能合约,从而促进问责制和去中心化。

关键词

引用

@article{arxiv.2410.15275,
  title  = {SuiGPT MAD: Move AI Decompiler to Improve Transparency and Auditability on Non-Open-Source Blockchain Smart Contract},
  author = {Eason Chen and Xinyi Tang and Zimo Xiao and Chuangji Li and Shizhuo Li and Wu Tingguan and Siyun Wang and Kostas Kryptos Chalkias},
  journal= {arXiv preprint arXiv:2410.15275},
  year   = {2025}
}

备注

Paper accepted at ACM The Web Conference 2025