研究文章

开放式访问

EVMBT：一种将EVM智能合约升级为WASM的二进制翻译方案

作者:魏敏陈,霞浦县罗,浩宇王,海明崔,舒瑜郑、和玄哲线路接口单元作者信息和声明

LCTES 2024：第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录

2024年6月

页131-142

https://doi.org/10.1145/3652032.3657570

出版:2024年6月20日出版历史记录

PDF格式电子阅读器

摘要

以太坊是第一个也是最大的支持智能合约的区块链。为了增强可扩展性和安全性，Ethereum 2.0（Eth2）的一个主要计划更改是将智能合同解释器从Ethereum-Virtual Machine（EVM）升级到WebAssembly（WASM）。与此同时，许多其他流行的区块链也采用了WASM。由于以太坊拥有数百万智能合约，因此非常希望自动将EVM智能合约迁移到WASM代码，以促进区块链生态系统的繁荣，同时继承以太坊的历史交易。不幸的是，由于在将智能合约的EVM字节码转换为WASM字节码以及将生成的WASM字节代码适应底层区块链环境方面存在挑战，要实现这一目的并非易事。尤其是，现有的工具都不足以完成这项任务，因为它们无法实现准确的翻译以及与区块链环境的兼容性。在本文中，我们提出了一种新的解决方案，并使用Eth2作为目标区块链，以证明其可行性和性能，因为Eth2对行业和学术界都极具吸引力。具体来说，我们开发了EVMBT，这是一个新颖的EVM2WASM字节码翻译框架，它不仅确保翻译的保真度，而且支持插件来改进智能合约。大量实验表明，EVMBT能够以高保真度和低气体开销成功地翻译真实世界的智能合同。

工具书类

[1]

2020年，全景。https://github.com/palkeo/panoramix。

[2]

2021.以太坊环境接口。https://t.ly/VsUvQ。

[3]

2021.以太扫描。https://etherscan.io/。

[4]

2021年EVMJIT。https://github.com/ethereum/evmjit。

[5]

2021.Ewasm合同接口规范。https://t.ly/Uz3po。

[6]

2021.埃瓦斯姆·盖特。https://github.com/ewasm/go-ethereum。

[7]

2021.赫拉。https://github.com/ewasm/hera。

[8]

2021.图书馆合同。https://jeancvllr.medium。com/soliditytutorial-all-about-libaries-762e5a3692f9。

[9]

2021.有限责任公司。https://lll-docs.readthedocs.io/en/latest/lll_introduction。html格式。

[10]

2021.氰菊酯。https://github.com/ConsenSys/mythril。

[11]

2021.近。https://docs.near.org/docs/develop/contracts/overview。

[12]

2021.波尔卡多。https://wiki.polkadot.network网站。

[13]

2021.运行EVM。https://github.com/axic/runevm。

[14]

2021.蛇。https://github.com/ethereum/serpent。

[15]

2021.索拉纳。https://solana.com/developers。

[16]

2021.团结。https://docs.soliditylang.org/。

[17]

2021.维珀。https://vyper.readthedocs.io。

[18]

2021.网络大会。https://webassembly.org/。

[19]

2022.极光。网址：https://doc.aurora.dev/

[20]

2022年。字节码。https://github.com/mirkosertic/Bytecoder网站

[21]

2022.以太坊2.0。https://github.com/ethereum/consensus-specis/。

[22]

2022.以太坊测试。https://github.com/ethereum/tests。

[23]

2022.JVM规范。https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html

[24]

2022.JWebAssembly公司。https://github.com/i-net-software网站/JWebAssembly（JWeb组件）

[25]

2022.LLVM WebAssembly后端。https://llvm.org/

[26]

2022.月饼。https://moonbeam.network网站/

[27]

2024.智能合约的弱点。https://swcregistry.io/docs/。

[28]

2024.TeaVM。https://www.teavm.org/

[29]

A.Altinay和J.Nash。BinRec：动态二进制提升和重新编译。《第15届欧洲计算机系统会议（EuroSys）会议记录》（希腊赫拉克利翁）。第36条，共16页。https://doi.org/10.1145/3342195.3387550

数字图书馆

[30]

H.Chen、M.Pendleton、L.Njilla和S.Xu。2020年，以太坊系统安全调查：漏洞、攻击和防御。ACM计算。调查。53, 3 ( 2020 ). https://doi.org/10.1145/3391195

数字图书馆

[31]

J.Chen、X.Xia、D.Lo和J.Grundy。2021.部署后以太坊智能合约开发的维护相关问题：问题、技术和未来挑战。恩皮尔。柔和。工程（2021）。

[32]

T.Chen、Z.Li、Y.Zhang、X.Luo、T.Wang、T.Hu、X.Xiao、D.Wang、J.Huang和X.Zhang。2019.智能合约控制流识别的大规模实证研究。程序中。国际经验软件工程与测量研讨会。巴西累西腓，1-11。https://doi.org/10.109/ESEM。2019.8870156

[33]

V.奇普诺夫和G.坎迪亚。2011.使用revgen实现对x86二进制文件的复杂分析。程序中。第41届国际可靠系统和网络研讨会。香港特别行政区。

[34]

德菲拉玛。2022.以太坊DeFi总价值锁定。https://defillama.com/chain/Ethereum网站

[35]

A.Dinaburg和A.Ruef。2014.Mcsema:x86指令到llvm的静态转换。2014年ReCon大会，加拿大蒙特利尔。

[36]

T.Durieux、J.Ferreira、R.Abreu和P.Cruz。2020年，对47587个以太坊智能合约的自动分析工具进行实证审查。《ACM/IEEE第42届软件工程国际会议论文集》（韩国首尔）（ICSE’20）。530-541. https://doi.org/ 10.1145/3377811.3380364

数字图书馆

[37]

J.Ferreira、P.Cruz、T.Durieux和R.Abreu。2021.SmartBugs：分析可靠智能合约的框架。程序中。第35届IEEE/ACM自动化软件工程国际会议（虚拟，澳大利亚）。1349-1352. https://doi.org/10.1145/3324884.3415298

数字图书馆

[38]

N.Grech、L.Brent、B.Scholz和Y.Smaragdakis。2019.Gigahorse：对智能合约进行彻底的声明性反编译。程序中。第41届国际软件工程会议（加拿大蒙特利尔）。1176-1186. https://doi.org/10.109/ICSE。2019.00120

[39]

N.Grech、S.Lagouvardos、I.Tsatiris和Y.Smaragdakis。2022.Elipmoc：以太坊智能合约的高级反编译。程序。ACM计划。语言6，OOPSLA1，第77条（2022年4月），27页。https://doi.org/10.1145/3527321

数字图书馆

[40]

A.Hilbig、D.Lehmann和M.Pradel。2021.真实世界WebAssembly二进制文件的实证研究：安全性、语言、用例。在网络会议记录中。斯洛文尼亚卢布尔雅那，2696-2708。https://doi.org/10.1145/3442381.3450138

数字图书馆

[41]

超级账本实验室。2021.Solana、基板和ewasm的固化编译器。https://shorturl.at/rBEI5。

[42]

H.Jin、Z.Wang、M.Wen、W.Dai、Y.Zhu和D.Zou。2022.Aroc：链上智能合约的自动修复框架。IEEE软件工程学报48，11（2022），4611-4629。https://doi.org/10.109/TSE。2021.3123170

[43]

L.Jin、Y.Cao、Y.Chen、D.Zhang和S.Campanoni。2023.EXGEN：智能合约漏洞的跨平台自动漏洞生成。IEEE可靠和安全计算汇刊20，1（2023），650-664。https://doi.org/10.109/TDSC。2022.3141396

[44]

S.Kalra、S.Goel、M.Dhawan和S.Sharma。2018.ZEUS：分析智能合约的安全性。在第25届网络和分布式系统安全研讨会上。美国圣地亚哥。

[45]

唐纳德·科努特（Donald E Knuth）。2014年，《计算机编程艺术》，第2卷：半数值算法。Addison-Wesley Professional公司。

[46]

C.Lattner和V.Adve。2004年。LLVM：终身程序分析转换的编译框架。在代码生成和优化（CGO）国际研讨会上。美国加利福尼亚州，75。https://doi.org/10.5555/977395.977673

数字图书馆

[47]

D.莱曼、J.金德和M.普拉德尔。2020.Everything Old is New Again：WebAssembly的二进制安全。程序中。第29届USENIX安全研讨会。美国，第13条，18页。https://doi.org/10。 5555/3489212.3489225

[48]

Z.Liu、Y.Yuan、S.Wang和Y.Bao。2022.SoK：通过下游应用镜头揭开二元升降机的神秘面纱。程序中。2022年IEEE安全与隐私研讨会（SP）。美国加利福尼亚州洛斯阿拉米托斯，1100-1119。https://doi.org/10.109/SP46214。2022.9833799

[49]

L.Luu、D.Chu、H.Olickel、P.Saxena和A.Hobor。2016.使智能合同更智能。程序中。2016年ACM SIGSAC计算机和通信安全会议。奥地利维也纳。

[50]

G.Karame M.Rodler、W.Li和L.Davi。2021.EVMPatch：以太坊智能合约的及时自动补丁。第30届USENIX安全研讨会（USENIX-Security 21）。虚拟，1289-1306。

[51]

S.马尔瓦。2022.10M以太现在锁定在Eth 2.0 Staking合同上。https://www.coindesk.com/tech/2022/03/11/10m-ether-nowlocked-on-eth-20-staking-contract/。

[52]

微软。2021.麦克托尔。https://github.com/microsoft/llvm-mctoll。

[53]

T.Nguyen、L.Pham和J.Sun。2021.SGUARD：致力于自动修复脆弱的智能合约。程序中。IEEE安全与隐私研讨会。事实上的。

[54]

比特轨迹。2021.雷米尔。https://github.com/lifting-bits/remill。

[55]

D.Park、Y.Zhang和G.Rosu。2020年，以太坊2.0存款智能合约的端到端正式验证。在计算机辅助验证中。施普林格国际出版公司，Cham。

[56]

J.Ratclif和D.Metzener。1988.模式匹配：格式塔方法。在Dobb博士的杂志上。

[57]

第二个州。2021.索尔。https://github.com/second-state/SOLL。

[58]

M.Šipek、M.üagar、N.Drašković和B.Mihaljević。2022.区块链作为物联网中介。《新现实、移动系统和应用》，Michael E.Auer和Thrasyvoulos Tsiatsos（编辑）。施普林格国际出版社，美国商会。

[59]

H.Cai H.Wang W.Chen，X.Luo。2024.在GPU上实现智能合同模糊。程序中。2024年IEEE安全与隐私研讨会（SP）。美国旧金山。

[60]

G.木材。2014.以太坊：一个安全的分散通用交易分类账。以太坊项目黄皮书1512014（2014），1-32。

[61]

X.Yu、O.Al-Bataineh、D.Lo和A.Roychoudhury。2020.智能合约维修。ACM软件工程与方法汇刊（TOSEM）29，4，第27条（2020年），32页。https://doi.org/10.1145/3402450

数字图书馆

[62]

Y.Zhang、S.Ma、J.Li、K.Li、S.Nepal和D.Gu.2020年。SMARTSHIELD：自动智能合约保护变得简单。程序中。第27届软件分析、进化和再工程国际会议，SANER。英国伦敦，23-34。https://doi.org/10.109/SANER48275。2020.9054825

[63]

S.Zheng、H.Wang、L.Wu、G.Huang和X.Liu。2024.虚拟机问题：WASM虚拟机和EVM在区块链智能合约执行中的比较。第9、2条，第5条（2024年3月），共24页。https://doi.org/10.1145/3641103

数字图书馆

索引术语

EVMBT：一种将EVM智能合约升级为WASM的二进制翻译方案
1. 软件及其工程
  1. 软件符号和工具
    1. 编译器
      1. 翻译编写系统和编译器生成器

建议

WASAI：发现Wasm智能合约中的漏洞
ISSTA 2022：第31届ACM SIGSOFT国际软件测试与分析研讨会会议记录

WebAssembly（Wasm）智能合约最近在区块链（例如EOSIO）中越来越受欢迎。与以太坊智能合约类似，Wasm智能合约也会受到利用其漏洞的各种攻击。更糟糕的是，很少有人。。。
阅读更多信息
智能合约的形式化建模与验证
ICSCA’18：2018年第七届软件和计算机应用国际会议记录

智能合约可以根据接收到的信息自动履行合同条款，是数字社会最重要的研究领域之一。智能合约的核心是算法合约，即各方达成一个智能合约。。。
阅读更多信息
区块链中的智能合同搜索引擎
ICFNDS’19：第三届未来网络和分布式系统国际会议记录

最近区块链技术越来越受到关注。它提供了一个分布式对等网络。它还允许使用智能合约扩大签约空间。智能合约是一种定义承诺的数字协议。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

LCTES 2024：第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录

2024年6月

182页

国际标准图书编号：9798400706165

内政部：10.1145/3652032

总主席：
阿维拉尔·施瓦斯塔瓦
美国亚利桑那州立大学
,
项目主席：
隋玉蕾
澳大利亚新南威尔士州悉尼

版权所有©2024版权归所有人/作者所有。授权给ACM的出版权。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护].

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史记录

出版：2024年6月20日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

会议

LCTES’24

赞助商：

LCTES’24:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议

2024年6月24日

丹麦哥本哈根

接受率

总体接受率438份提交文件中的116份，26%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
7
总下载次数

下载次数（过去12个月）7
下载次数（最近6周）7

其他指标

查看作者指标

引文

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子