在审计智能合约时,我们经常会遇到复杂的智能合约结构,包括嵌套式结构和代理智能合约。而在代理智能合约中找到真实的业务合约是审计的关键之一。本文将介绍如何在代理智能合约中找到真实的业务合约,并以一个实际案例进行说明。
案例介绍
我们以一个名为XXX游戏的智能合约为例进行说明。该智能合约的交易发生在以太坊测试网Spolia上
合约地址:0x4fA087A07420f396A0F74c34986562A5ada80fB9
初步审查后发现,该智能合约是一个代理合约,其核心功能是管理对实际业务合约的调用。代理合约充当了一个中间层,用于实现逻辑和数据的分离,同时允许在不改变合约地址的情况下更新合约逻辑。
代理合约代码:直达
代理合约功能
理合约中的合约管理函数,主要包括以下四个:
addImplementation:添加一个新的实现合约并启动时间锁。
removeImplementation:移除候选实现合约。
upgradeTo:升级到一个新的实现合约。
setImplementation 和 setFinalizedFlag:内部函数,用于设置实现合约地址和标记合约已最终确定。
查找真实合约
为了找到真实的业务合约,我们需要查看代理合约调用的真实合约地址。通过查看代理合约的readContract函数,我们可以获取到真实合约地址。
真实合约:0x4fA087A07420f396A0F74c34986562A5ada80fB9
寻找交易真实代码(补充)
随意点击一个交易单,点击Log查看调用
点击View Source 查看代码
使用反编译工具反编译字节码:https://ethervm.io/decompile
总结
通过以上介绍,我们可以清晰地了解如何在代理智能合约中找到真实的业务合约。对于智能合约审计和使用过程中,深入理解代理合约的机制和功能是至关重要的。希望本文对您有所帮助,谢谢阅读!
以上内容仅供学习使用!