一、什么是区块链、以太坊、智能合约？

1.区块链相关特性：

• 多元化数据库：区块链是一个特殊的多元化数据库系统，其中每台计算机上都存储相同的数据信息。即使某台计算机发生故障，其上的信息也不会丢失，因为这些数据还保存着在网络的其他计算机上。

• 去中心化结构：与传统数据库不同，区块链是完全分散的，没有中心节点。每一个加入网络的节点（无论是服务器、笔记本电脑还是手机）都存储有一个完整实时同步的数据。

• 与传统体系的区别：与传统的银行体制形成对比，银行将每一笔交易记录在自己的系统中。而区块链则通过公开透明的规则和协议（如特定算法）来操作，所有的操作全部由机器完成，除了人为主体。这改变了我们从依赖对人的信任转向对技术的信任。

2.浅谈区块链技术的诞生：

3.什么是以太坊：

• 内建货币与支付。

• 用户拥有个人数据主权，且不会被各类应用监听或窃取数据。

• 人人都有权使用开放的金融系统。

• 基于中立且开源的基础架构，不受任何组织或个人控制。

• 是世界上第一个可编程区块链，开发者可以在以太坊区块链上部署智能合约，从而对区块链上的数据进行修改或者使用。

4.智能合约概念介绍(Smart Contract)

二、围绕区块链技术的几个问题：

1.信任的构建：

2.交易的公正与透明：

3.如何保证每笔交易的安全性和不可篡改性：

• 链式结构：区块链是由一系列区块组成的链条。每个区块包含了一批交易记录，并且还有前一个区块的哈希值。这意味着，为了修改任何一个区块中的信息，不仅需要修改该区块，还需要修改它后面的所有区块，这在实际操作中几乎是不可能的。

• 哈希函数：每个区块都通过哈希函数生成一个唯一的哈希值。哈希函数的特性是，即使只修改区块中的一个微小的数据，产生的哈希值也会完全不同。因此，任何篡改都会被立刻被检测到。

4.有很多人记账后，选择谁写的账单：

• 区块构建：矿工从交易池中选取交易，将它们打包成一个区块。

• 计算Merkle树：矿工计算所有交易的Merkle树的根哈希值，并将其包含在新区块的头部。

• 计算区块哈希：矿工在新区块头部中添加上一个区块的哈希值、Merkle根和其他必要信息。

• 找到符合条件的哈希：矿工开始变更头部的一个字段，通常称为“随机数”（nonce），并计算新区块的哈希值，直到找到一个满足网络当前难度目标的哈希值。

• 广播新区块：一旦找到了满足条件的哈希值，矿工就可以将新区块广播到整个网络，其他节点会验证新区块，并决定是否将其添加到自己的区块链版本中。

三、智能合约环境搭建：

三、智能合约基本操作演示：

1.在测试链上实现账户之间的交易：

2.部署智能合约：

1. 在Remix里将程序编译好：
打开Remix网站后，新建一个babysol.sol文件，将附件里的代码贴进去



这里注意一下第一行代码，pragma表示的是solidity编译器的版本，这个代码的依赖的版本号为0.4.22到0.6.0。可以在网站的最右边选择编译器的版本，这里选择0.4.26，然后勾选Auto complile，编译器就会自动编译程序。

2. 部署到测试链：
选择编译的下面那个图标，并在ENVIRONMENT中选择“Injected Web3”：



tips：JavaScript VM是在本地做测试
这时MetaMask会弹出一个窗口，这里是想要申请相应权限：



这里将所有账户全部添加进去，之后就是下一步然后连接即可。
连接成功后会在Account中看到自己的钱包地址：(这里显示的是我的devil账户钱包的地址)



之后选择下方的黄底按钮(Deploy)将合约推送至测试链，点完之后注意到编译器下方显示的信息，这里会有一定的等待时间：



直到编译器下方出现一个对勾，就表示部署成功了：



此时左边窗格也会出现和合约交互的一个接口：

3. 测试合约交互功能：
可以看到合约交互的接口有两个功能一个是变更合约的拥有者一个是查看当前合约的拥有者，这些功能都是之前代码写了的，这里详细分析一下代码：
也就是说我们只要在MetaMask插件里换一个账户然后选择changeowner，合约的所有者就切换了：



四、智能合约相关漏洞简介

1.DASP top 10：

• 重入
• 访问控制
• 整数溢出
• 未检查返回值的低级别调用
• 拒绝服务
• 错误随机
• 竞争条件
• 时间戳依赖
• 短地址攻击
• 未知

2.各漏洞简介：

智能合约是运行在区块链上的自动执行代码。由于它们的不可逆性和与金钱相关的特性，智能合约的安全问题受到了广泛关注。以下是一些常见的智能合约漏洞：
1. 整数溢出与下溢：当整数变量的值超出其允许的范围时，可能会发生溢出或下溢，导致不可预测的结果。
2. 重入攻击：在一个函数调用中，被调用的合约再次调用原函数，可能导致不希望的多次执行。例如，著名的DAO攻击就是重入攻击的一种。
3. 短时间浮动：在区块链上，时间和块高度可以被操纵。攻击者可以利用这点，通过挖矿操作来操纵合约的时间逻辑。
4. 随机性问题：在以太坊等区块链平台上，产生随机数是有挑战的，因为所有信息都是公开的。攻击者可能预测或操纵随机结果。
5. 委托调用：使用delegatecall或其他低级调用可能导致合约中的状态被意外修改。
6. 异常处理不当：如果合约在遇到异常时没有正确处理，可能导致资金丢失或被锁定。
7. 未初始化的存储指针：如果合约使用了未初始化的存储指针，可能会导致存储被意外修改。
8. 控制流可预测性：如果攻击者可以预测或操纵合约的控制流，他们可能会利用这点执行恶意操作。
9. 前端/后端不匹配：智能合约的后端代码和前端应用的逻辑可能存在不匹配，导致用户资金损失。
10. 权限过于宽松：如果合约的权限控制设置得过于宽松，攻击者可能利用这点执行不应允许的操作。
11. 固定合约逻辑：由于智能合约一旦部署就无法更改，任何发现的漏洞都无法直接修复。需要有升级机制来处理此问题。

相关工具介绍：

1.账户：

Account(账户)对应的是十六进制串。MetaMask插件界面正上方的选择框为网络选择框，点击头像可以切换账户。Ethereum主网使用的代币为Ether，即以太币。

2.Geth：

Geth是以太坊的 Go客户端，可以对合约进行交互、部署等操作。下载地址为：
Installing Geth | go-ethereum
Guide to installing Geth

https://geth.ethereum.org/docs/getting-started/installing-geth


3.安全测试工具：

• Solgraph是一个漏洞可视化检测工具，可以根据合约的代码生成一个无向图，显示可能存在的漏洞。 下载地址为：。 
Solgraph对函数的解析如图所示：



• SEecurify 2.0是由以太坊基金会和 ChainSecurity合作开发的合约安全扫描器。当前支持对38个漏洞的检测，下载地址为：
• Mythril是一款强大的EVM字节码安全分析工具。它从字节码人手，利用多种手段，从多个方向为Ethereum、Hedera、QuorumVechain、 Roostock,Tron和其他秉容EVM（以太坊虚拟机）的区块链提供智能合约漏洞检测，下载地址为：。

4.Remix：

Remix是一款为以太坊智能合约量身定故的在线IDE，地址为https://remix.ethereum.org/

智能合约漏洞举例：

举例分析一：整数溢出漏洞

整数溢出相关知识点补充
• uint8：0~2^8-1
• uint256：0~2^256-1
整数溢出类型：
• 乘法溢出
• 加法溢出
• 减法溢出
• uint8到uint256，以及int8到int256
Example 1：
balances[msg.sender]和_amout都是无符号的int型本身不存在小于0的情况，这里的两个值只要不相等，判断就会成立，就可以通过第四行达到一个减法下溢。
Example 2：
当数组arrayOfThings长度为0时，同样会造成一个减法下溢，从而导致可以以此来控制其他地方的变量。
Example 3：
var是一个uint8类型，假设somethingLarge是一个uint256类型的值，那么这里的i永远不会超过256.
漏洞防止措施：
加法溢出：
减法溢出：
乘法溢出：
具体实例分析：
解体思路：
12. 部署合约
13. 查看自己账户的余额
14. 放入1个token，取走2个token
15. 买flag
将题目部署到测试链上面后，审一下代码：
分析代码可以知道。flag需要用币买下来，但是我们要花10000000000及以上的币才能买到flag，如果一个币一个币的申请将会十分耗时，不知道要猴年马月才能买下flag。仔细观察withdraw函数是存在一个整数下溢的漏洞的，变量_amount和balances[msg.sender]都是uint256类型，所以不存在负数，就没有小于0这一说，当我们的余额小于要取出的余额就会导致最后我们的余额超级翻倍，这里可以先获得一个币，再取两个币。这样根据uint类型的一个回还，最终我们的账户就有了2^256-1个币。
操作一下通过bavanceOf函数查看余额：



正好是2^256-1，此时就可以购买flag了

举例分析二：重入漏洞

条件：逻辑顺序（检查、取钱、扣除余额）
攻击条件：多次提钱/绕过验证逻辑
For Example：
注意这行代码，和之前的整数溢出里的实例不同，这里一开始就有一个if判断，保证了取的金额一定小于账户的余额。
这里虽然没有整数溢出，但是又引出了一个新的问题，注意第三行代码，这里做的是一个取钱的操作，取完之后再做的第四行从余额里扣掉取出的钱数。那么假设我在第一次取钱之后马上又做一次取钱操作，账户余额中的钱数是没有变的(因为在执行第三行代码的时候余额还没有被改变)。
这里我们简单分析一下记账的流程：



16. 用户触发转账事件，提取100ETH
17. 合约接受请求
18. 在合约中进行判断取出的钱是否小于等于现有的余额
19. 如果满足条件则进入转账进程，向用户发送请求
20. 如果此时我们再次申请转账，我们余额是没有变的，这就是重入漏洞的一个大概逻辑
所以重入漏洞是一种基于逻辑上的漏洞，这里代码的思路是先check，然后就做了取款操作，之后才更新余额。
这里的修复方法是，check后先更新余额再做取款操作。