SC programmer

@smartcontractprogrammer

https://www.smartcontract.engineer/

注册于 2025-01-20
内存 Gas 成本 | EVM 内存 3

在以太坊虚拟机(EVM)中,使用内存的气体成本呈现出二次增长的特性。根据evm.codes网站的公式,内存的气体成本可以通过简化后的方程进行计算。假设每个uint256占用32字节内存,内存大小以字为单位进行计算。通过图形计算器绘制该方程,可以观察到气体成本随着内存分配的增加而增加。通过在Solidity中编写代码,测试不同大小的uint256数组的气体成本,发现小规模内存使用时,气体成本呈线性增长,而在大规模内存使用时,气体成本则呈现出明显的二次增长。这意味着在代码中使用大量内存将受到限制。总之,EVM中内存的气体成本随着使用量的增加而显著上升。

2486 0 0 2025-01-27
mstore 和 mload | EVM 内存 2

在Solidity中,使用汇编语言操作EBM内存时,主要使用mStore和mLoad指令。mStore用于将32字节的数据存储到指定内存位置,而mLoad则用于从指定内存位置读取32字节的数据。首先,需要获取自由内存指针,通常从0x40开始。通过mStore可以将数据写入自由内存,例如将0xababab存储到0x80位置。接着,使用mLoad从该位置读取数据并返回。示例中展示了如何在内存中写入和读取数据,并通过调试观察内存变化。此外,mStore的存储位置不必是32的倍数,存储时会用0填充至32字节。通过多个示例,展示了不同内存位置的写入和覆盖情况,强调了内存操作的细节和影响。

2383 0 0 2025-01-27
Solidity中的EVM内存 | EVM内存 1

EBM内存可以视为一个字节数组,每个元素存储一个字节,理论上可容纳2的256次方个元素,但实际可用内存有限,因为分配内存的成本是平方级别的。读取和写入内存的操作通常以32字节为单位进行。Solidity为内存分配了三个特殊区域:前64字节为临时空间,接下来的32字节存储自由内存指针,指向可以存储新数据的区域。存储数据需使用mStore函数,该函数接受两个输入:p(写入起始位置)和b(要存储的数据)。例如,mStore0将值0xFF写入内存位置0,左侧填充31个00。内存写入位置不必是32的倍数,mStore2将值0xCC写入位置2,同样填充为32字节。接下来的视频将展示如何使用汇编在Solidity中存储数据。

2914 0 0 2025-01-27
动态结构体数组 | EVM 存储 11

本文讨论了在EBM StorageStot中动态数组结构体的数据存储方式。以一个名为point的结构体为例,其包含三个字段:uint256类型的x和两个uint128类型的y和z。动态数组R存储多个point结构体。数据存储时,动态数组的每个元素占用两个槽位,计算元素槽位的方法是:取动态数组声明槽位的Ketschak 256值,加上元素索引乘以结构体大小。具体来说,uint256占用一个槽位,两个uint128各占用16字节,因此y和z将存储在第二个槽位。通过汇编语言读取数据时,动态数组的长度存储在声明槽位,x、y和z的值则分别存储在相应的槽位中。通过特定的计算公式,可以访问和提取这些值。最终,示例代码展示了如何获取动态数组中各个元素的值。

2590 0 0 2025-01-27
动态数组的映射 | EVM存储 10

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

2481 0 0 2025-01-27
嵌套映射 | EVM 存储 9

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

2432 0 0 2025-01-27
映射 | EVM 存储 8

在以太坊的合约编程中,映射的存储槽通过计算Ketchak 256哈希值来确定。以一个简单的例子说明,假设我们有一个从地址到Uint 256的映射,其中每个值占用32字节的一个槽。映射的存储槽由映射键的Ketchak 256值和映射声明的槽(例如槽0)共同决定。通过一个汇编函数,我们可以获取存储在映射中的值。该函数接受一个地址作为参数,计算出对应值的存储槽,并使用Sload指令加载该槽的值。通过调用该函数,我们可以验证不同地址对应的值,例如地址1返回11,地址2返回22,地址3返回33。此过程展示了如何在以太坊合约中有效地存储和检索映射数据。

2492 0 0 2025-01-27
动态大小数组 | EVM 存储 7

本文讨论了动态数组在存储槽中的存储方式,特别是如何计算数组元素的存储位置。以动态数组类型为例,元素的存储位置由数组声明的槽位加上元素大小和元素索引的乘积决定。以uint256类型的动态数组为例,0号元素存储在声明槽位的256位置,1号元素则在该位置加上元素大小和索引的乘积。接着,文章通过uint128类型的动态数组示例,详细说明了元素的存储过程及其在EVM存储槽中的位置。最后,介绍了如何使用汇编语言编写函数来获取这些元素,包括获取数组长度和元素值的过程。通过示例调用函数,展示了如何提取动态数组中的元素及其32字节表示,帮助理解数据在存储中的布局。

2684 0 0 2025-01-27
固定大小数组 | EVM 存储 6

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

2451 0 0 2025-01-27
常量 | EVM 存储 5

在Solidity智能合约中,常量和不可变变量不占用存储槽。例如,定义了两个状态变量s0和s1,分别赋值为1和2。在这两个状态变量之间,定义了一个常量x和一个不可变变量owner。常量在合约代码中被硬编码,不占用存储槽;而不可变变量在合约构造函数中初始化后,也以占位符形式硬编码,部署时替换为实际值。通过创建一个函数读取存储槽,可以验证s0和s1分别存储值1和2,而常量x和不可变变量owner则不占用任何存储槽。最终结果表明,常量和不可变变量的值直接嵌入合约字节码中。

2467 0 0 2025-01-27