Smart Contract

研究对象————Etheremu

外部账户(EOA)
- 外部账户是由人创建的，可以存储以太币，是由公钥和私钥控制的账户。每个外部账户拥有一对公私钥，这对密钥用于签署交易，它的地址由公钥决定。外部账户不能包含以太坊虚拟机（EVM）代码。
- 一个外部账户有以下特性：
  - 拥有一定的Ether
  - 可以发送交易，由私钥控制
  - 没有相关联的代码
合约账户
- 合约账户是由外部账户创建的账户，包含合约代码。合约账户的地址是由合约创建时合约创建者的地址，以及该地址发出的交易共同计算得出的。
- 一个合约账户有以下特性
  - 拥有一定的Ether
  - 有关联代码，代码通过交易或其他合约发来的调用激活
  - 当合约被执行时，只能操作合约账户的特定存储
在Etheremu中，这两种账户统称为“状态对象”，其中外部账户存储以太币余额状态，而合约账户除了余额还有智能合约及其变量的状态。通过交易的执行，这些状态对象发生变化，而 Merkle 树用于索引和验证状态对象的更新。一个以太坊的账户包含 4 个部分
- nonce: 已执行交易总量
- balance: 帐持币数量
- storageRoot: 存储区哈希值
- codeHash: 代码区哈希值
两个外部账户之间的交易只是一个价值转移；而外部账户和合约账户之间的交易会激活合约账户的代码，允许进行各种操作

Uniswap是一个完成不同代币间的交易的自动化流动协议
注：自动化流动协议定义
- 自动化流动性协议是一种利用预定义的数学公式（如恒定乘积公式）和部署在区块链上的智能合约，自动管理用户贡献的资产池（流动性池），并为用户提供无需许可、去中心化、自动定价和执行的代币交换服务的系统。它完全消除了对传统订单簿和专业做市商的依赖，通过算法和社区提供的流动性实现市场功能。
每个（或对）Uniswap智能合约管理着一个由两个ERC-20代币储备组成的流动池
任何人都可以成为池的流动性提供者（LP），即存入基础代币来换取池代币
在池中维持价格：套利
货币对充当市商的角色，根据恒定乘积公式提供替换服务
恒定乘积公式可以简单地表示为$x * y = k$，说明交易不能改变一对储备余额的乘积
$k$通常被称为不变量。这个公式对规模较大的交易的执行速度比小的要慢得多
在实践中Uniswap对交易收取0.30%的费用，这笔费用被存入储备中

核心漏洞：“先提款后记账”
具体实现：在提款函数(withdraw)中递归调用，在记录的存款变化前反复提取存款
防御方式：
- 检查-效果-交互模式: 按照执行检查、改变状态变量、执行与其他合同的交互的顺序运行
- 使用修饰符锁定（互斥锁）: 即设置一个标识符，当发生与其他合同交互时设置标识符，标识符重置1前无法再进行交互