HI，欢迎我一起继续解构智能合约。本文是系列文章的第三部分，如果您还没有阅读之前的文章，请先看一下：前言：基础代码与操作方式；创造与运行时间代码解析；我们正在解构一个简单的Solidity智能合约的EVM字节码。在上一篇文章中，我们确定了将智能合约的字节码分为创建和运行两部分，并且知道了为什么这么做，深入了解了创建部分后，现在是时候开始我们对运行时部分的探索了。如果你看一下解构图，我们可以首先看一下名为BasicToken.evm的第二个大拆分块。这可能看起来有点可怕，因为运行的代码长度至少是创建代码大小的四倍！但不要担心，我们在之前的文章中为了解EVM代码而开发的技能，加上我们使用绝对可靠的“分而治之”的策略，将使这一挑战更加系统化，甚至可能更容易。这只是开始，我们将继续识别独立结构，继续拆分直到分解为一个个可解决的问题为止。首先，让我们回到Remix在线编辑器，并使用运行时字节码启动调试会话。我们怎么做？上次，我们部署了智能合约并调试了部署事务。这一次，我们将使用其中一个函数与已部署的智能合约接口进行交互，并调试该事务。首先，一起回想一下我们的智能合约：我们启用了优化的编译器的JavascriptVM，v0.4.24版本，并将10000作为初始供应。部署智能合约后，你应该看到它在Remix上的“run”面板“DeployedContracts”的部分中列出。单击它可以展开看到智能合约的界面。这个界面是什么？它是智能合约中所有公共或外部方法的列表-即任何以太坊帐户或智能合约都可以与之交互。私人和内部方法不会在这里显示，如何与智能合约运行时代码的特定部分进行交互，将是本文解构的重点。我们可以尝试一下，单击Remix的“run”面板中的totalSupply按钮。您应该立即在按钮下方看到响应，这是我们所期望的，因为我们将智能合约作为初始token供应部署。现在，在Console面板中，单击Debug按钮以使用此特定事务启动调试会话。请注意，Console面板中将有多个Debug按钮;确保你使用的是最新版本。在这种情况下，我们没有调试到该0x0地址的事务，正如我们在上一篇文章中看到的那样，创建了一个智能合约。相反，我们正在调试对智能合约本身的事务-即它的运行时代码。如果弹出“指令”面板，则应该能够验证Remix列出的指令与解构图中BasicToken.evm部分中的指令相同。如果它们不匹配，则出现问题。尝试重新开始并确保您使用上述正确的设置。您可能会注意到的第一件事是调试器将您置于指令246并且事务滑块位于字节码的大约60％处。为什么？因为Remix是一个非常慷慨的程序，它直接带你到EVM即将执行totalSupply函数体的部分。然而，在此之前发生了很多事情，这些都是我们在这里要注意的。实际上，我们甚至不会在本文中研究函数体的执行情况。我们唯一关注的是Solidity生成的EVM代码如何路由传入的事务，这是我们作为合约的“功能选择器”将要理解的工作。因此，抓住滑块并将其一直拖到左边，这样我们就从指令零开始。正如我们之前看到的，EVM总是从指令0执行代码，没有异常，然后流经其余代码。让我们通过操作码来完成这个执行操作码。出现的第一个结构是我们以前见过的：
Volatility Shares推出的2X比特币策略ETF将于下周二开始交易:金色财经报道，ETF发行方Volatility Shares首席投资官Stuart Barton表示，Volatility Shares的2X比特币策略ETF（BITX）在美国证券交易委员会（SEC）让其在周五生效后，将成为美国第一只杠杆加密货币ETF。2X ETF允许客户只需投入一半的比特币价值即可获得比特币敞口。招股说明书称，该ETF将与CME比特币期货每日滚动指数相对应。[2023/6/24 21:56:31]
图1.空闲内存指针这是Solidity生成的EVM代码将始终在调用之前执行的任何操作：将一个点保存在内存中以便稍后使用。让我们看看接下来会发生什么：
图2.Calldata长度检查。如果在Debug选项卡中打开Remix的Stack面板并跳过指令5到7，您将看到堆栈现在包含两次数字。如果您在阅读这些超长数字时遇到问题，请注意您调整Remix调试面板的宽度，以便数字很好地适合单行。第一个来自常规推送，但第二个是执行操作码的结果，正如黄皮书所述，没有参数并返回“当前环境中的输入数据”的大小，或者我们经常称为calldata：4CALLDATASIZE什么是calldata？正如Solidity的文档ABI规范中所解释的，calldata是一个十六进制数字的编码块，其中包含有关我们要调用的智能合约函数的信息，以及它的参数或数据。简单地说，它由一个“函数id”组成，它是通过散列函数的签名然后是压缩参数数据生成的。如果需要，您可以详细研究文档链接，但不要担心这个包装如何工作到最精细的细节。它在文档中有解释，但有点难以一次掌握。用实际例子来理解它会容易得多。让我们看看这个calldata是什么。在Remix的调试器中打开“调用数据”面板，查看：0x18160ddd。这是通过将keccak256函数签名上的算法应用为字符串来精确生成的四个字节"totalSupply()"?并执行所述截断。由于此特定函数不带参数，因此它只是：一个四字节的函数id。当CALLDATASIZE被调用时，它只是将第二个推4入堆栈。然后，指令8LT用于验证calldata大小是否小于4。如果是，则以下两条指令执行JUMPI指令86。这不到四个字节，因此在这种情况下不会有跳转，执行流将继续执行指令13.但在我们这样做之前，让我们假设我们用空的calldata调用我们的智能合约-也就是说，0x0而不是0x18160ddd。你不能用Remixbtw做到这一点，但你可以手动构建交易。在这种情况下，我们最终会进入指令86，它基本上将几个零推送到堆栈并将它们提供给REVERT操作码。为什么？好吧，因为这个智能合约没有后备功能。如果字节码没有识别传入数据，它会将流转移到回退函数，如果该结构没有“捕获”调用，则此恢复结构将终止执行，绝对没有回滚。如果没有什么可以回归，那么就没有任何事可做，而且呼叫完全恢复了。现在，让我们做一些更有趣的事情。返回Remix的Run选项卡，复制Account地址，并将其用作参数来调用balanceOf而不是totalSupply调试该事务。这是一个全新的调试会话;让我们暂时忘记吧totalSupply。导航到指令8，CALLDATASIZE现在将36推入堆栈。如果你看看calldata，那就是现在0x70a08231000000000000000000000000ca35b7d915458ef540ade6068dfe2f44e8fa733c。这个新的calldata实际上非常容易分解：前四个字节70a08231是签名的散列，后面"balanceOf(address)"的32个字节包含我们作为参数传递的地址。为什么32个字节，如果以太坊地址只有20个字节长，好奇的读者可能会问？ABI总是使用32字节“字”或“槽”来保存函数调用中使用的参数。继续在我们的balanceOf调用环境中，让我们在指令13处离开我们离开的地方，此时堆栈中没有任何内容。指令13然后推0xffffffff送到堆栈，并且下一条指令将29字节长的0x000000001000…000数字推送到堆栈。我们马上就会明白为什么。现在，只需要注意一个包含四个字节，另一个包含四个字节的0's'。接下来CALLDATALOAD取一个参数并从该位置的calldata读取一个32字节的块，在这种情况下，在Yul中将是：calldataload基本上将我的整个calldata推到堆栈。现在来了有趣的部分。DIV从堆栈中消耗两个参数，获取calldata并将其除以奇怪的0x000000001000…000数字，有效地过滤除了calldata中的函数签名之外的所有内容，并将其留在堆栈中：0x000…000070a08231。下一条指令使用AND，它也消耗堆栈中的两个元素：我们的函数id和带有四个字节的数字f。这是为了确保签名哈希正好是八个字节长，如果存在任何其他内容，则屏蔽其他任何内容。我认为，Solidity使用的安全措施。简而言之，我们只是检查calldata是否太短，如果是这样，还原，然后稍微改进，以便我们在堆栈中有我们的函数，另外，我们差不多完成了。下一部分会很容易理解：
印度CBIC要求加密货币交易所提供代币信息以制定相关GST:11月1日消息，印度间接税和海关中央委员会（CBIC）要求主要加密货币交易所提供正在交易的数字货币和代币的类型及其估值的详细信息，以帮助相关商品和服务税(GST)等间接税的政策制定和征收。据当地媒体Business Standard援引一位未透露姓名的高级官员的话说，这些信息将帮助CBIC确定如何对新兴资产类别征收GST。CBIC还要求交易所提供交易费用以及不同加密产品的等信息。
目前，印度CBIC对加密货币交易所提供的服务征收18%的GST。[2022/11/1 12:05:50]
图3.函数选择器在指令53处，代码将18160ddd推送到堆栈，然后使用aDUP2来复制70a08231当前存在于堆栈中第二位置的传入calldata值。为什么要复制？因为EQ指令59处的操作码将消耗堆栈中的两个值，并且我们希望保持70a08231值，因为我们经历了从calldata中提取它的麻烦。代码现在将尝试将calldata中的函数id与已知函数id之一进行匹配。由于70a08231进入，它将不匹配18160ddd，跳过JUMPIat指令63.但它将在下一次检查中匹配并在指令74跳转到JUMPI。让我们花点时间观察一下这些平等检查对智能合约的每个公共或外部功能。这是函数选择器的核心：充当某种switch语句，只是简单地将执行路由到代码的正确部分。这是我们的“中心”。因此，由于最后一个案例是匹配，执行流程将我们带到JUMPDESTat位置130，正如我们将在本系列的下一部分中看到的那样，该balanceOf函数的ABI“包装器”。正如我们将看到的，这个包装器将负责解包事务的数据以供函数体消耗。继续尝试transfer这次调试功能。功能选择器真的没有神秘感。这是一个简单而有效的结构，位于每个合约的门口并将执行重定向到代码中的适当位置。这就是Solidity为智能合约的字节码提供模拟多个入口点的能力的方式，因此也就是界面。看一下解构图，这就是我们刚刚解构的：
美SEC指控Hydrogen代币空投涉嫌操纵市场，获利超200万美元:9月29日消息，据美国SEC官网显示，美国证券交易委员会（SEC）指控Hydrogen与做市商Moonwalkers涉嫌操纵市场以及未注册的证券发行，获利超200万美元。其中Hydrogen在2018年通过赏金计划和空投分发了其Hydro代币，同时还通过其交易平台直接向用户销售代币，期间Hydrogen CEO聘请了Moonwalkers来进行代币的对敲交易（Wash Trade），制造了一种市场活跃的假象，稳定了代币的价格，增加了用户的兴趣。
此外，SEC表示，Wash Trading的行为既构成了市场操纵，同时尽管避免了ICO，转而进行空投和漏洞赏金，但仍构成未注册的证券发行。[2022/9/29 22:38:49]
图4.函数选择器和智能合约的运行时代码主入口点。总而言之，伙计们，不知不觉中你对solidity的底层代码熟悉程度超过了大部分人，坚持下去，你就能彻底把它打开。*本文由AlejandroSantander首发于medium，由猎豹区块链安全翻译并整理*猎豹区块链安全以金山霸的技术为依托，结合人工智能、nlp等技术，为区块链用户提供合约审计、情感分析等生态安全服务。Ratingtoken官网https://www.ratingtoken.net/?from=z
派盾：疑似三箭资本相关地址再次被清算1716枚ETH:6月15日消息，派盾预警监测显示，据推测与三箭资本相关地址（0x716034C25D9Fb4b38c837aFe417B7f2b9af3E9AE）再次被清算1716枚ETH。 此前消息，上述地址在此前被清算11857枚ETH。[2022/6/15 4:29:02]
前英格兰银行高管：CBDC将成为更广泛的稳定币生态系统的核心:6月9日消息，前英格兰银行金融科技主管、Fireblocks CBDC 和市场基础设施总监Varun Paul表示，CBDC 在未来将成为更广泛的稳定币生态系统的核心，其他加密资产用于其他交易和央行数字货币网络，这将支撑例如未来生态系统中稳定币的价值。根据国际清算银行的数据，超过一半的中央银行现在正在开发 CBDC 或进行具体实验，Paul 表示，许多中央银行正在意识到除私营稳定币外，拥有“一种中央可信的数字货币形式”的重要性。Paul 提到，CBDC 不是即时的，它们不会在下周发生，它们可能还需要几年时间。（Blockworks）[2022/6/9 4:12:49]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。