存储槽

动态数组的映射 | EVM存储 10

本视频介绍了如何定位复杂数据结构的存储槽，特别是动态数组的映射。假设每个动态数组元素占32字节，以一个从地址到uint256的映射为例，讲解了如何计算存储槽。首先，映射中值的存储槽通过对映射声明的槽和键进行Keccak-256哈希计算得出。对于动态数组，元素的存储槽则是映射槽加上元素索引的哈希值。视频中还展示了如何通过汇编代码将数据存入映射，并获取动态数组的值和长度。通过实例，演示了如何获取特定地址的动态数组元素及其长度，确保了对存储槽计算规则的理解。

嵌套映射 | EVM 存储 9

本文讨论了如何计算嵌套映射中值的存储槽。对于简单映射，值的存储槽通过对键和声明映射的槽进行Ketchak 256哈希计算得出。而在嵌套映射中，存储槽的计算则需要进行两次Ketchak 256哈希。首先，使用外层键和声明映射的槽进行哈希，然后将内层键与内层哈希结果进行哈希。通过示例，文章展示了如何在以太坊智能合约中实现这一过程，包括如何使用汇编语言计算存储槽并提取存储的值。最终，通过调用函数验证了嵌套映射的值存储是否正确，成功获取了多个值。

固定大小数组 | EVM 存储 6

本文介绍了固定大小数组在存储槽中的元素存储方式。以一个大小为3的uint256数组为例，数组元素的存储位置由数组声明的槽加上元素的索引决定。第一个元素存储在槽0，第二个元素在槽1，第三个元素在槽2。对于另一个大小为3的uint256数组，起始槽为3，元素分别存储在槽3、槽4和槽5。若数组元素小于32字节，则可以打包存储，例如uint128数组的元素可以在同一槽中存储两个。通过汇编语言实现获取数组元素的函数，分别针对不同数组的起始槽和索引进行计算。最后，通过调用这些函数验证了元素的正确性，展示了如何通过索引访问数组元素及其存储机制。

结构体 | EVM 存储 4

本视频讲解了如何为存储单个结构体的状态变量分配存储槽。状态变量的存储遵循声明顺序，且小于32字节的数据会尽可能打包到一个槽中。例如，名为single的结构体包含一个uint128类型的字段x（占16字节），接下来的两个uint64类型字段y和z也会存储在同一个槽中。另一个名为multi-slots的结构体则从槽1开始存储，字段a、b和c分别占用槽1、2和3。视频还展示了如何使用汇编语言读取存储在不同槽中的数据，包括如何通过位运算提取各字段的值。通过调用相应的函数，可以验证存储的值是否正确。整体上，视频深入探讨了以太坊虚拟机（EVM）中状态变量的存储机制及其实现方式。