1.全局状态公式:
等式(11)表示一个帐户在以太坊中由一个帐户地址和四个状态值(存储时用rlp编码)组成[]。
等式(4)展示了以太坊的全局状态变更过程。根据当前区块的多个交易改变区块内的状态，然后将状态改变应用于该区块之前的所有区块[]。
2状态的详细定义。
式(1)给出了全球地位的详细定义。每个帐户的KEC散列[[13]]。
3.共识算法的公式:
以太坊有clique和ehash两种共识算法的实现。这里clique是PoA协议的实现，ehash是PoW协议的实现[[4]]。
4.挖掘难易度计算公式:
创世纪块的难易度是131,072，有计算之后各块难易度的特别公式。以太坊?协议增加了区块的难度，如果一个区块比前一个区块更快被验证[[14]]。
5. Gas费用的计算公式:
Gas费用的计算公式是:Toal Gas Fee Gas Uis (Limi) x (Base Fee Tip)。
这些公式和概念有助于理解以太坊是如何处理交易、更新状态、维持网络的安全性和去中心化的。
