Solidity

Yul与Memory介绍 | Yul漏洞！

视频的核心内容是关于Solidity中的Yule语言及其低级内存操作的深入探讨，特别是如何利用这些操作进行智能合约的攻击。讲解者Owen分享了他在审计智能合约过程中积累的经验，旨在帮助观众提升他们的智能合约审计技能。 关键论据和信息包括： 1. **Yule的复杂性**：Yule是Solidity中较为复杂的特性，掌握它可以帮助开发者在特定情况下识别和利用漏洞。 2. **内存管理基础**：视频详细介绍了Solidity中内存的结构，包括“自由内存指针”和“字”的概念，强调了内存的分配和使用规则。 3. **低级内存操作示例**：通过实际的代码示例，展示了如何在Yule中进行内存的存取操作，并解释了如何在内存中存储字符串。 4. **攻击示例**：视频中展示了一个利用低级内存操作的攻击案例，讲解了如何通过构造特定的错误信息来导致合约在处理时耗尽Gas，从而实现攻击目的。 5. **学习资源**：Owen还提到了一些学习资源和社区，鼓励观众进一步提升自己的Web3安全技能。 总的来说，视频不仅提供了技术细节，还强调了理解低级内存操作的重要性，以便在智能合约开发和审计中更有效地识别潜在的安全漏洞。

汇编 If 和 Switch 语句 | Solidity 0.8

本文介绍了如何在Solidity的汇编中编写条件语句，包括if语句和switch语句。使用if语句时，条件表达式的结果为正数表示真，零表示假；汇编中没有else语句，因此需要另写if语句处理其他情况。通过示例，展示了如何使用if语句返回两个数中的最小值，以及如何使用switch语句返回两个数中的最大值。最终，代码成功编译并部署，验证了最小值和最大值的计算。

汇编变量 | Solidity 0.8

本视频系列将介绍如何理解MakerDAO稳定币合约中的Rpower函数，该函数使用二进制指数法计算复利，且代码采用汇编语言编写。系列的第一部分将教授汇编语言的基本知识，包括如何声明和赋值局部变量。通过示例，展示了如何在汇编中声明变量并将其赋值给Solidity变量，最终成功编译并部署合约，验证了变量赋值的正确性。

回退（revert） | EVM 内存 10

在Solidity中，函数可以通过执行revert函数或在require语句中某些条件失败而回退。我们还可以使用汇编语言使函数回退。汇编中的revert函数接受两个输入：起始位置和长度，它会回退执行并返回存储在内存中从起始位置到起始位置加长度的数据。本文通过创建一个名为test revert的函数，演示了如何使用汇编实现revert，并展示了如何在内存中存储错误信息以便在回退时返回。通过将错误信息存储在特定内存位置，并计算出函数选择器、字符串偏移量和长度，最终调用revert函数，成功实现了在交易日志中显示错误信息的功能。此过程展示了如何在汇编中重现Solidity代码的回退机制。

结构 | EVM 内存 4

在Solidity中，状态变量会被打包存储，而内存中的数据则以32字节为单位存储。例如，若有一个UN256变量后跟两个UN32变量，后两个UN32会被打包到一个槽中，但在内存中，每个变量都占用32字节。通过一个名为testRead的函数示例，展示了如何在内存中初始化一个结构体point，并将其值存储在内存地址0x80开始的位置。接着，使用汇编代码读取point的x、y、z值，并展示如何通过内存地址进行存储和读取。另一个函数testWrite则演示了如何将数据写入结构体，并更新自由内存指针。执行这些函数后，能够验证存储的值和更新后的自由内存指针位置。

mstore 和 mload | EVM 内存 2

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

常量 | EVM 存储 5

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