分享百科

智能合约

本文介绍了如何在Solidity的汇编中编写条件语句,包括if语句和switch语句。使用if语句时,条件表达式的结果为正数表示真,零表示假;汇编中没有else语句,因此需要另写if语句处理其他情况。通过示例,展示了如何使用if语句返回两个数中的最小值,以及如何使用switch语句返回两个数中的最大值。最终,代码成功编译并部署,验证了最小值和最大值的计算。
421
0
0
2025-01-27 09:01
本视频系列将介绍如何理解MakerDAO稳定币合约中的Rpower函数,该函数使用二进制指数法计算复利,且代码采用汇编语言编写。系列的第一部分将教授汇编语言的基本知识,包括如何声明和赋值局部变量。通过示例,展示了如何在汇编中声明变量并将其赋值给Solidity变量,最终成功编译并部署合约,验证了变量赋值的正确性。
827
0
0
2025-01-27 09:01
本视频讲解了如何在汇编中使用加载标签函数,包括调用、调用数据复制、返回数据大小和返回数据复制,以调用另一个合约。函数调用接受多个输入,包括合约地址、最大燃气和以太币数量,并指定输入和输出的内存区域。通过调用函数,可以将数据从调用数据复制到内存,并获取返回数据的大小。视频中创建了一个合约,并实现了一个外部函数,该函数调用计数器合约的增量函数,并返回增量后的计数。通过汇编代码,加载自由内存指针,复制调用数据,执行合约调用,并处理返回数据。最后,通过测试合约验证了功能,成功返回了增量后的计数值。视频展示了如何使用汇编进行外部合约调用的完整示例。
446
0
0
2025-01-27 09:01
在Solidity中,函数可以通过执行revert函数或在require语句中某些条件失败而回退。我们还可以使用汇编语言使函数回退。汇编中的revert函数接受两个输入:起始位置和长度,它会回退执行并返回存储在内存中从起始位置到起始位置加长度的数据。本文通过创建一个名为test revert的函数,演示了如何使用汇编实现revert,并展示了如何在内存中存储错误信息以便在回退时返回。通过将错误信息存储在特定内存位置,并计算出函数选择器、字符串偏移量和长度,最终调用revert函数,成功实现了在交易日志中显示错误信息的功能。此过程展示了如何在汇编中重现Solidity代码的回退机制。
658
0
0
2025-01-27 09:00
本文介绍了如何在汇编中使用返回函数返回存储在内存中的数据。首先,定义了一个返回函数,该函数接受起始地址和长度作为输入,停止代码执行并返回指定内存范围的数据。通过示例,展示了如何将两个UN256数(11和22)存储在内存地址0x80及其后32字节的位置,并通过调用返回函数获取这些值。接着,强调了调用返回函数会中止当前函数的执行,导致无法返回后续定义的值(如123和456),而是返回之前存储的值(11和22)。最后,示例展示了如何使用返回函数ABI编码一个动态数组,存储三个元素(11、22和33),并返回该数组的内存部分。通过这些示例,读者可以理解汇编中返回函数的使用及其对代码执行流程的影响。
426
0
0
2025-01-27 09:00
智能合约返回的数据采用ABI编码。在调用其他合约时,返回的数据以及使用汇编调用外部合约时返回的数据都必须进行ABI编码。对于小于或等于32字节的值类型,左侧填充零;对于固定大小的字节类型(如bytes4、bytes16、bytes32),则右侧填充零。结构体和固定大小数组以32字节块返回,而动态数组则需要编码偏移量、长度和32字节元素。 例如,地址类型在ABI编码时左侧填充零,返回32字节,其中20字节为地址内容。结构体的编码则会将每个数据类型填充至32字节,返回时会包含多个32字节块。固定大小数组与结构体类似,返回时不编码长度,而是直接返回32字节块。动态数组则包含偏移量和长度,元素同样以32字节编码。 了解这些编码规则对于使用汇编进行外部调用和返回数据至关重要。
442
0
0
2025-01-27 09:00
函数返回数据的方式取决于其调用方式(内部或外部)及返回数据类型。若函数由外部合约或外部账户(EOA)调用,返回数据为ABI编码;若内部调用,返回方式则依赖于数据类型。若返回类型没有“memory”关键字,数据将存储在栈上;若有“memory”关键字,则返回的是指向存储实际数据的内存位置的指针。举例来说,内部函数返回一个值时,数据直接存储在栈顶;而返回动态数组时,栈顶存储的是指向内存中数组的指针,数组的实际内容存储在内存中。总结而言,内部函数返回值时,若无“memory”关键字,数据存于栈;若有,则返回指向内存的指针。
414
0
0
2025-01-27 09:00
本视频讲解了动态数组在EBM内存中的存储方式,并通过两个示例进行说明。第一个示例中,初始化一个包含五个元素的动态UN256数组(11, 22, 33, 44, 55),使用汇编语言获取该数组的指针、长度及三个元素。通过指针R,我们可以访问数组的起始内存地址,并利用mload指令读取数组长度和元素。第二个示例中,初始化动态数组并使用汇编存储元素。首先获取指针R,然后更新数组长度为3,并存储三个元素(11, 22, 33)。最后,更新自由内存指针以确保ABI编码正确。通过调用test read和test write函数,验证了数组的长度和元素值的正确性,指针指向内存地址0x80。
422
0
0
2025-01-27 08:59
本文介绍了在EBM内存中固定大小数组的存储方式。即使数据类型不需要32字节,每个元素仍然占用32字节。例如,定义一个大小为3的UN32类型固定大小数组时,每个元素在内存中分别存储在0x80、0xA0和0xC0位置。通过汇编语言,可以将数据写入这些元素。示例中,使用mstore指令将数字11、22和33分别存储在数组的三个索引中。最后,通过常规的Solidity语法验证存储的数据,确保读取到的值与写入的值一致。该示例展示了在EBM内存中如何处理固定大小数组的存储和访问。
433
0
0
2025-01-27 08:59
在Solidity中,状态变量会被打包存储,而内存中的数据则以32字节为单位存储。例如,若有一个UN256变量后跟两个UN32变量,后两个UN32会被打包到一个槽中,但在内存中,每个变量都占用32字节。通过一个名为testRead的函数示例,展示了如何在内存中初始化一个结构体point,并将其值存储在内存地址0x80开始的位置。接着,使用汇编代码读取point的x、y、z值,并展示如何通过内存地址进行存储和读取。另一个函数testWrite则演示了如何将数据写入结构体,并更新自由内存指针。执行这些函数后,能够验证存储的值和更新后的自由内存指针位置。
429
0
0
2025-01-27 08:59
在以太坊虚拟机(EVM)中,使用内存的气体成本呈现出二次增长的特性。根据evm.codes网站的公式,内存的气体成本可以通过简化后的方程进行计算。假设每个uint256占用32字节内存,内存大小以字为单位进行计算。通过图形计算器绘制该方程,可以观察到气体成本随着内存分配的增加而增加。通过在Solidity中编写代码,测试不同大小的uint256数组的气体成本,发现小规模内存使用时,气体成本呈线性增长,而在大规模内存使用时,气体成本则呈现出明显的二次增长。这意味着在代码中使用大量内存将受到限制。总之,EVM中内存的气体成本随着使用量的增加而显著上升。
417
0
0
2025-01-27 08:59
EBM内存可以视为一个字节数组,每个元素存储一个字节,理论上可容纳2的256次方个元素,但实际可用内存有限,因为分配内存的成本是平方级别的。读取和写入内存的操作通常以32字节为单位进行。Solidity为内存分配了三个特殊区域:前64字节为临时空间,接下来的32字节存储自由内存指针,指向可以存储新数据的区域。存储数据需使用mStore函数,该函数接受两个输入:p(写入起始位置)和b(要存储的数据)。例如,mStore0将值0xFF写入内存位置0,左侧填充31个00。内存写入位置不必是32的倍数,mStore2将值0xCC写入位置2,同样填充为32字节。接下来的视频将展示如何使用汇编在Solidity中存储数据。
470
0
0
2025-01-27 08:58
本文讨论了在EBM StorageStot中动态数组结构体的数据存储方式。以一个名为point的结构体为例,其包含三个字段:uint256类型的x和两个uint128类型的y和z。动态数组R存储多个point结构体。数据存储时,动态数组的每个元素占用两个槽位,计算元素槽位的方法是:取动态数组声明槽位的Ketschak 256值,加上元素索引乘以结构体大小。具体来说,uint256占用一个槽位,两个uint128各占用16字节,因此y和z将存储在第二个槽位。通过汇编语言读取数据时,动态数组的长度存储在声明槽位,x、y和z的值则分别存储在相应的槽位中。通过特定的计算公式,可以访问和提取这些值。最终,示例代码展示了如何获取动态数组中各个元素的值。
416
0
0
2025-01-27 08:58
本视频介绍了如何定位复杂数据结构的存储槽,特别是动态数组的映射。假设每个动态数组元素占32字节,以一个从地址到uint256的映射为例,讲解了如何计算存储槽。首先,映射中值的存储槽通过对映射声明的槽和键进行Keccak-256哈希计算得出。对于动态数组,元素的存储槽则是映射槽加上元素索引的哈希值。视频中还展示了如何通过汇编代码将数据存入映射,并获取动态数组的值和长度。通过实例,演示了如何获取特定地址的动态数组元素及其长度,确保了对存储槽计算规则的理解。
431
0
0
2025-01-27 08:58
本文讨论了如何计算嵌套映射中值的存储槽。对于简单映射,值的存储槽通过对键和声明映射的槽进行Ketchak 256哈希计算得出。而在嵌套映射中,存储槽的计算则需要进行两次Ketchak 256哈希。首先,使用外层键和声明映射的槽进行哈希,然后将内层键与内层哈希结果进行哈希。通过示例,文章展示了如何在以太坊智能合约中实现这一过程,包括如何使用汇编语言计算存储槽并提取存储的值。最终,通过调用函数验证了嵌套映射的值存储是否正确,成功获取了多个值。
431
0
0
2025-01-27 08:58
登链社区