Proxion：揭示隐藏的代理智能合约以发现以太坊中的碰撞漏洞

代理设计模式允许以太坊智能合约同时具备不可变性和可升级性，其中原始合约被拆分为包含数据存储的代理合约和包含实现逻辑的逻辑合约。已知这种架构存在安全问题，即代理合约与逻辑合约之间的函数碰撞和存储碰撞，并已在现实世界事件中被利用来窃取用户价值数百万美元的数字资产。针对这一担忧，先前的一些工作试图识别以太坊中的代理合约并检测其碰撞。然而，由于覆盖范围有限，它们都存在不足，通常仅将分析限制在具有可用源代码或过去交易的合约上。为了弥补这一差距，我们提出了Proxion，一个自动化的跨合约分析器，用于识别以太坊中所有代理智能合约及其碰撞。Proxion的独特之处在于它能够分析既缺乏源代码又缺乏过去交易的隐藏智能合约。凭借各种提高效率和准确性的技术，Proxion优于最先进的工具，尤其能识别出数百万个更多的代理合约和数千个未报告的碰撞。我们应用Proxion分析了2015年至2023年间超过3600万个活跃合约，揭示其中54.2%是代理合约，并且约有150万个合约表现出至少一个碰撞问题。