G.O.S.S.I.P 阅读推荐 2024-08-23 All Your Tokens are Belong to Us

文章预览

今天我们要介绍的 All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts 是发表于USENIX Security 2024的论文。在这篇论文中，作者构建了一个基于字节码的检测工具 AVVerifier ，用来识别近几年智能合约中一种常见漏洞—— address verification vulnerability ，在此之前尚未有工具能够检测这一类漏洞。而这种漏洞允许攻击者操控合约状态，导致未经授权的操作和潜在的经济损失。 什么是address verification vulnerability漏洞呢，这要说到以太坊智能合约中基于白名单的地址验证。其实在以太坊中，使用白名单验证地址的合法性是一种常见的手段。目前被DeFi广泛应用的白名单验证方法主要有三种： 硬编码对比 ，即要求传入地址和某个地址变量相等； mapping验证 ，使用一个  mapping  结构来动态维护白名单地址的状态，例如 mapping(address => b ………………………………